Details

Time bar (total: 23.1s)

sample291.0ms

Algorithm
intervals
Results
110.0ms43×body640valid
99.0ms48×body1280valid
45.0ms142×body80valid
15.0ms15×body320valid
5.0msbody160valid

simplify9.0ms

Counts
1 → 1
Iterations
IterNodes
310
210
19
06

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.2b

localize24.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (tan (+ x 1)) (tan x))
1.2b
(tan (+ x 1))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt *-un-lft-identity tan-quot add-log-exp
pow1 tan-sum add-cbrt-cube add-exp-log frac-sub add-cube-cbrt insert-posit16
sub-neg flip3-- diff-log flip-- distribute-lft-out-- difference-of-squares
Counts
2 → 27
Calls
2 calls:
32.0ms
(- (tan (+ x 1)) (tan x))
12.0ms
(tan (+ x 1))

series354.0ms

Counts
2 → 6
Calls
2 calls:
192.0ms
(- (tan (+ x 1)) (tan x))
161.0ms
(tan (+ x 1))

simplify4.2s

Counts
33 → 33
Iterations
IterNodes
46089
31515
2445
1163
078

prune395.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize39.0ms

Local error

Found 4 expressions with local error:

0.1b
(- (/ (+ (tan x) (tan 1)) (- 1 (* (tan x) (tan 1)))) (tan x))
0.2b
(/ (+ (tan x) (tan 1)) (- 1 (* (tan x) (tan 1))))
0.2b
(+ (tan x) (tan 1))
0.3b
(* (tan x) (tan 1))

rewrite256.0ms

Algorithm
rewrite-expression-head
Rules
27×*-un-lft-identity
22×add-sqr-sqrt
15×add-cube-cbrt
13×times-frac
tan-quot
add-cbrt-cube add-exp-log add-log-exp
pow1
distribute-lft-out
insert-posit16 associate-/l*
associate-/r* associate-*r* associate-*l* associate-/l/
flip3-+ flip3-- frac-add associate-/r/ flip-+ flip-- difference-of-squares
frac-times cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg diff-log div-exp pow-prod-down associate-*l/ prod-exp associate-*r/ *-commutative frac-sub cbrt-unprod div-inv distribute-lft-out-- unswap-sqr
Counts
4 → 90
Calls
4 calls:
134.0ms
(- (/ (+ (tan x) (tan 1)) (- 1 (* (tan x) (tan 1)))) (tan x))
59.0ms
(/ (+ (tan x) (tan 1)) (- 1 (* (tan x) (tan 1))))
26.0ms
(+ (tan x) (tan 1))
34.0ms
(* (tan x) (tan 1))

series3.2s

Counts
4 → 12
Calls
4 calls:
1.4s
(- (/ (+ (tan x) (tan 1)) (- 1 (* (tan x) (tan 1)))) (tan x))
913.0ms
(/ (+ (tan x) (tan 1)) (- 1 (* (tan x) (tan 1))))
365.0ms
(+ (tan x) (tan 1))
456.0ms
(* (tan x) (tan 1))

simplify3.5s

Counts
102 → 102
Iterations
IterNodes
34731
21336
1449
0191

prune1.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

regimes100.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
214
114
011

end0.0ms

sample9.4s

Algorithm
intervals
Results
4.1s1503×body1280valid
2.4s1278×body640valid
1.6s4277×body80valid
746.0ms621×body320valid
222.0ms321×body160valid