Details

Time bar (total: 20.5s)

sample23.0ms

Algorithm
intervals
Results
11.0ms277×body80valid

simplify3.5s

Counts
1 → 1
Iterations
IterNodes
done5000
284960
274766
264563
254371
244168
233974
223771
213579
203374
193178
182963
172727
162476
152172
141837
131584
121041
11630
10390
9314
8258
7221
6185
5131
487
354
235
121
010

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.8b

localize24.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- z t) (- z a))
1.8b
(* y (/ (- z t) (- z a)))

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
75×add-sqr-sqrt
70×*-un-lft-identity
51×times-frac
31×associate-*r*
26×add-cube-cbrt
22×distribute-lft-out-- difference-of-squares
9×add-cbrt-cube add-exp-log
5×associate-/r* associate-/l*
4×pow1 associate-/r/
3×flip3-- associate-*l* flip--
2×cbrt-undiv div-exp prod-exp cbrt-unprod insert-posit16 div-inv add-log-exp unswap-sqr associate-/l/
1×clear-num frac-2neg div-sub pow-prod-down associate-*r/ *-commutative
Counts
2 → 104
Calls
2 calls:
30.0ms
(/ (- z t) (- z a))
43.0ms
(* y (/ (- z t) (- z a)))

series151.0ms

Counts
2 → 6
Calls
2 calls:
70.0ms
(/ (- z t) (- z a))
81.0ms
(* y (/ (- z t) (- z a)))

simplify2.8s

Counts
110 → 110
Iterations
IterNodes
done5000
34873
21152
1371
0140

prune566.0ms

Pruning

6 alts after pruning (5 fresh and 1 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))
1.8b
(* y (* (/ 1 (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a)))))

rewrite270.0ms

Algorithm
rewrite-expression-head
Rules
65×add-exp-log
35×prod-exp
26×add-cbrt-cube
15×cbrt-prod div-exp cbrt-unprod
14×add-sqr-sqrt *-un-lft-identity
9×pow1
8×add-cube-cbrt
7×cbrt-undiv
6×cbrt-div
4×rec-exp 1-exp associate-*r/ insert-posit16 add-log-exp
3×flip3-- pow1/3 associate-*l* pow-prod-down flip-- distribute-lft-out-- difference-of-squares
1×frac-times associate-*r* associate-*l/ *-commutative
Counts
4 → 88
Calls
4 calls:
3.0ms
(cbrt (- z a))
3.0ms
(cbrt (- z a))
3.0ms
(cbrt (- z a))
260.0ms
(* y (* (/ 1 (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a)))))

series802.0ms

Counts
4 → 12
Calls
4 calls:
191.0ms
(cbrt (- z a))
223.0ms
(cbrt (- z a))
196.0ms
(cbrt (- z a))
192.0ms
(* y (* (/ 1 (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a)))))

simplify2.1s

Counts
100 → 100
Iterations
IterNodes
done5005
21470
1452
0173

prune578.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize64.0ms

Local error

Found 4 expressions with local error:

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

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
69×add-exp-log
35×prod-exp cbrt-unprod
31×add-cbrt-cube
16×cbrt-undiv div-exp
13×associate-*r*
12×cbrt-div
9×cbrt-prod add-sqr-sqrt pow1
8×*-un-lft-identity associate-/r/ add-cube-cbrt
6×flip3-- flip--
4×frac-times insert-posit16 add-log-exp
3×pow1/3 pow-prod-down associate-*r/
2×associate-*l/
1×times-frac associate-*l* *-commutative div-inv unswap-sqr
Counts
4 → 91
Calls
4 calls:
1.0ms
(cbrt y)
1.0ms
(cbrt y)
1.0ms
(cbrt y)
113.0ms
(* (* (cbrt y) (cbrt y)) (/ (* (/ (- z t) (cbrt (- z a))) (cbrt y)) (* (cbrt (- z a)) (cbrt (- z a)))))

series955.0ms

Counts
4 → 12
Calls
4 calls:
256.0ms
(cbrt y)
296.0ms
(cbrt y)
269.0ms
(cbrt y)
133.0ms
(* (* (cbrt y) (cbrt y)) (/ (* (/ (- z t) (cbrt (- z a))) (cbrt y)) (* (cbrt (- z a)) (cbrt (- z a)))))

simplify2.6s

Counts
103 → 103
Iterations
IterNodes
done5000
22318
1528
0158

prune524.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.0b

localize72.0ms

Local error

Found 4 expressions with local error:

1.8b
(* y (* (/ 1 (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a)))))
5.8b
(cbrt (* y (* (/ 1 (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a))))))
5.8b
(cbrt (* y (* (/ 1 (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a))))))
5.8b
(cbrt (* y (* (/ 1 (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a))))))

rewrite939.0ms

Algorithm
rewrite-expression-head
Rules
65×add-exp-log
35×prod-exp
26×add-cbrt-cube
16×associate-*r/
15×div-exp cbrt-unprod
9×pow1 cbrt-div
7×cbrt-undiv
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×frac-times rec-exp 1-exp associate-*l/ insert-posit16 add-log-exp
3×cbrt-prod pow1/3 associate-*l* pow-prod-down
1×associate-*r* *-commutative
Counts
4 → 79
Calls
4 calls:
238.0ms
(* y (* (/ 1 (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a)))))
216.0ms
(cbrt (* y (* (/ 1 (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a))))))
249.0ms
(cbrt (* y (* (/ 1 (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a))))))
234.0ms
(cbrt (* y (* (/ 1 (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a))))))

series692.0ms

Counts
4 → 12
Calls
4 calls:
141.0ms
(* y (* (/ 1 (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a)))))
191.0ms
(cbrt (* y (* (/ 1 (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a))))))
166.0ms
(cbrt (* y (* (/ 1 (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a))))))
193.0ms
(cbrt (* y (* (/ 1 (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a))))))

simplify1.7s

Counts
91 → 91
Iterations
IterNodes
done5001
21329
1366
0139

prune564.0ms

Pruning

7 alts after pruning (3 fresh and 4 done)

Merged error: 0.0b

regimes578.0ms

Accuracy

0% (1.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done12
112
010

end0.0ms

sample822.0ms

Algorithm
intervals
Results
553.0ms8719×body80valid