Details

Time bar (total: 11.0s)

sample27.0ms

Algorithm
intervals
Results
16.0ms256×body80valid

simplify10.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0167
1277
2337
3347
4347

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 39.4b

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x x) (* y y))
0.1b
(/ (+ (+ (* x x) (* y y)) (* z z)) 3.0)
36.6b
(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3.0))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
19×times-frac
18×add-cube-cbrt *-un-lft-identity
13×sqrt-prod
5×add-exp-log add-cbrt-cube add-log-exp
4×pow1
3×expm1-log1p-u associate-/r* log1p-expm1-u associate-/l*
2×rem-sqrt-square flip3-+ flip-+ div-inv associate-/l/
1×cbrt-undiv +-commutative fma-def frac-2neg sqrt-pow1 pow1/2 sqrt-div div-exp clear-num sum-log
Counts
3 → 72
Calls
3 calls:
3.0ms
(+ (* x x) (* y y))
30.0ms
(/ (+ (+ (* x x) (* y y)) (* z z)) 3.0)
16.0ms
(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3.0))

series53.0ms

Counts
3 → 9
Calls
3 calls:
6.0ms
(+ (* x x) (* y y))
18.0ms
(/ (+ (+ (* x x) (* y y)) (* z z)) 3.0)
29.0ms
(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3.0))

simplify140.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 2 (35.0ms)

IterNodesCost
0310729
11303650
24811634
35001634

prune644.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 19.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x x) (* y y))
0.1b
(/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0))
0.4b
(* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0))))
36.6b
(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0)))

rewrite134.0ms

Algorithm
rewrite-expression-head
Rules
90×add-sqr-sqrt
75×times-frac sqrt-prod
53×*-un-lft-identity
49×add-cube-cbrt
35×cbrt-prod
25×associate-*r*
16×unswap-sqr
10×associate-*l*
9×pow1
8×add-exp-log
7×add-cbrt-cube
6×associate-/r* add-log-exp
5×sqrt-div
4×expm1-log1p-u log1p-expm1-u div-inv
3×rem-sqrt-square sqrt-pow1 pow1/2 pow-prod-down associate-/l*
2×flip3-+ flip-+ associate-/l/
1×cbrt-undiv +-commutative frac-times fma-def frac-2neg sqrt-unprod associate-*r/ div-exp associate-*l/ prod-exp clear-num sum-log *-commutative cbrt-unprod
Counts
4 → 164
Calls
4 calls:
3.0ms
(+ (* x x) (* y y))
31.0ms
(/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0))
73.0ms
(* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0))))
19.0ms
(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0)))

series113.0ms

Counts
4 → 12
Calls
4 calls:
6.0ms
(+ (* x x) (* y y))
21.0ms
(/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0))
44.0ms
(* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0))))
42.0ms
(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0)))

simplify70.0ms

Algorithm
egg-herbie
Counts
176 → 176
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
04832511
118692385
250012351

prune1.9s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 18.9b

localize17.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (sqrt (/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (* (cbrt 3.0) (cbrt 3.0)))) (sqrt (/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (cbrt 3.0))))
0.3b
(/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (cbrt 3.0))
36.5b
(sqrt (+ (+ (* x x) (* y y)) (* z z)))
36.5b
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
150×sqrt-prod
132×add-sqr-sqrt
106×times-frac
64×add-cube-cbrt *-un-lft-identity
47×cbrt-prod
43×associate-*r*
24×unswap-sqr
13×associate-*l*
10×pow1 sqrt-div
8×add-exp-log
7×add-cbrt-cube
6×associate-/r* associate-/l*
4×expm1-log1p-u sqrt-pow1 pow1/2 log1p-expm1-u add-log-exp
3×flip3-+ pow-prod-down flip-+ div-inv
2×rem-sqrt-square hypot-def associate-/l/
1×cbrt-undiv frac-times frac-2neg sqrt-unprod associate-*r/ div-exp associate-*l/ prod-exp clear-num *-commutative cbrt-unprod
Counts
4 → 199
Calls
4 calls:
101.0ms
(* (sqrt (/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (* (cbrt 3.0) (cbrt 3.0)))) (sqrt (/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (cbrt 3.0))))
24.0ms
(/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (cbrt 3.0))
17.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))
15.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

series121.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(* (sqrt (/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (* (cbrt 3.0) (cbrt 3.0)))) (sqrt (/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (cbrt 3.0))))
32.0ms
(/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (cbrt 3.0))
21.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))
25.0ms
(sqrt (+ (+ (* x x) (* y y)) (* z z)))

simplify140.0ms

Algorithm
egg-herbie
Counts
211 → 211
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
04244062
113653943
245693843
350013843

prune2.1s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 18.9b

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0))
0.4b
(* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0))))
6.0b
(exp (log (* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0))))))
36.6b
(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0)))

rewrite277.0ms

Algorithm
rewrite-expression-head
Rules
91×add-sqr-sqrt
75×times-frac sqrt-prod
54×*-un-lft-identity
50×add-cube-cbrt
35×cbrt-prod
25×associate-*r*
16×unswap-sqr
14×pow1
10×associate-*l*
9×sqrt-div
8×add-exp-log
7×exp-prod add-cbrt-cube
6×pow-prod-down associate-/r*
5×sqrt-pow1 pow1/2
4×expm1-log1p-u log-pow log1p-expm1-u div-inv add-log-exp
3×rem-sqrt-square log-div exp-diff associate-/l*
2×frac-times associate-*r/ associate-*l/ associate-/l/
1×cbrt-undiv log-prod frac-2neg flip3-+ sqrt-unprod div-exp exp-sum prod-exp clear-num *-commutative cbrt-unprod flip-+ rem-exp-log
Counts
4 → 171
Calls
4 calls:
31.0ms
(/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0))
73.0ms
(* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0))))
145.0ms
(exp (log (* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0))))))
17.0ms
(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0)))

series149.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0))
45.0ms
(* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0))))
42.0ms
(exp (log (* (sqrt (/ 1 (* (cbrt 3.0) (cbrt 3.0)))) (sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0))))))
42.0ms
(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) (cbrt 3.0)))

simplify67.0ms

Algorithm
egg-herbie
Counts
183 → 183
Iterations

Useful iterations: 2 (43.0ms)

IterNodesCost
04422712
115702584
250022549

prune2.2s

Pruning

13 alts after pruning (10 fresh and 3 done)

Merged error: 18.9b

regimes1.8s

Accuracy

64.7% (7.1b remaining)

Error of 25.7b against oracle of 18.6b and baseline of 38.7b

bsearch49.0ms

Steps
ItersRangePoint
8
1.2548328817032444e+126
4.884715246864704e+128
1.096043779466603e+127
10
-4.6853696568247485e+141
-1.1373822395753508e+128
-1.4467202670789784e+138

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03828
14528
24828
34828

end0.0ms

sample681.0ms

Algorithm
intervals
Results
507.0ms8000×body80valid