Details

Time bar (total: 15.0s)

sample131.0ms

Algorithm
intervals
Results
44.0ms676×body80valid
29.0ms682×body80nan

simplify1.4s

Counts
1 → 1
Iterations

Useful iterations: 2 (5.0ms)

IterNodesCost
089
1179
2378
3718
41148
53108
615648
done50018

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b
(exp (- (+ x (* y (log y))) z))
0.2b
(* y (log y))

rewrite140.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
15×*-un-lft-identity
13×add-cube-cbrt
12×exp-sum
9×prod-diff
8×add-log-exp
6×log-prod
5×pow1 exp-prod
4×add-exp-log associate-*r* add-cbrt-cube
3×distribute-rgt-in distribute-lft-in associate-*l* rem-exp-log
2×expm1-log1p-u diff-log log1p-expm1-u
1×sub-neg exp-diff pow-prod-down prod-exp associate--l+ sum-log log-pow *-commutative cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 57
Calls
2 calls:
120.0ms
(exp (- (+ x (* y (log y))) z))
16.0ms
(* y (log y))

series715.0ms

Counts
2 → 6
Calls
2 calls:
68.0ms
(exp (- (+ x (* y (log y))) z))
647.0ms
(* y (log y))

simplify3.0s

Counts
63 → 63
Iterations

Useful iterations: 3 (756.0ms)

IterNodesCost
0124760
1233667
2610530
33709476
done5000476

prune224.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 1 expressions with local error:

0.3b
(* (exp (- x z)) (pow y y))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
14×associate-*l*
11×exp-sum
10×add-cube-cbrt *-un-lft-identity
9×prod-diff
7×associate-*r*
4×unpow-prod-down
3×add-exp-log prod-exp add-cbrt-cube unswap-sqr
2×sqr-pow
1×pow1 expm1-log1p-u pow-to-exp sub-neg exp-diff associate-*l/ pow-exp *-commutative cbrt-unprod log1p-expm1-u add-log-exp
Counts
1 → 39
Calls
1 calls:
93.0ms
(* (exp (- x z)) (pow y y))

series75.0ms

Counts
1 → 3
Calls
1 calls:
75.0ms
(* (exp (- x z)) (pow y y))

simplify662.0ms

Counts
42 → 42
Iterations

Useful iterations: done (660.0ms)

IterNodesCost
077505
1164464
2737393
done5001391

prune159.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(cbrt (exp (- x z)))
0.0b
(cbrt (exp (- x z)))
0.0b
(* (cbrt (exp (- x z))) (cbrt (exp (- x z))))
0.2b
(* (cbrt (exp (- x z))) (pow y y))

rewrite204.0ms

Algorithm
rewrite-expression-head
Rules
109×cbrt-prod
81×exp-sum
78×add-sqr-sqrt
63×prod-diff
60×add-cube-cbrt *-un-lft-identity
34×associate-*l*
24×associate-*r*
19×swap-sqr
11×pow1 add-exp-log
10×unswap-sqr
9×sub-neg
8×pow1/3
7×cbrt-div exp-diff
5×unpow-prod-down add-cbrt-cube
4×expm1-log1p-u prod-exp log1p-expm1-u add-log-exp
3×sqr-pow
2×pow-prod-down associate-*l/ pow-sqr *-commutative pow-prod-up cbrt-unprod
1×pow2 frac-times pow-to-exp pow-plus associate-*r/ pow-exp
Counts
4 → 175
Calls
4 calls:
16.0ms
(cbrt (exp (- x z)))
23.0ms
(cbrt (exp (- x z)))
78.0ms
(* (cbrt (exp (- x z))) (cbrt (exp (- x z))))
74.0ms
(* (cbrt (exp (- x z))) (pow y y))

series320.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(cbrt (exp (- x z)))
52.0ms
(cbrt (exp (- x z)))
98.0ms
(* (cbrt (exp (- x z))) (cbrt (exp (- x z))))
122.0ms
(* (cbrt (exp (- x z))) (pow y y))

simplify1.7s

Counts
187 → 187
Iterations

Useful iterations: done (1.7s)

IterNodesCost
02033075
13852536
216062193
done50002071

prune844.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes172.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1109
done109

end0.0ms

sample5.1s

Algorithm
intervals
Results
1.7s19245×body80nan
1.5s19644×body80valid