Details

Time bar (total: 21.6s)

sample32.0ms

Algorithm
intervals
Results
17.0ms256×body80valid

simplify1.6s

Counts
1 → 1

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (* y (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0))) (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0))))
0.0b
(* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z)
3.1b
(* y (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)))
20.2b
(/ (* y (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0))) (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0)))

rewrite389.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt
13×add-exp-log associate-*r/ add-cbrt-cube
12×*-un-lft-identity
11×associate-*l/ frac-add
10×add-cube-cbrt
8×pow1 flip3-+ flip-+
6×associate-*r* associate-*l* add-log-exp
5×associate-/l/
4×associate-/r/
3×times-frac prod-exp associate-/r* cbrt-unprod
2×cbrt-undiv div-exp pow-prod-down *-commutative unswap-sqr
1×+-commutative distribute-rgt-in frac-2neg distribute-lft-in clear-num sum-log div-inv distribute-lft-out associate-/l*
Counts
4 → 88
Calls
4 calls:
98.0ms
(+ x (/ (* y (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0))) (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0))))
74.0ms
(* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z)
121.0ms
(* y (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)))
92.0ms
(/ (* y (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0))) (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0)))

series623.0ms

Counts
4 → 12
Calls
4 calls:
268.0ms
(+ x (/ (* y (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0))) (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0))))
101.0ms
(* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z)
85.0ms
(* y (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)))
170.0ms
(/ (* y (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0))) (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0)))

simplify1.4s

Counts
100 → 100

prune691.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0))
0.0b
(* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z)
0.2b
(* y (/ (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)) (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0))))
16.6b
(/ (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)) (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0)))

rewrite473.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
22×add-cube-cbrt *-un-lft-identity
20×associate-*r*
19×times-frac
13×add-exp-log associate-*l/ frac-add add-cbrt-cube
9×flip3-+ flip-+
8×pow1 associate-/r/
6×associate-*l* add-log-exp
5×associate-/l/
4×associate-*r/
3×prod-exp associate-/r* cbrt-unprod associate-/l* unswap-sqr
2×cbrt-undiv div-exp pow-prod-down *-commutative div-inv
1×+-commutative frac-2neg clear-num sum-log
Counts
4 → 107
Calls
4 calls:
44.0ms
(+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0))
86.0ms
(* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z)
202.0ms
(* y (/ (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)) (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0))))
134.0ms
(/ (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)) (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0)))

series431.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0))
82.0ms
(* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z)
200.0ms
(* y (/ (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)) (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0))))
112.0ms
(/ (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)) (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0)))

simplify1.4s

Counts
119 → 119

prune789.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ y (/ (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0)) (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)))))
0.0b
(* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z)
0.3b
(/ y (/ (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0)) (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0))))
16.7b
(/ (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0)) (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)))

rewrite505.0ms

Algorithm
rewrite-expression-head
Rules
99×times-frac
63×add-sqr-sqrt *-un-lft-identity
61×add-cube-cbrt
26×associate-/r/
23×frac-add
21×associate-/r*
20×associate-*l/
14×flip3-+ flip-+
13×add-exp-log add-cbrt-cube
6×pow1 associate-*r/ div-inv associate-/l* add-log-exp
4×cbrt-undiv div-exp associate-/l/
3×associate-*r* associate-*l*
2×frac-2neg clear-num
1×+-commutative pow-prod-down prod-exp sum-log *-commutative cbrt-unprod distribute-lft-out unswap-sqr
Counts
4 → 159
Calls
4 calls:
150.0ms
(+ x (/ y (/ (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0)) (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)))))
79.0ms
(* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z)
121.0ms
(/ y (/ (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0)) (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0))))
147.0ms
(/ (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0)) (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)))

series719.0ms

Counts
4 → 12
Calls
4 calls:
330.0ms
(+ x (/ y (/ (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0)) (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)))))
126.0ms
(* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z)
172.0ms
(/ y (/ (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0)) (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0))))
90.0ms
(/ (+ (* (+ z (/ 1692356830115869.0 281474976710656.0)) z) (/ 7544303578448747.0 2251799813685248.0)) (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)))

simplify1.7s

Counts
171 → 171

prune1.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize66.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (+ (pow z 3) (pow (/ 1692356830115869.0 281474976710656.0) 3)) z)
0.2b
(* y (* (/ (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)) (+ (* (* (+ (pow z 3) (pow (/ 1692356830115869.0 281474976710656.0) 3)) z) 2251799813685248.0) (* (+ (* z z) (- (* (/ 1692356830115869.0 281474976710656.0) (/ 1692356830115869.0 281474976710656.0)) (* z (/ 1692356830115869.0 281474976710656.0)))) 7544303578448747.0))) (* (+ (* z z) (- (* (/ 1692356830115869.0 281474976710656.0) (/ 1692356830115869.0 281474976710656.0)) (* z (/ 1692356830115869.0 281474976710656.0)))) 2251799813685248.0)))
16.6b
(* (/ (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)) (+ (* (* (+ (pow z 3) (pow (/ 1692356830115869.0 281474976710656.0) 3)) z) 2251799813685248.0) (* (+ (* z z) (- (* (/ 1692356830115869.0 281474976710656.0) (/ 1692356830115869.0 281474976710656.0)) (* z (/ 1692356830115869.0 281474976710656.0)))) 7544303578448747.0))) (* (+ (* z z) (- (* (/ 1692356830115869.0 281474976710656.0) (/ 1692356830115869.0 281474976710656.0)) (* z (/ 1692356830115869.0 281474976710656.0)))) 2251799813685248.0))
22.2b
(/ (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)) (+ (* (* (+ (pow z 3) (pow (/ 1692356830115869.0 281474976710656.0) 3)) z) 2251799813685248.0) (* (+ (* z z) (- (* (/ 1692356830115869.0 281474976710656.0) (/ 1692356830115869.0 281474976710656.0)) (* z (/ 1692356830115869.0 281474976710656.0)))) 7544303578448747.0)))

rewrite3.1s

Algorithm
rewrite-expression-head
Rules
39×associate-*l/
38×add-exp-log add-cbrt-cube
32×*-un-lft-identity
31×associate-*l*
24×add-sqr-sqrt
22×add-cube-cbrt
20×pow1
18×times-frac prod-exp cbrt-unprod
17×flip3-+ flip-+
12×frac-add associate-/r/
10×associate-*r/ pow-prod-down
5×cbrt-undiv div-exp associate-*r* associate-/l/ distribute-lft-out
4×frac-times unpow-prod-down cube-prod add-log-exp
3×associate-/r* *-commutative associate-/l*
2×div-inv
1×frac-2neg clear-num sum-cubes unswap-sqr
Counts
4 → 137
Calls
4 calls:
257.0ms
(* (+ (pow z 3) (pow (/ 1692356830115869.0 281474976710656.0) 3)) z)
1.2s
(* y (* (/ (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)) (+ (* (* (+ (pow z 3) (pow (/ 1692356830115869.0 281474976710656.0) 3)) z) 2251799813685248.0) (* (+ (* z z) (- (* (/ 1692356830115869.0 281474976710656.0) (/ 1692356830115869.0 281474976710656.0)) (* z (/ 1692356830115869.0 281474976710656.0)))) 7544303578448747.0))) (* (+ (* z z) (- (* (/ 1692356830115869.0 281474976710656.0) (/ 1692356830115869.0 281474976710656.0)) (* z (/ 1692356830115869.0 281474976710656.0)))) 2251799813685248.0)))
1.1s
(* (/ (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)) (+ (* (* (+ (pow z 3) (pow (/ 1692356830115869.0 281474976710656.0) 3)) z) 2251799813685248.0) (* (+ (* z z) (- (* (/ 1692356830115869.0 281474976710656.0) (/ 1692356830115869.0 281474976710656.0)) (* z (/ 1692356830115869.0 281474976710656.0)))) 7544303578448747.0))) (* (+ (* z z) (- (* (/ 1692356830115869.0 281474976710656.0) (/ 1692356830115869.0 281474976710656.0)) (* z (/ 1692356830115869.0 281474976710656.0)))) 2251799813685248.0))
548.0ms
(/ (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)) (+ (* (* (+ (pow z 3) (pow (/ 1692356830115869.0 281474976710656.0) 3)) z) 2251799813685248.0) (* (+ (* z z) (- (* (/ 1692356830115869.0 281474976710656.0) (/ 1692356830115869.0 281474976710656.0)) (* z (/ 1692356830115869.0 281474976710656.0)))) 7544303578448747.0)))

series708.0ms

Counts
4 → 12
Calls
4 calls:
144.0ms
(* (+ (pow z 3) (pow (/ 1692356830115869.0 281474976710656.0) 3)) z)
302.0ms
(* y (* (/ (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)) (+ (* (* (+ (pow z 3) (pow (/ 1692356830115869.0 281474976710656.0) 3)) z) 2251799813685248.0) (* (+ (* z z) (- (* (/ 1692356830115869.0 281474976710656.0) (/ 1692356830115869.0 281474976710656.0)) (* z (/ 1692356830115869.0 281474976710656.0)))) 7544303578448747.0))) (* (+ (* z z) (- (* (/ 1692356830115869.0 281474976710656.0) (/ 1692356830115869.0 281474976710656.0)) (* z (/ 1692356830115869.0 281474976710656.0)))) 2251799813685248.0)))
170.0ms
(* (/ (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)) (+ (* (* (+ (pow z 3) (pow (/ 1692356830115869.0 281474976710656.0) 3)) z) 2251799813685248.0) (* (+ (* z z) (- (* (/ 1692356830115869.0 281474976710656.0) (/ 1692356830115869.0 281474976710656.0)) (* z (/ 1692356830115869.0 281474976710656.0)))) 7544303578448747.0))) (* (+ (* z z) (- (* (/ 1692356830115869.0 281474976710656.0) (/ 1692356830115869.0 281474976710656.0)) (* z (/ 1692356830115869.0 281474976710656.0)))) 2251799813685248.0))
92.0ms
(/ (+ (* (+ (* z (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) z) (/ 5029535718965825.0 18014398509481984.0)) (+ (* (* (+ (pow z 3) (pow (/ 1692356830115869.0 281474976710656.0) 3)) z) 2251799813685248.0) (* (+ (* z z) (- (* (/ 1692356830115869.0 281474976710656.0) (/ 1692356830115869.0 281474976710656.0)) (* z (/ 1692356830115869.0 281474976710656.0)))) 7544303578448747.0)))

simplify727.0ms

Counts
149 → 149

prune1.5s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes131.0ms

Accuracy

99.6% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 16.3b

bsearch254.0ms

Steps
ItersRangePoint
5
68030889.75935516
182642675.8945347
179817697.38866243
8
-1.3951263989060736e+22
-1.6783348826951918e+18
-3.346074214531689e+21

simplify1.6s

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.2s8000×body80valid