Details

Time bar (total: 1.8s)

analyze1.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
100%0%0%2

sample15.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

simplify99.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
049307
149307

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 19.3b

Counts
2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x x) 1.0)
19.3b
(/ x (+ (* x x) 1.0))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
4×add-exp-log add-cbrt-cube add-log-exp
3×associate-/r* associate-/l*
2×pow1 flip3-+ associate-/r/ flip-+
1×cbrt-undiv +-commutative frac-2neg div-exp clear-num sum-log div-inv
Counts
2 → 40
Calls
2 calls:
4.0ms
(+ (* x x) 1.0)
5.0ms
(/ x (+ (* x x) 1.0))

series8.0ms

Counts
2 → 6
Calls
2 calls:
4.0ms
(+ (* x x) 1.0)
4.0ms
(/ x (+ (* x x) 1.0))

simplify43.0ms

Algorithm
egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
05328474

prune76.0ms

Filtered
36 candidates to 46 candidates (-27.8%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New43346
Fresh000
Picked101
Done000
Total44347

Merged error: 0b

Counts
47 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ 1 x) (/ 1.0 (pow x 3)))
0.3b
(/ 1.0 (pow x 5))
0.5b
(/ 1.0 (pow x 3))
17.7b
(+ (/ 1.0 (pow x 5)) (- (/ 1 x) (/ 1.0 (pow x 3))))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
89×add-sqr-sqrt
84×times-frac
70×*-un-lft-identity
45×add-cube-cbrt
27×unpow-prod-down
19×associate-/r*
15×cube-prod difference-of-squares
14×add-exp-log
11×add-log-exp sqr-pow
8×add-cbrt-cube
6×div-exp associate-/l* distribute-lft-out--
4×pow1 cube-mult unpow3 div-inv distribute-lft-out
3×frac-add
2×cbrt-undiv pow-to-exp sub-neg flip3-- frac-2neg diff-log pow-exp clear-num sum-log frac-sub flip--
1×+-commutative associate-+r- associate-+r+ flip3-+ flip-+
Counts
4 → 161
Calls
4 calls:
26.0ms
(- (/ 1 x) (/ 1.0 (pow x 3)))
4.0ms
(/ 1.0 (pow x 5))
5.0ms
(/ 1.0 (pow x 3))
52.0ms
(+ (/ 1.0 (pow x 5)) (- (/ 1 x) (/ 1.0 (pow x 3))))

series18.0ms

Counts
4 → 12
Calls
4 calls:
5.0ms
(- (/ 1 x) (/ 1.0 (pow x 3)))
4.0ms
(/ 1.0 (pow x 5))
3.0ms
(/ 1.0 (pow x 3))
5.0ms
(+ (/ 1.0 (pow x 5)) (- (/ 1 x) (/ 1.0 (pow x 3))))

simplify60.0ms

Algorithm
egg-herbie
Counts
173 → 173
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
051092082

prune261.0ms

Filtered
106 candidates to 173 candidates (-63.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1730173
Fresh022
Picked011
Done000
Total1733176

Merged error: 0b

Counts
176 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (* x x) (* x x))
1.0b
(/ x (+ (pow x 6) (pow 1.0 3)))
16.4b
(+ (* (* x x) (* x x)) (- (* 1.0 1.0) (* (* x x) 1.0)))
29.0b
(* (/ x (+ (pow x 6) (pow 1.0 3))) (+ (* (* x x) (* x x)) (- (* 1.0 1.0) (* (* x x) 1.0))))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
117×pow1
36×*-un-lft-identity pow-prod-up
27×add-sqr-sqrt
25×times-frac
24×pow-prod-down
23×add-exp-log add-cbrt-cube
22×add-cube-cbrt pow-sqr
19×associate-*l*
18×pow-plus
13×pow2
10×prod-exp cbrt-unprod
9×add-log-exp
7×distribute-lft-out
5×flip3-+ flip-+
4×associate-*r* associate-/r* associate-/r/
3×associate-/l* unswap-sqr
2×cbrt-undiv frac-times associate-*r/ div-exp sum-log *-commutative div-inv
1×+-commutative distribute-rgt-in associate-+r- sub-neg associate-+r+ frac-2neg distribute-lft-in diff-log swap-sqr associate-*l/ clear-num
Counts
4 → 153
Calls
4 calls:
8.0ms
(* (* x x) (* x x))
9.0ms
(/ x (+ (pow x 6) (pow 1.0 3)))
13.0ms
(+ (* (* x x) (* x x)) (- (* 1.0 1.0) (* (* x x) 1.0)))
24.0ms
(* (/ x (+ (pow x 6) (pow 1.0 3))) (+ (* (* x x) (* x x)) (- (* 1.0 1.0) (* (* x x) 1.0))))

series36.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(* (* x x) (* x x))
19.0ms
(/ x (+ (pow x 6) (pow 1.0 3)))
4.0ms
(+ (* (* x x) (* x x)) (- (* 1.0 1.0) (* (* x x) 1.0)))
9.0ms
(* (/ x (+ (pow x 6) (pow 1.0 3))) (+ (* (* x x) (* x x)) (- (* 1.0 1.0) (* (* x x) 1.0))))

simplify71.0ms

Algorithm
egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
049081970
149081970

prune240.0ms

Filtered
88 candidates to 165 candidates (-87.5%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1650165
Fresh011
Picked011
Done011
Total1653168

Merged error: 0b

Counts
168 → 3

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* x x) 1.0)
0.1b
(pow (/ x (+ (* x x) 1.0)) 3)
19.3b
(/ x (+ (* x x) 1.0))
41.9b
(cbrt (pow (/ x (+ (* x x) 1.0)) 3))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
45×times-frac
42×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
36×cbrt-prod
30×unpow-prod-down cube-prod
10×associate-/r/
9×add-exp-log add-cbrt-cube
6×flip3-+ flip-+ add-log-exp
5×pow1 div-inv
3×pow-unpow associate-/r* associate-/l*
2×cbrt-undiv cube-div cube-mult unpow3 div-exp pow-exp rem-cube-cbrt sqr-pow
1×+-commutative pow-to-exp cbrt-div pow-pow frac-2neg pow1/3 clear-num sum-log rem-cbrt-cube
Counts
4 → 136
Calls
4 calls:
4.0ms
(+ (* x x) 1.0)
7.0ms
(pow (/ x (+ (* x x) 1.0)) 3)
5.0ms
(/ x (+ (* x x) 1.0))
9.0ms
(cbrt (pow (/ x (+ (* x x) 1.0)) 3))

series20.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(+ (* x x) 1.0)
5.0ms
(pow (/ x (+ (* x x) 1.0)) 3)
4.0ms
(/ x (+ (* x x) 1.0))
7.0ms
(cbrt (pow (/ x (+ (* x x) 1.0)) 3))

simplify57.0ms

Algorithm
egg-herbie
Counts
148 → 148
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
051651858

prune155.0ms

Filtered
84 candidates to 148 candidates (-76.2%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1480148
Fresh000
Picked011
Done022
Total1483151

Merged error: 0b

Counts
151 → 3

regimes88.0ms

Accuracy

100% (0.0b remaining)

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

bsearch30.0ms

Steps
ItersRangePoint
10
82.77704916955864
1.2571189751289293e+19
1137.6989982613109
9
-99031.59214547253
-0.0013725451724332302
-10013.953390292409

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
015551
115551

end0.0ms

sample284.0ms

Algorithm
intervals
Results
186.0ms8000×body80valid

Profiling

Loading profile data...