Details

Time bar (total: 4.0s)

sample53.0ms

Algorithm
intervals
Results
38.0ms256×body80valid

simplify135.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0319
1519
2699
3869
4949
51059
61399
71779
82029
92469
104169
116159
129929
1319489
1422409
1531549
1650019

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
0.0b
(+ 2.30753 (* x 0.27061))
0.1b
(* x (+ 0.99229 (* x 0.04481)))
14.5b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite50.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
16×*-un-lft-identity
14×add-cube-cbrt
10×times-frac
8×add-exp-log add-cbrt-cube add-log-exp
6×pow1
4×flip3-+ flip-+
3×associate-*r* associate-*l* associate-/r* associate-/l*
2×associate-*r/ associate-/r/ associate-/l/ difference-of-squares
1×cbrt-undiv +-commutative distribute-rgt-in sub-neg flip3-- frac-2neg distribute-lft-in diff-log div-exp pow-prod-down prod-exp clear-num sum-log *-commutative flip-- cbrt-unprod div-inv distribute-lft-out-- unswap-sqr
Counts
4 → 79
Calls
4 calls:
31.0ms
(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
2.0ms
(+ 2.30753 (* x 0.27061))
7.0ms
(* x (+ 0.99229 (* x 0.04481)))
9.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series253.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)
33.0ms
(+ 2.30753 (* x 0.27061))
70.0ms
(* x (+ 0.99229 (* x 0.04481)))
61.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify56.0ms

Algorithm
egg-herbie
Counts
91 → 91
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0441781
11821736
25002736

prune232.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(* x (+ 0.99229 (* x 0.04481)))
0.1b
(pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3)
14.5b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
18.9b
(cbrt (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
46×add-sqr-sqrt
45×times-frac
44×add-cube-cbrt *-un-lft-identity
36×cbrt-prod
30×unpow-prod-down cube-prod
11×add-exp-log add-cbrt-cube
10×associate-/r/
7×pow1 flip3-+ flip-+
5×div-inv
4×add-log-exp
3×pow-unpow associate-*r* associate-*l* associate-/r* associate-/l*
2×cbrt-undiv cube-div cube-mult unpow3 associate-*r/ div-exp pow-exp associate-/l/ rem-cube-cbrt sqr-pow
1×distribute-rgt-in pow-to-exp cbrt-div pow-pow frac-2neg distribute-lft-in pow1/3 pow-prod-down prod-exp clear-num *-commutative rem-cbrt-cube cbrt-unprod unswap-sqr
Counts
4 → 149
Calls
4 calls:
7.0ms
(* x (+ 0.99229 (* x 0.04481)))
8.0ms
(pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3)
9.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
8.0ms
(cbrt (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3))

series411.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(* x (+ 0.99229 (* x 0.04481)))
213.0ms
(pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3)
65.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
68.0ms
(cbrt (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 3))

simplify91.0ms

Algorithm
egg-herbie
Counts
161 → 161
Iterations

Useful iterations: 2 (71.0ms)

IterNodesCost
06751949
132851824
250011812

prune324.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
0.2b
(/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
14.5b
(sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
14.5b
(sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
38×add-sqr-sqrt
36×add-cube-cbrt *-un-lft-identity times-frac
30×sqrt-prod
12×associate-/r*
10×add-exp-log
8×pow1 sqrt-div add-cbrt-cube
6×associate-/l*
5×flip3-+ flip-+
4×associate-/r/ add-log-exp
3×pow-flip sqrt-pow1 pow1/2 div-exp
2×cbrt-undiv rem-sqrt-square frac-2neg clear-num div-inv associate-/l/
1×rec-exp 1-exp inv-pow
Counts
4 → 120
Calls
4 calls:
5.0ms
(/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
9.0ms
(/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
3.0ms
(sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
3.0ms
(sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series410.0ms

Counts
4 → 12
Calls
4 calls:
99.0ms
(/ 1 (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
157.0ms
(/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
77.0ms
(sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
77.0ms
(sqrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify65.0ms

Algorithm
egg-herbie
Counts
132 → 132
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
05521563
122421445
250011418

prune365.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 0.70711 (- (* 6.039053782637804 (/ 1 x)) (+ (* 82.23527511657369 (/ 1 (pow x 2))) x)))
0.2b
(* 82.23527511657369 (/ 1 (pow x 2)))
0.3b
(* 6.039053782637804 (/ 1 x))
0.6b
(/ 1 (pow x 2))

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
74×add-sqr-sqrt
67×times-frac
52×*-un-lft-identity
47×add-cube-cbrt
44×add-exp-log associate-*r*
23×unpow-prod-down
18×add-cbrt-cube
15×prod-exp
14×div-exp
13×unswap-sqr
10×pow1 associate-*r/
9×associate-*l* unpow2 sqr-pow
8×associate-/r*
7×rec-exp 1-exp
6×pow-to-exp pow-exp
5×cbrt-unprod
4×un-div-inv frac-sub add-log-exp
3×cbrt-undiv pow-prod-down *-commutative div-inv associate-/l*
2×distribute-rgt-in sub-neg distribute-lft-in flip3-+ flip-+
1×flip3-- pow-flip frac-2neg clear-num flip-- inv-pow
Counts
4 → 184
Calls
4 calls:
59.0ms
(* 0.70711 (- (* 6.039053782637804 (/ 1 x)) (+ (* 82.23527511657369 (/ 1 (pow x 2))) x)))
14.0ms
(* 82.23527511657369 (/ 1 (pow x 2)))
8.0ms
(* 6.039053782637804 (/ 1 x))
4.0ms
(/ 1 (pow x 2))

series104.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(* 0.70711 (- (* 6.039053782637804 (/ 1 x)) (+ (* 82.23527511657369 (/ 1 (pow x 2))) x)))
29.0ms
(* 82.23527511657369 (/ 1 (pow x 2)))
16.0ms
(* 6.039053782637804 (/ 1 x))
16.0ms
(/ 1 (pow x 2))

simplify86.0ms

Algorithm
egg-herbie
Counts
196 → 196
Iterations

Useful iterations: 2 (68.0ms)

IterNodesCost
06961070
13247880
25001787

prune311.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0.0b

regimes52.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0239
1239

end0.0ms

sample829.0ms

Algorithm
intervals
Results
720.0ms8000×body80valid