Details

Time bar (total: 1.6m)

sample28.0ms

Algorithm
intervals
Results
11.0ms330×body80valid

simplify121.0ms

Counts
1 → 1
Iterations
IterNodes
done114
9114
8111
7105
691
579
462
341
225
115
010

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.4b

localize29.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ t (- 1.0 z))
0.0b
(- (/ y z) (/ t (- 1.0 z)))
5.1b
(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite445.0ms

Algorithm
rewrite-expression-head
Rules
1192×times-frac
1082×add-sqr-sqrt
1078×*-un-lft-identity
819×prod-diff
814×add-cube-cbrt
275×distribute-rgt-in distribute-lft-in
129×distribute-lft-out-- difference-of-squares
104×div-inv
80×associate-/r/
42×flip3-- flip--
13×fma-neg
10×associate-*r*
7×add-cbrt-cube add-exp-log
5×pow1 associate-/r* add-log-exp
3×expm1-log1p-u sub-neg associate-*l* associate-*r/ log1p-expm1-u associate-/l*
2×frac-sub
1×cbrt-undiv clear-num frac-2neg diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 927
Calls
3 calls:
14.0ms
(/ t (- 1.0 z))
49.0ms
(- (/ y z) (/ t (- 1.0 z)))
265.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series189.0ms

Counts
3 → 9
Calls
3 calls:
59.0ms
(/ t (- 1.0 z))
43.0ms
(- (/ y z) (/ t (- 1.0 z)))
87.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify5.0s

Counts
936 → 936
Iterations
IterNodes
done5000
24565
11778
01009

prune5.2s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.5b

localize39.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(cbrt t)
5.1b
(* x (- (/ y z) (* (* (cbrt t) (cbrt t)) (/ (cbrt t) (- 1.0 z)))))

rewrite81.0ms

Algorithm
rewrite-expression-head
Rules
26×prod-diff
25×add-sqr-sqrt
23×*-un-lft-identity add-cube-cbrt
18×times-frac
15×distribute-rgt-in distribute-lft-in
9×cbrt-prod
6×pow1 add-cbrt-cube add-exp-log
4×expm1-log1p-u associate-*r/ log1p-expm1-u add-log-exp
3×pow1/3 associate-*r* associate-*l*
2×sub-neg div-inv
1×flip3-- pow-prod-down prod-exp *-commutative frac-sub cbrt-unprod flip-- unswap-sqr
Counts
4 → 92
Calls
4 calls:
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)
76.0ms
(* x (- (/ y z) (* (* (cbrt t) (cbrt t)) (/ (cbrt t) (- 1.0 z)))))

series830.0ms

Counts
4 → 12
Calls
4 calls:
253.0ms
(cbrt t)
271.0ms
(cbrt t)
203.0ms
(cbrt t)
102.0ms
(* x (- (/ y z) (* (* (cbrt t) (cbrt t)) (/ (cbrt t) (- 1.0 z)))))

simplify2.5s

Counts
104 → 104
Iterations
IterNodes
done5000
34231
21177
1367
0163

prune615.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize51.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- t))
0.6b
(cbrt t)
0.6b
(cbrt t)
5.1b
(* x (- (/ y z) (* (* (cbrt t) (* (cbrt (- t)) (cbrt -1))) (/ (cbrt t) (- 1.0 z)))))

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
26×prod-diff
25×*-un-lft-identity add-cube-cbrt
18×times-frac
16×cbrt-prod
15×distribute-rgt-in distribute-lft-in
6×pow1 add-cbrt-cube add-exp-log
4×expm1-log1p-u associate-*r/ log1p-expm1-u add-log-exp
3×distribute-lft-neg-in distribute-rgt-neg-in pow1/3 associate-*r* associate-*l*
2×sub-neg div-inv
1×neg-mul-1 flip3-- pow-prod-down prod-exp *-commutative frac-sub cbrt-unprod flip-- unswap-sqr
Counts
4 → 99
Calls
4 calls:
1.0ms
(cbrt (- t))
1.0ms
(cbrt t)
1.0ms
(cbrt t)
122.0ms
(* x (- (/ y z) (* (* (cbrt t) (* (cbrt (- t)) (cbrt -1))) (/ (cbrt t) (- 1.0 z)))))

series1.0s

Counts
4 → 12
Calls
4 calls:
264.0ms
(cbrt (- t))
263.0ms
(cbrt t)
254.0ms
(cbrt t)
256.0ms
(* x (- (/ y z) (* (* (cbrt t) (* (cbrt (- t)) (cbrt -1))) (/ (cbrt t) (- 1.0 z)))))

simplify1.8s

Counts
111 → 111
Iterations
IterNodes
done5001
21405
1439
0199

prune927.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.0b

localize62.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ -1 (sqrt (- 1.0 z)))
0.5b
(* x (fma (/ t (sqrt (- 1.0 z))) (/ -1 (sqrt (- 1.0 z))) (/ (/ t (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))))
4.6b
(* x (- (/ y z) (/ (/ t (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))))
11.9b
(fma (/ t (sqrt (- 1.0 z))) (/ -1 (sqrt (- 1.0 z))) (/ (/ t (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))

rewrite3.2s

Algorithm
rewrite-expression-head
Rules
15713×times-frac
11050×add-sqr-sqrt
10997×*-un-lft-identity
8175×add-cube-cbrt
7050×sqrt-prod
6396×prod-diff
3201×distribute-rgt-in distribute-lft-in
1422×difference-of-squares
1410×distribute-lft-out--
727×div-inv
470×sqrt-div associate-/r/
236×flip3-- flip--
22×associate-*r*
10×add-cbrt-cube add-exp-log
8×pow1 associate-/r*
6×associate-*l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*r/ fma-udef associate-/l*
2×sub-neg pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×cbrt-undiv clear-num frac-2neg div-exp frac-sub
Counts
4 → 6522
Calls
4 calls:
13.0ms
(/ -1 (sqrt (- 1.0 z)))
12.0ms
(* x (fma (/ t (sqrt (- 1.0 z))) (/ -1 (sqrt (- 1.0 z))) (/ (/ t (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))))
1.6s
(* x (- (/ y z) (/ (/ t (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))))
1.0ms
(fma (/ t (sqrt (- 1.0 z))) (/ -1 (sqrt (- 1.0 z))) (/ (/ t (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))

series3.0s

Counts
4 → 12
Calls
4 calls:
87.0ms
(/ -1 (sqrt (- 1.0 z)))
2.7s
(* x (fma (/ t (sqrt (- 1.0 z))) (/ -1 (sqrt (- 1.0 z))) (/ (/ t (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))))
80.0ms
(* x (- (/ y z) (/ (/ t (sqrt (- 1.0 z))) (sqrt (- 1.0 z)))))
111.0ms
(fma (/ t (sqrt (- 1.0 z))) (/ -1 (sqrt (- 1.0 z))) (/ (/ t (sqrt (- 1.0 z))) (sqrt (- 1.0 z))))

simplify12.9s

Counts
6534 → 6534
Iterations
IterNodes
done7232
07232

prune58.3s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.0b

regimes560.0ms

Accuracy

-29.1% (6.6b remaining)

Error of 6.7b against oracle of 0.1b and baseline of 5.2b

bsearch178.0ms

Steps
ItersRangePoint
8
1.870327126393593e+119
4.3992185933555654e+123
2.281820999912937e+119
5
2.5553329627059984e+77
6.473587259839388e+77
4.0071513378741327e+77
9
-1.8120878758048934e+165
-7.037926655977505e+157
-3.599161882380861e+161

simplify17.0ms

Iterations
IterNodes
done52
152
041

end0.0ms

sample946.0ms

Algorithm
intervals
Results
610.0ms10122×body80valid