Details

Time bar (total: 40.8s)

sample47.0ms

Algorithm
intervals
Results
20.0ms354×body80valid

simplify137.0ms

Counts
1 → 1
Iterations
IterNodes
done101
5101
495
371
234
115
08

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 8.6b

localize28.0ms

Local error

Found 2 expressions with local error:

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

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log add-sqr-sqrt add-cbrt-cube
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:
48.0ms
(* (- x z) y)
76.0ms
(* (* (- x z) y) t)

series139.0ms

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

simplify4.5s

Counts
48 → 48
Iterations
IterNodes
done5009
32549
2618
1192
077

prune439.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize19.0ms

Local error

Found 1 expressions with local error:

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

rewrite66.0ms

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

series94.0ms

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

simplify3.6s

Counts
25 → 25
Iterations
IterNodes
done5002
31820
2469
1148
056

prune282.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.0b

localize44.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- x z))
0.6b
(cbrt (- x z))
2.6b
(* (cbrt (- x z)) (* y t))
4.0b
(* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) (* y t)))

rewrite478.0ms

Algorithm
rewrite-expression-head
Rules
60×cbrt-div
34×associate-*l/
30×pow1 add-exp-log flip3-- flip--
28×frac-times
18×pow-prod-down prod-exp add-cbrt-cube cbrt-unprod
15×cbrt-prod
14×add-sqr-sqrt *-un-lft-identity
9×associate-*l*
8×add-cube-cbrt associate-*r/
4×add-log-exp
3×distribute-lft-out-- difference-of-squares
2×pow1/3 associate-*r* *-commutative
Counts
4 → 109
Calls
4 calls:
8.0ms
(cbrt (- x z))
8.0ms
(cbrt (- x z))
74.0ms
(* (cbrt (- x z)) (* y t))
376.0ms
(* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) (* y t)))

series1.4s

Counts
4 → 12
Calls
4 calls:
345.0ms
(cbrt (- x z))
267.0ms
(cbrt (- x z))
696.0ms
(* (cbrt (- x z)) (* y t))
90.0ms
(* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) (* y t)))

simplify10.2s

Counts
121 → 121
Iterations
IterNodes
done5003
34663
21462
1510
0186

prune2.3s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize161.0ms

Local error

Found 2 expressions with local error:

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

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
10×distribute-rgt-in distribute-lft-in
9×pow1 add-exp-log add-sqr-sqrt add-cbrt-cube
7×*-un-lft-identity
6×sub-neg associate-*r/ associate-*r* 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 → 54
Calls
2 calls:
40.0ms
(* t (- x z))
84.0ms
(* y (* t (- x z)))

series333.0ms

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

simplify10.3s

Counts
60 → 60
Iterations
IterNodes
done5097
32866
2660
1223
089

prune601.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

regimes1.0s

Accuracy

57.7% (2.7b remaining)

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

bsearch404.0ms

Steps
ItersRangePoint
10
6.254652854537183e+45
3.73636363912113e+55
6.525842968778454e+45
7
-8.856414448818497e+31
-3.813738091294552e+29
-1.997863461319427e+30

simplify7.0ms

Iterations
IterNodes
done23
123
017

end7.0ms

sample4.0s

Algorithm
intervals
Results
1.7s10616×body80valid