Details

Time bar (total: 23.4s)

sample96.0ms

Algorithm
intervals
Results
47.0ms103×body1280valid
20.0ms83×body640valid
8.0ms277×body80nan
6.0ms40×body320valid
2.0ms25×body160valid
0.0ms5×body80valid

simplify15.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0186
1256
2406
3616
4886
51046
61136
71136

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.6b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (+ 1.0 x) (- 1.0 x))
5.9b
(log (/ (+ 1.0 x) (- 1.0 x)))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity
41×add-sqr-sqrt
40×times-frac
26×log-prod
23×add-cube-cbrt
11×distribute-lft-out
9×distribute-lft-out-- difference-of-squares
7×add-exp-log
5×associate-/r*
4×associate-/r/ add-cbrt-cube associate-/l*
3×pow1
2×flip3-- div-exp rem-log-exp flip-- div-inv associate-/l/ add-log-exp
1×cbrt-undiv log-div frac-2neg flip3-+ clear-num log-pow flip-+
Counts
2 → 82
Calls
2 calls:
14.0ms
(/ (+ 1.0 x) (- 1.0 x))
5.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

series155.0ms

Counts
2 → 6
Calls
2 calls:
31.0ms
(/ (+ 1.0 x) (- 1.0 x))
124.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

simplify126.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 2 (25.0ms)

IterNodesCost
0318660
11025624
24261602
35001602

prune200.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* 2.0 (+ (pow x 2) x)) (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))
0.0b
(* 2.0 (/ (pow x 2) (pow 1.0 2)))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
80×times-frac
71×add-sqr-sqrt
68×associate-*r*
56×unpow-prod-down
37×add-cube-cbrt *-un-lft-identity
25×add-exp-log
24×unpow2 sqr-pow
17×unswap-sqr
10×prod-exp
9×div-exp
7×add-cbrt-cube
6×pow-to-exp pow-exp add-log-exp
5×associate-+r+ associate-*r/
4×pow1 frac-add
3×log-prod flip3-+ associate-*l* associate--l+ flip-+
2×associate-+l+ flip3-- sum-log flip-- cbrt-unprod
1×cbrt-undiv +-commutative distribute-rgt-in associate-+r- sub-neg distribute-lft-in diff-log pow-prod-down *-commutative div-inv
Counts
2 → 134
Calls
2 calls:
14.0ms
(+ (* 2.0 (+ (pow x 2) x)) (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))
29.0ms
(* 2.0 (/ (pow x 2) (pow 1.0 2)))

series553.0ms

Counts
2 → 6
Calls
2 calls:
497.0ms
(+ (* 2.0 (+ (pow x 2) x)) (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))
56.0ms
(* 2.0 (/ (pow x 2) (pow 1.0 2)))

simplify90.0ms

Algorithm
egg-herbie
Counts
140 → 140
Iterations

Useful iterations: 2 (77.0ms)

IterNodesCost
07991164
14062970
25001969

prune366.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (* 2.0 (+ (pow x 2) x)) 3)
0.1b
(* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x))))
0.1b
(pow (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) 3)
41.8b
(/ (+ (pow (* 2.0 (+ (pow x 2) x)) 3) (pow (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) 3)) (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x)))))

rewrite200.0ms

Algorithm
rewrite-expression-head
Rules
448×associate-*r/
188×frac-times
179×flip3-+ flip-+
164×frac-add
162×associate-/r/
147×flip3-- flip--
108×frac-sub
58×associate-*l/
30×*-un-lft-identity
24×add-sqr-sqrt
22×add-cube-cbrt
16×associate--l+
15×times-frac
12×add-exp-log cube-div add-cbrt-cube
10×pow1
7×distribute-rgt-in distribute-lft-in
6×pow-unpow log-prod associate-/l/
5×associate-/l*
4×sub-neg unpow-prod-down cube-prod sum-cubes distribute-lft-out add-log-exp
3×pow-pow associate-*r* associate-*l* pow-exp associate-/r* rem-cube-cbrt
2×cube-mult pow-to-exp unpow3 pow-prod-down prod-exp cbrt-unprod sqr-pow
1×cbrt-undiv frac-2neg div-exp clear-num *-commutative div-inv unswap-sqr
Counts
4 → 304
Calls
4 calls:
8.0ms
(pow (* 2.0 (+ (pow x 2) x)) 3)
48.0ms
(* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x))))
4.0ms
(pow (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) 3)
101.0ms
(/ (+ (pow (* 2.0 (+ (pow x 2) x)) 3) (pow (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) 3)) (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x)))))

series2.2s

Counts
4 → 12
Calls
4 calls:
48.0ms
(pow (* 2.0 (+ (pow x 2) x)) 3)
109.0ms
(* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x))))
156.0ms
(pow (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) 3)
1.8s
(/ (+ (pow (* 2.0 (+ (pow x 2) x)) 3) (pow (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) 3)) (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x)))))

simplify250.0ms

Algorithm
egg-herbie
Counts
316 → 316
Iterations

Useful iterations: 1 (59.0ms)

IterNodesCost
0268320918
1500120657

prune1.9s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

12.4b
(/ (+ (pow (* 2.0 (+ (pow x 2) x)) 3) (pow (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) 3)) (sqrt (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x))))))
27.1b
(sqrt (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x)))))
27.1b
(sqrt (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x)))))
27.2b
(* (/ 1 (sqrt (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x)))))) (/ (+ (pow (* 2.0 (+ (pow x 2) x)) 3) (pow (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) 3)) (sqrt (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x)))))))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
2125×associate-*r/
881×frac-times
848×flip3-+ flip-+
810×sqrt-div
804×frac-add
642×flip3-- flip--
486×associate-/r/
480×frac-sub
281×associate-*l/
196×associate-*r*
184×associate-*l*
103×add-sqr-sqrt
100×times-frac
87×*-un-lft-identity
59×sqrt-prod
55×add-cube-cbrt
28×add-exp-log
18×add-cbrt-cube
15×unswap-sqr
13×sum-cubes distribute-lft-out
9×div-exp
8×pow1 cube-div prod-exp
6×associate-/r* associate-/l/
5×cbrt-undiv associate-/l*
4×cbrt-unprod add-log-exp
3×div-inv
2×rem-sqrt-square rec-exp sqrt-pow1 pow1/2 1-exp
1×frac-2neg pow-prod-down clear-num *-commutative
Counts
4 → 990
Calls
4 calls:
105.0ms
(/ (+ (pow (* 2.0 (+ (pow x 2) x)) 3) (pow (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) 3)) (sqrt (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x))))))
44.0ms
(sqrt (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x)))))
40.0ms
(sqrt (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x)))))
759.0ms
(* (/ 1 (sqrt (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x)))))) (/ (+ (pow (* 2.0 (+ (pow x 2) x)) 3) (pow (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) 3)) (sqrt (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x)))))))

series3.2s

Counts
4 → 12
Calls
4 calls:
775.0ms
(/ (+ (pow (* 2.0 (+ (pow x 2) x)) 3) (pow (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) 3)) (sqrt (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x))))))
286.0ms
(sqrt (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x)))))
289.0ms
(sqrt (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x)))))
1.9s
(* (/ 1 (sqrt (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x)))))) (/ (+ (pow (* 2.0 (+ (pow x 2) x)) 3) (pow (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) 3)) (sqrt (+ (* (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (- (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))) (* 2.0 (+ (pow x 2) x)))) (* (* 2.0 (+ (pow x 2) x)) (* 2.0 (+ (pow x 2) x)))))))

simplify1.1s

Algorithm
egg-herbie
Counts
1002 → 1002
Iterations

Useful iterations: 0 (25.0ms)

IterNodesCost
05001103059

prune8.8s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes78.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02012
12012

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.5s3359×body1280valid
640.0ms2593×body640valid
228.0ms8044×body80nan
178.0ms1217×body320valid
59.0ms630×body160valid
8.0ms201×body80valid