Details

Time bar (total: 11.1s)

sample23.0ms

Algorithm
intervals
Results
10.0ms323×body80valid

simplify49.0ms

Counts
1 → 1
Iterations
IterNodes
done105
5105
499
371
234
115
08

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize9.0ms

Local error

Found 1 expressions with local error:

7.0b
(* (- x z) (* t y))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-cbrt-cube add-exp-log
5×associate-*l*
4×add-sqr-sqrt *-un-lft-identity
3×pow-prod-down prod-exp cbrt-unprod
2×associate-*l/ add-cube-cbrt
1×flip3-- associate-*r* *-commutative flip-- distribute-lft-out-- add-log-exp difference-of-squares
Counts
1 → 22
Calls
1 calls:
27.0ms
(* (- x z) (* t y))

series49.0ms

Counts
1 → 3
Calls
1 calls:
49.0ms
(* (- x z) (* t y))

simplify1.1s

Counts
25 → 25
Iterations
IterNodes
done5000
32563
2509
1148
056

prune127.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (- x z) t)
6.7b
(* (* (- x z) t) y)

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt pow1 add-cbrt-cube add-exp-log
7×*-un-lft-identity
6×associate-*r* associate-*l* associate-*l/
5×add-cube-cbrt
4×pow-prod-down prod-exp cbrt-unprod
2×flip3-- *-commutative flip-- add-log-exp
1×distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 42
Calls
2 calls:
28.0ms
(* (- x z) t)
37.0ms
(* (* (- x z) t) y)

series114.0ms

Counts
2 → 6
Calls
2 calls:
46.0ms
(* (- x z) t)
68.0ms
(* (* (- x z) t) y)

simplify608.0ms

Counts
48 → 48
Iterations
IterNodes
done5000
21067
1195
079

prune297.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- x z))
0.6b
(* (cbrt (- x z)) (cbrt (- x z)))
3.4b
(* (cbrt (- x z)) (* t y))
3.6b
(* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) (* t y)))

rewrite185.0ms

Algorithm
rewrite-expression-head
Rules
70×cbrt-div
38×cbrt-prod
37×pow1
36×associate-*l/
35×add-sqr-sqrt flip3-- flip--
33×*-un-lft-identity
32×frac-times add-exp-log
20×pow-prod-down
19×prod-exp cbrt-unprod
18×add-cbrt-cube
17×associate-*l*
15×add-cube-cbrt
10×swap-sqr associate-*r* associate-*r/
8×distribute-lft-out--
7×pow1/3
6×difference-of-squares
4×add-log-exp unswap-sqr
3×*-commutative
2×pow-sqr pow-prod-up
1×pow2 pow-plus
Counts
4 → 150
Calls
4 calls:
5.0ms
(cbrt (- x z))
46.0ms
(* (cbrt (- x z)) (cbrt (- x z)))
36.0ms
(* (cbrt (- x z)) (* t y))
88.0ms
(* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) (* t y)))

series852.0ms

Counts
4 → 12
Calls
4 calls:
201.0ms
(cbrt (- x z))
167.0ms
(* (cbrt (- x z)) (cbrt (- x z)))
415.0ms
(* (cbrt (- x z)) (* t y))
69.0ms
(* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) (* t y)))

simplify1.2s

Counts
162 → 162
Iterations
IterNodes
done5001
22633
1649
0229

prune757.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0b

localize66.0ms

Local error

Found 4 expressions with local error:

3.6b
(* (* (cbrt (- x z)) (cbrt (- x z))) (* (* (cbrt (* y (* t (cbrt (- x z))))) (cbrt (* y (* t (cbrt (- x z)))))) (cbrt (* y (* t (cbrt (- x z)))))))
7.5b
(cbrt (* y (* t (cbrt (- x z)))))
7.5b
(cbrt (* y (* t (cbrt (- x z)))))
7.5b
(cbrt (* y (* t (cbrt (- x z)))))

rewrite562.0ms

Algorithm
rewrite-expression-head
Rules
1308×cbrt-div
1136×associate-*r/
568×frac-times
408×flip3-- flip--
188×associate-*l/
25×pow1 add-exp-log
19×pow-prod-down
15×prod-exp cbrt-unprod
11×add-cbrt-cube
8×pow1/3
4×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
3×cbrt-prod
1×associate-*r* associate-*l* *-commutative
Counts
4 → 304
Calls
4 calls:
408.0ms
(* (* (cbrt (- x z)) (cbrt (- x z))) (* (* (cbrt (* y (* t (cbrt (- x z))))) (cbrt (* y (* t (cbrt (- x z)))))) (cbrt (* y (* t (cbrt (- x z)))))))
34.0ms
(cbrt (* y (* t (cbrt (- x z)))))
33.0ms
(cbrt (* y (* t (cbrt (- x z)))))
33.0ms
(cbrt (* y (* t (cbrt (- x z)))))

series566.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(* (* (cbrt (- x z)) (cbrt (- x z))) (* (* (cbrt (* y (* t (cbrt (- x z))))) (cbrt (* y (* t (cbrt (- x z)))))) (cbrt (* y (* t (cbrt (- x z)))))))
181.0ms
(cbrt (* y (* t (cbrt (- x z)))))
161.0ms
(cbrt (* y (* t (cbrt (- x z)))))
167.0ms
(cbrt (* y (* t (cbrt (- x z)))))

simplify1.2s

Counts
316 → 316
Iterations
IterNodes
done5000
24427
11854
0519

prune1.2s

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 0b

regimes511.0ms

Accuracy

61.2% (2.5b remaining)

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

bsearch109.0ms

Steps
ItersRangePoint
9
5.964284886879442e-41
5.6110973152294725e-34
9.35396720345181e-36
8
-1.5371233422266502e+47
-6.459414930252532e+43
-2.1649590822028293e+46

simplify2.0ms

Iterations
IterNodes
done23
123
017

end0.0ms

sample1.3s

Algorithm
intervals
Results
891.0ms10752×body80valid