Details

Time bar (total: 37.7s)

sample92.0ms

Algorithm
intervals
Results
45.0ms101×body1280valid
19.0ms80×body640valid
7.0ms258×body80nan
7.0ms48×body320valid
2.0ms21×body160valid
0.0ms6×body80valid

simplify13.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0186
1256
2406
3616
4886
51046
61136
71136

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 58.9b

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite21.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:
11.0ms
(/ (+ 1.0 x) (- 1.0 x))
6.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))

series164.0ms

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

simplify117.0ms

Algorithm
egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 2 (24.0ms)

IterNodesCost
0318660
11025624
24261602
35001602

prune187.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 1 expressions with local error:

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

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
5×associate-+r+ add-log-exp
4×associate-*r/ frac-add
3×log-prod flip3-+ associate--l+ flip-+
2×add-sqr-sqrt add-cube-cbrt associate-+l+ flip3-- *-un-lft-identity sum-log flip--
1×pow1 add-exp-log +-commutative distribute-rgt-in associate-+r- sub-neg distribute-lft-in diff-log add-cbrt-cube
Counts
1 → 24
Calls
1 calls:
14.0ms
(+ (* 2.0 (+ (pow x 2) x)) (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))

series316.0ms

Counts
1 → 3
Calls
1 calls:
316.0ms
(+ (* 2.0 (+ (pow x 2) x)) (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))

simplify44.0ms

Algorithm
egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
0316467
11491446
25002431

prune95.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

localize21.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)
39.1b
(/ (+ (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)))))

rewrite209.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)
52.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)
105.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.3s

Counts
4 → 12
Calls
4 calls:
45.0ms
(pow (* 2.0 (+ (pow x 2) x)) 3)
106.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))))
360.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)))))

simplify230.0ms

Algorithm
egg-herbie
Counts
316 → 316
Iterations

Useful iterations: 1 (55.0ms)

IterNodesCost
0268320918
1500120657

prune1.8s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

localize24.0ms

Local error

Found 4 expressions with local error:

12.0b
(/ (+ (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))))))
25.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)))))
25.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)))))
25.2b
(/ (/ (+ (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)))))) (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))))))

rewrite940.0ms

Algorithm
rewrite-expression-head
Rules
4668×associate-*r/
1936×frac-times
1862×flip3-+ flip-+
1782×sqrt-div
1764×frac-add
1458×associate-/r/
1416×times-frac
1410×flip3-- flip--
1056×frac-sub
720×sqrt-prod
636×*-un-lft-identity
616×associate-*l/
540×add-sqr-sqrt
538×add-cube-cbrt
201×associate-/l*
49×sum-cubes distribute-lft-out
12×associate-/r*
11×add-exp-log add-cbrt-cube
9×div-inv
8×cube-div
7×associate-/l/
6×pow1
4×cbrt-undiv div-exp add-log-exp
2×rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 clear-num
Counts
4 → 2126
Calls
4 calls:
112.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))))))
42.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)))))
46.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)))))
283.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)))))) (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:
773.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))))))
292.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)))))
285.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
(/ (/ (+ (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)))))) (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))))))

simplify2.9s

Algorithm
egg-herbie
Counts
2138 → 2138
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
05001312336

prune22.0s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.1b

regimes53.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02012
12012

end0.0ms

sample2.9s

Algorithm
intervals
Results
1.6s3419×body1280valid
639.0ms2528×body640valid
228.0ms8017×body80nan
186.0ms1241×body320valid
57.0ms603×body160valid
9.0ms209×body80valid