Details

Time bar (total: 14.3s)

sample244.0ms

Algorithm
intervals
Results
95.0ms65×body640valid
82.0ms65×body1280valid
22.0ms40×body320valid
9.0ms64×body80valid
8.0ms22×body160valid

simplify4.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055
165
done65

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.2b

localize20.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (atan x) z)
17.9b
(tan (+ (atan x) z))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
*-un-lft-identity add-log-exp
add-sqr-sqrt pow1 add-cbrt-cube add-exp-log add-cube-cbrt
+-commutative tan-sum sum-log flip3-+ tan-quot flip-+ distribute-lft-out
Counts
2 → 21
Calls
2 calls:
11.0ms
(+ (atan x) z)
13.0ms
(tan (+ (atan x) z))

series205.0ms

Counts
2 → 6
Calls
2 calls:
28.0ms
(+ (atan x) z)
177.0ms
(tan (+ (atan x) z))

simplify649.0ms

Counts
27 → 27
Iterations

Useful iterations: done (648.0ms)

IterNodesCost
062264
1145261
2659243
done5001242

prune289.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 15.7b

localize37.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (+ (tan (atan x)) (tan z)) (- 1 (* (tan (atan x)) (tan z))))
0.3b
(* (tan (atan x)) (tan z))
29.8b
(tan (atan x))
29.8b
(tan (atan x))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
17×add-sqr-sqrt
15×add-cube-cbrt
12×times-frac
add-cbrt-cube tan-quot add-exp-log
pow1
distribute-lft-out associate-/l* add-log-exp
associate-/r* associate-*r* associate-*l* associate-/l/
tan-atan associate-/r/
frac-times cbrt-undiv clear-num frac-2neg flip3-+ flip3-- div-exp pow-prod-down associate-*l/ frac-add prod-exp associate-*r/ *-commutative cbrt-unprod flip-+ div-inv flip-- unswap-sqr
Counts
4 → 75
Calls
4 calls:
72.0ms
(/ (+ (tan (atan x)) (tan z)) (- 1 (* (tan (atan x)) (tan z))))
30.0ms
(* (tan (atan x)) (tan z))
4.0ms
(tan (atan x))
4.0ms
(tan (atan x))

series417.0ms

Counts
4 → 12
Calls
4 calls:
238.0ms
(/ (+ (tan (atan x)) (tan z)) (- 1 (* (tan (atan x)) (tan z))))
141.0ms
(* (tan (atan x)) (tan z))
19.0ms
(tan (atan x))
18.0ms
(tan (atan x))

simplify1.2s

Counts
87 → 87
Iterations

Useful iterations: done (1.2s)

IterNodesCost
01301276
13171243
213641159
done50011155

prune1.3s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 4.3b

regimes1.1s

Accuracy

62.4% (4.3b remaining)

Error of 7.8b against oracle of 3.5b and baseline of 14.8b

bsearch274.0ms

Steps
ItersRangePoint
8
8.333801048120717e-46
1.4285610077911106e-42
4.291367477449918e-45
10
-1.5732111743249695e-12
-8.770347984009294e-24
-5.127387873861142e-23

simplify11.0ms

Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
02283
13253
done3253

end0.0ms

sample8.4s

Algorithm
intervals
Results
3.4s2046×body640valid
2.9s2054×body1280valid
777.0ms1147×body320valid
525.0ms2173×body80valid
338.0ms578×body160valid
3.0msbody2560valid