Details

Time bar (total: 12.7s)

sample27.0ms

Algorithm
intervals
Results
9.0ms323×body80valid

simplify70.0ms

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

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 1 expressions with local error:

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

rewrite55.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:
54.0ms
(* (- x z) (* t y))

series61.0ms

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

simplify1.7s

Counts
25 → 25
Iterations
IterNodes
done5000
32563
2509
1148
056

prune113.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 2 expressions with local error:

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

rewrite69.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:
33.0ms
(* (- x z) t)
33.0ms
(* (* (- x z) t) y)

series124.0ms

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

simplify1.0s

Counts
48 → 48
Iterations
IterNodes
done5000
21067
1195
079

prune297.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

localize20.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)))

rewrite242.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:
7.0ms
(cbrt (- x z))
59.0ms
(* (cbrt (- x z)) (cbrt (- x z)))
47.0ms
(* (cbrt (- x z)) (* t y))
117.0ms
(* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) (* t y)))

series851.0ms

Counts
4 → 12
Calls
4 calls:
179.0ms
(cbrt (- x z))
149.0ms
(* (cbrt (- x z)) (cbrt (- x z)))
435.0ms
(* (cbrt (- x z)) (* t y))
88.0ms
(* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) (* t y)))

simplify2.2s

Counts
162 → 162
Iterations
IterNodes
done5001
22633
1649
0229

prune866.0ms

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 0b

localize55.0ms

Local error

Found 4 expressions with local error:

5.5b
(cbrt (* (* (- x z) t) y))
6.7b
(* (* (- x z) t) y)
6.7b
(* (* (- x z) t) y)
6.7b
(* (* (- x z) t) y)

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
19×pow1 add-cbrt-cube add-exp-log
16×associate-*l/
9×associate-*r* pow-prod-down prod-exp cbrt-unprod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×flip3-- flip-- add-log-exp
3×associate-*l* *-commutative
2×cbrt-div
1×cbrt-prod pow1/3
Counts
4 → 71
Calls
4 calls:
28.0ms
(cbrt (* (* (- x z) t) y))
39.0ms
(* (* (- x z) t) y)
44.0ms
(* (* (- x z) t) y)
35.0ms
(* (* (- x z) t) y)

series423.0ms

Counts
4 → 12
Calls
4 calls:
200.0ms
(cbrt (* (* (- x z) t) y))
74.0ms
(* (* (- x z) t) y)
85.0ms
(* (* (- x z) t) y)
64.0ms
(* (* (- x z) t) y)

simplify1.4s

Counts
83 → 83
Iterations
IterNodes
done5001
21382
1308
0122

prune578.0ms

Pruning

11 alts after pruning (7 fresh and 4 done)

Merged error: 0b

regimes580.0ms

Accuracy

63.7% (2.5b remaining)

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

bsearch89.0ms

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

simplify3.0ms

Iterations
IterNodes
done23
123
017

end0.0ms

sample1.7s

Algorithm
intervals
Results
570.0ms10752×body80valid