Details

Time bar (total: 15.3s)

sample109.0ms

Algorithm
intervals
Results
29.0ms337×body80valid

simplify13.0ms

Counts
1 → 1
Iterations
IterNodes
done12
212
111
06

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize41.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ x (* (* y z) z))
0.2b
(* (* y z) z)

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
18×associate-*l*
13×add-sqr-sqrt
12×*-un-lft-identity
7×pow1 add-cbrt-cube add-exp-log
6×associate-*r* add-cube-cbrt
4×add-log-exp unswap-sqr
3×pow-prod-down prod-exp cbrt-unprod distribute-lft-out
2×*-commutative insert-posit16
1×+-commutative sum-log flip3-+ flip-+
Counts
2 → 47
Calls
2 calls:
45.0ms
(+ x (* (* y z) z))
29.0ms
(* (* y z) z)

series135.0ms

Counts
2 → 6
Calls
2 calls:
78.0ms
(+ x (* (* y z) z))
57.0ms
(* (* y z) z)

simplify2.5s

Counts
53 → 53
Iterations
IterNodes
done5022
32650
2585
1198
076

prune256.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (* y z)) (cbrt (* y z)))
9.2b
(cbrt (* y z))
9.2b
(cbrt (* y z))
9.2b
(cbrt (* y z))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
100×cbrt-prod
67×add-sqr-sqrt
38×associate-*l*
36×associate-*r*
33×*-un-lft-identity
29×add-cube-cbrt
22×unswap-sqr
17×swap-sqr
11×pow1
9×pow1/3
8×add-cbrt-cube *-commutative
6×add-exp-log
4×cbrt-unprod insert-posit16 add-log-exp
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp
Counts
4 → 141
Calls
4 calls:
58.0ms
(* (cbrt (* y z)) (cbrt (* y z)))
9.0ms
(cbrt (* y z))
5.0ms
(cbrt (* y z))
5.0ms
(cbrt (* y z))

series423.0ms

Counts
4 → 12
Calls
4 calls:
109.0ms
(* (cbrt (* y z)) (cbrt (* y z)))
98.0ms
(cbrt (* y z))
100.0ms
(cbrt (* y z))
115.0ms
(cbrt (* y z))

simplify2.1s

Counts
153 → 153
Iterations
IterNodes
done5001
31758
2754
1298
0138

prune774.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt z)
5.4b
(cbrt (* y (* (cbrt z) (cbrt z))))
9.2b
(cbrt (* y z))
9.2b
(cbrt (* y z))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
93×cbrt-prod
56×add-sqr-sqrt
39×associate-*r*
22×*-un-lft-identity add-cube-cbrt
19×unswap-sqr
15×associate-*l*
8×swap-sqr
5×*-commutative
4×pow1 add-cbrt-cube pow1/3 add-exp-log insert-posit16 add-log-exp
Counts
4 → 107
Calls
4 calls:
1.0ms
(cbrt z)
56.0ms
(cbrt (* y (* (cbrt z) (cbrt z))))
5.0ms
(cbrt (* y z))
6.0ms
(cbrt (* y z))

series734.0ms

Counts
4 → 12
Calls
4 calls:
226.0ms
(cbrt z)
288.0ms
(cbrt (* y (* (cbrt z) (cbrt z))))
120.0ms
(cbrt (* y z))
100.0ms
(cbrt (* y z))

simplify2.1s

Counts
119 → 119
Iterations
IterNodes
done5000
32331
2870
1354
0187

prune742.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.7b
(cbrt z)
0.7b
(cbrt z)
5.4b
(cbrt (* y (* (cbrt z) (cbrt z))))
9.2b
(cbrt (* y z))

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
84×cbrt-prod
52×add-sqr-sqrt
36×associate-*r*
20×*-un-lft-identity add-cube-cbrt
18×unswap-sqr
12×associate-*l*
8×swap-sqr
4×pow1 add-cbrt-cube pow1/3 add-exp-log *-commutative insert-posit16 add-log-exp
Counts
4 → 98
Calls
4 calls:
1.0ms
(cbrt z)
2.0ms
(cbrt z)
69.0ms
(cbrt (* y (* (cbrt z) (cbrt z))))
6.0ms
(cbrt (* y z))

series905.0ms

Counts
4 → 12
Calls
4 calls:
280.0ms
(cbrt z)
261.0ms
(cbrt z)
256.0ms
(cbrt (* y (* (cbrt z) (cbrt z))))
107.0ms
(cbrt (* y z))

simplify2.2s

Counts
110 → 110
Iterations
IterNodes
done5000
32331
2870
1354
0187

prune712.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes247.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done9
19
06

end0.0ms

sample942.0ms

Algorithm
intervals
Results
679.0ms10622×body80valid