Details

Time bar (total: 3.7s)

sample29.0ms

Algorithm
intervals
Results
19.0ms256×body80valid

simplify77.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0228
1338
2568
3728
4788
51008
61288
71618
81908
93508
106448
1110128
1222588
1350018

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.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-*l/ associate-/r/ associate-/l/ difference-of-squares
1×cbrt-undiv +-commutative sub-neg flip3-- frac-2neg 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 → 77
Calls
4 calls:
2.0ms
(+ 2.30753 (* x 0.27061))
16.0ms
(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
7.0ms
(* (+ 0.99229 (* x 0.04481)) x)
9.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series254.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(+ 2.30753 (* x 0.27061))
89.0ms
(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
68.0ms
(* (+ 0.99229 (* x 0.04481)) x)
58.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify46.0ms

Algorithm
egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0422785
11574737
25001731

prune196.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite40.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 div-exp associate-*l/ pow-exp associate-/l/ rem-cube-cbrt sqr-pow
1×pow-to-exp cbrt-div pow-pow frac-2neg pow1/3 pow-prod-down prod-exp clear-num *-commutative rem-cbrt-cube cbrt-unprod unswap-sqr
Counts
4 → 147
Calls
4 calls:
7.0ms
(* (+ 0.99229 (* x 0.04481)) x)
8.0ms
(pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3)
9.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
8.0ms
(cbrt (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3))

series277.0ms

Counts
4 → 12
Calls
4 calls:
70.0ms
(* (+ 0.99229 (* x 0.04481)) x)
87.0ms
(pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3)
62.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
57.0ms
(cbrt (pow (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) 3))

simplify87.0ms

Algorithm
egg-herbie
Counts
159 → 159
Iterations

Useful iterations: 2 (67.0ms)

IterNodesCost
06531946
130501822
250011810

prune327.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
22×add-cube-cbrt *-un-lft-identity
18×times-frac sqrt-prod
8×cbrt-prod
6×pow1 add-exp-log sqrt-div associate-/r* add-cbrt-cube
4×flip3-+ flip-+ add-log-exp
3×cube-div cbrt-div associate-/l*
2×rem-sqrt-square sqrt-pow1 pow1/2 associate-/r/ associate-/l/
1×cbrt-undiv cube-mult frac-times unpow-prod-down frac-2neg pow1/3 unpow3 cube-prod associate-*r/ div-exp associate-*l/ clear-num rem-cbrt-cube div-inv sqr-pow
Counts
4 → 93
Calls
4 calls:
10.0ms
(/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
3.0ms
(sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
3.0ms
(sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
1.0ms
(cbrt (pow (* (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) 3))

series391.0ms

Counts
4 → 12
Calls
4 calls:
167.0ms
(/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
82.0ms
(sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
80.0ms
(sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
62.0ms
(cbrt (pow (* (/ 1 (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))) 3))

simplify67.0ms

Algorithm
egg-herbie
Counts
105 → 105
Iterations

Useful iterations: 2 (53.0ms)

IterNodesCost
05571449
123791413
250021379

prune371.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b
(exp (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
0.1b
(* (+ 0.99229 (* x 0.04481)) x)
0.7b
(log (exp (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))
14.5b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite113.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
21×*-un-lft-identity
17×add-cube-cbrt
12×exp-prod
11×times-frac
8×add-exp-log add-cbrt-cube
7×pow1 log-pow add-log-exp
5×log-prod
4×exp-sum difference-of-squares
3×flip3-+ associate-*r* associate-*l* associate-/r* flip-+ associate-/l*
2×sub-neg exp-diff associate-*l/ associate-/r/ rem-exp-log associate-/l/ distribute-lft-out--
1×cbrt-undiv log-div frac-2neg diff-log div-exp rem-log-exp pow-prod-down prod-exp clear-num *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 90
Calls
4 calls:
45.0ms
(exp (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
7.0ms
(* (+ 0.99229 (* x 0.04481)) x)
49.0ms
(log (exp (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))
9.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series302.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(exp (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
68.0ms
(* (+ 0.99229 (* x 0.04481)) x)
89.0ms
(log (exp (- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))))
61.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify50.0ms

Algorithm
egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
0451992
11696896
25001894

prune248.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes34.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
02310
12310

end0.0ms

sample721.0ms

Algorithm
intervals
Results
617.0ms8000×body80valid