Details

Time bar (total: 4.2s)

sample81.0ms

Algorithm
intervals
Results
32.0ms95×body2560valid
16.0ms73×body1280valid
9.0ms38×body640valid
7.0ms274×body80nan
2.0ms19×body320valid
2.0ms21×body160valid
0.0ms10×body80valid

simplify93.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0197
1427
2777
31467
42427
54177
627897
750017

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.9b

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
0.2b
(* 5.0 (* v v))
0.9b
(acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
13×add-cube-cbrt *-un-lft-identity
12×times-frac
10×add-exp-log add-cbrt-cube
8×pow1
4×associate-/r* difference-of-squares
3×associate-*l* pow-prod-down prod-exp cbrt-unprod associate-/l* add-log-exp
2×flip3-- associate-/r/ flip-- associate-/l/
1×cbrt-undiv acos-asin frac-2neg div-sub div-exp associate-*r* clear-num *-commutative div-inv unswap-sqr
Counts
3 → 63
Calls
3 calls:
8.0ms
(/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
5.0ms
(* 5.0 (* v v))
1.0ms
(acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

series114.0ms

Counts
3 → 9
Calls
3 calls:
86.0ms
(/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
24.0ms
(* 5.0 (* v v))
4.0ms
(acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

simplify38.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 2 (31.0ms)

IterNodesCost
0336587
11261535
25002531

prune161.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.9b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
0.0b
(exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
0.2b
(* 5.0 (* v v))
0.9b
(acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
16×add-cube-cbrt *-un-lft-identity
12×times-frac
11×add-exp-log add-cbrt-cube
10×pow1
4×exp-prod associate-/r* add-log-exp difference-of-squares
3×log-prod associate-*l* exp-sum pow-prod-down prod-exp cbrt-unprod associate-/l*
2×flip3-- associate-/r/ flip-- associate-/l/
1×cbrt-undiv acos-asin frac-2neg div-sub div-exp associate-*r* clear-num log-pow *-commutative div-inv rem-exp-log unswap-sqr
Counts
4 → 78
Calls
4 calls:
8.0ms
(/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
2.0ms
(exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
6.0ms
(* 5.0 (* v v))
1.0ms
(acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

series121.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
4.0ms
(exp (log (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
30.0ms
(* 5.0 (* v v))
4.0ms
(acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

simplify41.0ms

Algorithm
egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0365766
11310699
25002677

prune220.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.9b

localize10.0ms

Local error

Found 4 expressions with local error:

0.9b
(acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
0.9b
(sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
0.9b
(sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
0.9b
(* (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
24×sqrt-prod
21×pow1
14×add-cube-cbrt *-un-lft-identity
10×sqrt-pow1 pow1/2
8×swap-sqr
6×add-exp-log associate-*r* associate-*l* add-cbrt-cube
5×pow-prod-up
4×add-log-exp unswap-sqr
3×pow-prod-down pow-sqr
2×rem-sqrt-square
1×pow2 acos-asin pow-plus sqrt-unprod prod-exp rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 83
Calls
4 calls:
1.0ms
(acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
1.0ms
(sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
1.0ms
(sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
6.0ms
(* (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))

series45.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
16.0ms
(sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
21.0ms
(sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
4.0ms
(* (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))) (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))

simplify110.0ms

Algorithm
egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 3 (99.0ms)

IterNodesCost
01251002
1427888
22342844
35002813

prune152.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.8b

localize18.0ms

Local error

Found 4 expressions with local error:

0.9b
(sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
0.9b
(sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
0.9b
(sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
0.9b
(* (* (sqrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (sqrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
60×sqrt-pow1
51×pow1
36×pow1/2
34×pow-prod-up
16×add-sqr-sqrt
14×sqrt-prod
9×add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
8×pow-sqr
7×pow-prod-down
6×pow-plus associate-*r*
4×add-log-exp
3×rem-sqrt-square prod-exp cbrt-unprod
2×sqrt-unprod swap-sqr unswap-sqr
1×associate-*l* *-commutative
Counts
4 → 91
Calls
4 calls:
1.0ms
(sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
1.0ms
(sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
1.0ms
(sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
15.0ms
(* (* (sqrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (sqrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))

series61.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
17.0ms
(sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
18.0ms
(sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
5.0ms
(* (* (sqrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))) (sqrt (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))) (sqrt (acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))

simplify186.0ms

Algorithm
egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 2 (26.0ms)

IterNodesCost
02161004
1625777
23789745
35002745

prune164.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.8b

regimes97.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0129
1129

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.0s2953×body2560valid
590.0ms2518×body1280valid
220.0ms7966×body80nan
208.0ms1252×body640valid
76.0ms629×body320valid
35.0ms421×body160valid
11.0ms227×body80valid