Details

Time bar (total: 4.1s)

sample52.0ms

Algorithm
intervals
Results
26.0ms63×body10240exit
10.0ms269×body80valid
3.0ms9×body640valid
2.0ms3×body1280valid
1.0ms4×body320valid
0.0ms4×body160valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0125
1195
2195

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.5b

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (log (+ 1.0 (exp x))) (* x y))
0.0b
(+ 1.0 (exp x))
0.5b
(log (+ 1.0 (exp x)))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
11×*-un-lft-identity
8×log-prod
6×add-log-exp
5×add-sqr-sqrt add-cube-cbrt
4×pow1 add-exp-log log-div associate--l+
3×flip3-+ add-cbrt-cube flip-+ distribute-lft-out
2×associate--l-
1×+-commutative sub-neg flip3-- diff-log rem-log-exp sum-log log-pow flip--
Counts
3 → 45
Calls
3 calls:
5.0ms
(- (log (+ 1.0 (exp x))) (* x y))
3.0ms
(+ 1.0 (exp x))
3.0ms
(log (+ 1.0 (exp x)))

series127.0ms

Counts
3 → 9
Calls
3 calls:
57.0ms
(- (log (+ 1.0 (exp x))) (* x y))
8.0ms
(+ 1.0 (exp x))
63.0ms
(log (+ 1.0 (exp x)))

simplify48.0ms

Algorithm
egg-herbie
Counts
54 → 54
Iterations

Useful iterations: 3 (43.0ms)

IterNodesCost
0207322
1584301
21729298
35001297

prune124.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b
(log (+ 1.0 (exp x)))
0.7b
(sqrt (log (+ 1.0 (exp x))))
0.7b
(sqrt (log (+ 1.0 (exp x))))
0.7b
(* (sqrt (log (+ 1.0 (exp x)))) (sqrt (log (+ 1.0 (exp x)))))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
34×sqrt-prod
30×pow1
29×add-sqr-sqrt
19×*-un-lft-identity
15×add-cube-cbrt
11×swap-sqr
10×sqrt-pow1 pow1/2
9×log-pow
7×add-exp-log associate-*r* associate-*l*
6×add-cbrt-cube
5×pow-prod-up
4×log-prod add-log-exp unswap-sqr
3×pow-prod-down pow-sqr
2×rem-sqrt-square log-div
1×pow2 flip3-+ pow-plus sqrt-unprod rem-log-exp prod-exp rem-square-sqrt *-commutative cbrt-unprod flip-+ distribute-lft-out
Counts
4 → 97
Calls
4 calls:
3.0ms
(log (+ 1.0 (exp x)))
1.0ms
(sqrt (log (+ 1.0 (exp x))))
1.0ms
(sqrt (log (+ 1.0 (exp x))))
8.0ms
(* (sqrt (log (+ 1.0 (exp x)))) (sqrt (log (+ 1.0 (exp x)))))

series322.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(log (+ 1.0 (exp x)))
99.0ms
(sqrt (log (+ 1.0 (exp x))))
102.0ms
(sqrt (log (+ 1.0 (exp x))))
59.0ms
(* (sqrt (log (+ 1.0 (exp x)))) (sqrt (log (+ 1.0 (exp x)))))

simplify163.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 3 (154.0ms)

IterNodesCost
0229668
1792601
24011571
35002556

prune195.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b
(log (+ 1.0 (exp x)))
0.5b
(log (+ 1.0 (exp x)))
0.7b
(* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))
10.8b
(/ (- (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (* (* x y) (* x y))) (+ (log (+ 1.0 (exp x))) (* x y)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity
23×add-sqr-sqrt
21×add-cube-cbrt
19×pow1
16×log-prod
12×times-frac
10×add-exp-log
8×log-pow add-cbrt-cube
6×swap-sqr
4×distribute-rgt-in log-div distribute-lft-in associate-*r* associate-*l* distribute-lft-out associate-/l* add-log-exp difference-of-squares
3×flip3-+ associate-/r* flip-+
2×rem-log-exp associate-/r/ associate-/l/
1×cbrt-undiv pow2 flip3-- frac-2neg pow-plus div-sub div-exp pow-prod-down prod-exp clear-num pow-sqr *-commutative pow-prod-up flip-- cbrt-unprod div-inv unswap-sqr
Counts
4 → 104
Calls
4 calls:
3.0ms
(log (+ 1.0 (exp x)))
3.0ms
(log (+ 1.0 (exp x)))
8.0ms
(* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))
22.0ms
(/ (- (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (* (* x y) (* x y))) (+ (log (+ 1.0 (exp x))) (* x y)))

series343.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(log (+ 1.0 (exp x)))
58.0ms
(log (+ 1.0 (exp x)))
84.0ms
(* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))
140.0ms
(/ (- (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (* (* x y) (* x y))) (+ (log (+ 1.0 (exp x))) (* x y)))

simplify65.0ms

Algorithm
egg-herbie
Counts
116 → 116
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
04041442
119831304
250011281

prune278.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.2b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 1/2 (pow x 2))
0.0b
(+ (* 1/2 (pow x 2)) (+ x 2.0))
0.0b
(- (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (* x y))
8.0b
(log (+ (* 1/2 (pow x 2)) (+ x 2.0)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
10×add-exp-log add-log-exp
9×add-cube-cbrt *-un-lft-identity
8×associate-*r*
6×log-prod add-cbrt-cube
5×pow1
4×unpow-prod-down log-div unswap-sqr
3×flip3-+ associate-*l* prod-exp associate--l+ sum-log flip-+
2×associate--l- unpow2 sqr-pow
1×+-commutative pow-to-exp sub-neg associate-+r+ flip3-- diff-log rem-log-exp pow-exp log-pow *-commutative flip-- cbrt-unprod
Counts
4 → 71
Calls
4 calls:
6.0ms
(* 1/2 (pow x 2))
8.0ms
(+ (* 1/2 (pow x 2)) (+ x 2.0))
10.0ms
(- (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (* x y))
11.0ms
(log (+ (* 1/2 (pow x 2)) (+ x 2.0)))

series173.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* 1/2 (pow x 2))
24.0ms
(+ (* 1/2 (pow x 2)) (+ x 2.0))
72.0ms
(- (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (* x y))
52.0ms
(log (+ (* 1/2 (pow x 2)) (+ x 2.0)))

simplify47.0ms

Algorithm
egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 2 (39.0ms)

IterNodesCost
0371575
11439529
25001520

prune199.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.2b

regimes33.0ms

Accuracy

0% (0.8b remaining)

Error of 1.1b against oracle of 0.3b and baseline of 1.1b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01211
11211

end0.0ms

sample1.7s

Algorithm
intervals
Results
1.0s2478×body10240exit
323.0ms8410×body80valid
78.0ms293×body640valid
65.0ms130×body1280valid
28.0ms177×body320valid
10.0ms98×body160valid