Details

Time bar (total: 23.4s)

sample37.0ms

Algorithm
intervals
Results
16.0ms523×body80valid

simplify6.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
186
2126
3216
4476
51276
63426
711136
844506
done50006

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 1 expressions with local error:

0.0b
(* x (exp (* y y)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt
3×pow1 add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube
2×add-exp-log
1×pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
1 → 18
Calls
1 calls:
22.0ms
(* x (exp (* y y)))

series45.0ms

Counts
1 → 3
Calls
1 calls:
45.0ms
(* x (exp (* y y)))

simplify3.4s

Counts
21 → 21
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
035174
173170
2152147
3288147
4879147
53214147
done5000147

prune70.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (exp (* y y)))
0.0b
(sqrt (exp (* y y)))
0.0b
(* x (sqrt (exp (* y y))))
0.0b
(* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
13×pow1 sqrt-prod
12×associate-*r*
11×add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
6×sqrt-pow1 add-log-exp
4×associate-*l* pow-prod-down prod-exp cbrt-unprod
2×rem-sqrt-square exp-prod exp-to-pow pow1/2 *-commutative unswap-sqr
Counts
4 → 73
Calls
4 calls:
3.0ms
(sqrt (exp (* y y)))
6.0ms
(sqrt (exp (* y y)))
25.0ms
(* x (sqrt (exp (* y y))))
56.0ms
(* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))

series163.0ms

Counts
4 → 12
Calls
4 calls:
23.0ms
(sqrt (exp (* y y)))
26.0ms
(sqrt (exp (* y y)))
66.0ms
(* x (sqrt (exp (* y y))))
48.0ms
(* (* x (sqrt (exp (* y y)))) (sqrt (exp (* y y))))

simplify3.2s

Counts
85 → 85
Iterations

Useful iterations: done (3.2s)

IterNodesCost
074894
1160689
2432619
3961616
42489616
done5000614

prune241.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(* x (* (fabs (cbrt (exp (* y y)))) (sqrt (cbrt (exp (* y y))))))
0.0b
(* (* x (* (fabs (cbrt (exp (* y y)))) (sqrt (cbrt (exp (* y y)))))) (sqrt (exp (* y y))))
0.0b
(cbrt (exp (* y y)))
0.0b
(cbrt (exp (* y y)))

rewrite184.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log add-cbrt-cube
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity pow-prod-down prod-exp cbrt-unprod
7×associate-*r*
6×cbrt-prod
4×associate-*l* add-log-exp
3×sqrt-prod
2×pow1/3 *-commutative
Counts
4 → 64
Calls
4 calls:
35.0ms
(* x (* (fabs (cbrt (exp (* y y)))) (sqrt (cbrt (exp (* y y))))))
140.0ms
(* (* x (* (fabs (cbrt (exp (* y y)))) (sqrt (cbrt (exp (* y y)))))) (sqrt (exp (* y y))))
2.0ms
(cbrt (exp (* y y)))
3.0ms
(cbrt (exp (* y y)))

series593.0ms

Counts
4 → 12
Calls
4 calls:
116.0ms
(* x (* (fabs (cbrt (exp (* y y)))) (sqrt (cbrt (exp (* y y))))))
173.0ms
(* (* x (* (fabs (cbrt (exp (* y y)))) (sqrt (cbrt (exp (* y y)))))) (sqrt (exp (* y y))))
142.0ms
(cbrt (exp (* y y)))
162.0ms
(cbrt (exp (* y y)))

simplify4.5s

Counts
76 → 76
Iterations

Useful iterations: done (4.5s)

IterNodesCost
0991409
12351295
28631080
342651072
done50001069

prune257.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(cbrt (exp (* y y)))
0.0b
(cbrt (exp (* y y)))
0.0b
(cbrt (exp (* y y)))
0.0b
(cbrt (exp (* y y)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
Counts
4 → 44
Calls
4 calls:
2.0ms
(cbrt (exp (* y y)))
2.0ms
(cbrt (exp (* y y)))
2.0ms
(cbrt (exp (* y y)))
2.0ms
(cbrt (exp (* y y)))

series597.0ms

Counts
4 → 12
Calls
4 calls:
140.0ms
(cbrt (exp (* y y)))
162.0ms
(cbrt (exp (* y y)))
149.0ms
(cbrt (exp (* y y)))
146.0ms
(cbrt (exp (* y y)))

simplify1.2s

Counts
56 → 56
Iterations

Useful iterations: 4 (90.0ms)

IterNodesCost
027488
146484
282444
3140424
4294400
5908400
done5000400

prune308.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes97.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01436
11836
done1836

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.0s15905×body80valid