Details

Time bar (total: 17.6s)

sample37.0ms

Algorithm
intervals
Results
16.0ms276×body80valid

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
done5001
112268
10810
9491
8355
7284
6249
5158
496
356
235
121
010

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.3b

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- z t) (- z a))
0.0b
(+ x (* y (/ (- z t) (- z a))))
2.3b
(* y (/ (- z t) (- z a)))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
76×add-sqr-sqrt
71×*-un-lft-identity
51×times-frac
31×associate-*r*
27×add-cube-cbrt
22×distribute-lft-out-- difference-of-squares
10×add-cbrt-cube add-exp-log
5×pow1 associate-/r* associate-/l* add-log-exp
4×associate-/r/
3×flip3-- associate-*l* flip--
2×cbrt-undiv div-exp prod-exp cbrt-unprod div-inv unswap-sqr associate-/l/
1×+-commutative clear-num sum-log frac-2neg flip3-+ div-sub pow-prod-down associate-*r/ *-commutative flip-+
Counts
3 → 113
Calls
3 calls:
23.0ms
(/ (- z t) (- z a))
6.0ms
(+ x (* y (/ (- z t) (- z a))))
41.0ms
(* y (/ (- z t) (- z a)))

series237.0ms

Counts
3 → 9
Calls
3 calls:
62.0ms
(/ (- z t) (- z a))
88.0ms
(+ x (* y (/ (- z t) (- z a))))
87.0ms
(* y (/ (- z t) (- z a)))

simplify1.2s

Counts
122 → 122
Iterations
IterNodes
done5000
21780
1448
0162

prune638.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

2.3b
(* y (/ (- z t) (- z a)))
5.5b
(cbrt (* y (/ (- z t) (- z a))))
5.5b
(cbrt (* y (/ (- z t) (- z a))))
5.5b
(cbrt (* y (/ (- z t) (- z a))))

rewrite96.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
36×*-un-lft-identity
31×associate-*r*
26×times-frac
16×add-cube-cbrt
10×distribute-lft-out-- difference-of-squares
9×add-cbrt-cube add-exp-log
6×pow1
4×associate-*r/ add-log-exp
3×cbrt-prod cbrt-div pow1/3 associate-*l*
2×prod-exp associate-/r/ cbrt-unprod unswap-sqr
1×cbrt-undiv flip3-- div-exp pow-prod-down *-commutative div-inv flip--
Counts
4 → 80
Calls
4 calls:
46.0ms
(* y (/ (- z t) (- z a)))
14.0ms
(cbrt (* y (/ (- z t) (- z a))))
19.0ms
(cbrt (* y (/ (- z t) (- z a))))
14.0ms
(cbrt (* y (/ (- z t) (- z a))))

series645.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(* y (/ (- z t) (- z a)))
187.0ms
(cbrt (* y (/ (- z t) (- z a))))
188.0ms
(cbrt (* y (/ (- z t) (- z a))))
176.0ms
(cbrt (* y (/ (- z t) (- z a))))

simplify1.0s

Counts
92 → 92
Iterations
IterNodes
done5001
21159
1314
0124

prune650.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- z a))
0.6b
(cbrt (- z a))
0.6b
(cbrt (- z a))
7.5b
(* (/ (/ y (cbrt (- z a))) (cbrt (- z a))) (/ (- z t) (cbrt (- z a))))

rewrite429.0ms

Algorithm
rewrite-expression-head
Rules
516×times-frac
433×add-sqr-sqrt
347×*-un-lft-identity
332×cbrt-prod
246×associate-*l*
207×add-cube-cbrt
70×distribute-lft-out-- difference-of-squares
46×associate-*r*
26×cbrt-div
25×add-exp-log
21×unswap-sqr
20×associate-/r/
16×add-cbrt-cube
13×flip3-- flip--
10×div-inv
9×cbrt-undiv div-exp
6×pow1 prod-exp cbrt-unprod
4×add-log-exp
3×pow1/3
1×frac-times pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 382
Calls
4 calls:
5.0ms
(cbrt (- z a))
5.0ms
(cbrt (- z a))
5.0ms
(cbrt (- z a))
371.0ms
(* (/ (/ y (cbrt (- z a))) (cbrt (- z a))) (/ (- z t) (cbrt (- z a))))

series639.0ms

Counts
4 → 12
Calls
4 calls:
147.0ms
(cbrt (- z a))
168.0ms
(cbrt (- z a))
174.0ms
(cbrt (- z a))
150.0ms
(* (/ (/ y (cbrt (- z a))) (cbrt (- z a))) (/ (- z t) (cbrt (- z a))))

simplify1.3s

Counts
394 → 394
Iterations
IterNodes
done5000
11424
0439

prune2.8s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

localize95.0ms

Local error

Found 4 expressions with local error:

5.5b
(cbrt (* y (/ (- z t) (- z a))))
5.5b
(cbrt (* y (/ (- z t) (- z a))))
5.5b
(cbrt (* (/ y (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a)))))
7.5b
(* (/ y (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a))))

rewrite232.0ms

Algorithm
rewrite-expression-head
Rules
67×add-sqr-sqrt
51×*-un-lft-identity
50×times-frac
46×associate-*r*
30×cbrt-prod
25×add-exp-log add-cube-cbrt
19×cbrt-div
18×add-cbrt-cube
15×associate-*l*
13×distribute-lft-out-- difference-of-squares
10×associate-/r/
8×prod-exp cbrt-unprod
7×cbrt-undiv flip3-- div-exp flip--
6×frac-times pow1 associate-*r/ unswap-sqr
4×associate-*l/ add-log-exp
3×pow1/3
2×div-inv
1×pow-prod-down *-commutative
Counts
4 → 123
Calls
4 calls:
15.0ms
(cbrt (* y (/ (- z t) (- z a))))
15.0ms
(cbrt (* y (/ (- z t) (- z a))))
69.0ms
(cbrt (* (/ y (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a)))))
126.0ms
(* (/ y (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a))))

series694.0ms

Counts
4 → 12
Calls
4 calls:
167.0ms
(cbrt (* y (/ (- z t) (- z a))))
151.0ms
(cbrt (* y (/ (- z t) (- z a))))
209.0ms
(cbrt (* (/ y (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a)))))
166.0ms
(* (/ y (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a))))

simplify2.5s

Counts
135 → 135
Iterations
IterNodes
done5001
23523
1653
0223

prune929.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes720.0ms

Accuracy

49.4% (0.6b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 1.2b

bsearch104.0ms

Steps
ItersRangePoint
7
1.273210862511844e-169
8.991995467258023e-168
2.3704207853644247e-168
10
-8.445786781771376e-67
-8.720816594559532e-80
-3.0785244612479247e-75

simplify4.0ms

Iterations
IterNodes
done31
131
021

end0.0ms

sample1.0s

Algorithm
intervals
Results
546.0ms8722×body80valid
0.0ms1×body1280valid