Details

Time bar (total: 1.4s)

analyze4.0ms (0.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
75%25%0%4
87.5%12.5%0%5
93.7%6.2%0%6
96.8%3.1%0%7
98.4%1.6%0%8
99.2%0.8%0%9
99.6%0.4%0%10
99.8%0.2%0%11
99.9%0.1%0%12
99.9%0%0%13
99.9%0%0%14

sample25.0ms (1.7%)

Algorithm
1×intervals
Results
8.0ms38×body320valid
6.0ms64×body640valid
3.0ms128×body80valid
2.0ms26×body160valid

simplify51.0ms (3.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
064911
164911

prune4.0ms (0.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 14.7b

Counts
2 → 1

localize6.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b
(/ 1.0 (+ x 1.0))
0.0b
(/ 1.0 (- x 1.0))
2.2b
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))

rewrite37.0ms (2.6%)

Algorithm
1×rewrite-expression-head
Rules
84×*-un-lft-identity
55×times-frac
50×add-sqr-sqrt
30×add-cube-cbrt
25×distribute-lft-out--
10×distribute-lft-out
9×associate-/r*
8×difference-of-squares
7×add-exp-log add-cbrt-cube
6×associate-/r/ associate-/l*
5×add-log-exp
4×div-inv
3×pow1 flip--
2×cbrt-undiv flip3-- frac-2neg div-exp clear-num flip-+
1×sub-neg flip3-+ diff-log frac-sub
Counts
3 → 101
Calls

3 calls:

23.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))
5.0ms
(/ 1.0 (- x 1.0))
5.0ms
(/ 1.0 (+ x 1.0))

series14.0ms (1%)

Counts
3 → 9
Calls

3 calls:

10.0ms
(- (/ 1.0 (+ x 1.0)) (/ 1.0 (- x 1.0)))
2.0ms
(/ 1.0 (- x 1.0))
2.0ms
(/ 1.0 (+ x 1.0))

simplify73.0ms (5.1%)

Algorithm
1×egg-herbie
Counts
110 → 110
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
049051239
149051239

prune187.0ms (12.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1073110
Fresh000
Picked101
Done000
Total1083111

Merged error: 0.3b

Counts
111 → 3

localize7.0ms (0.5%)

Local error

Found 2 expressions with local error:

0.0b
(* (+ 1.0 x) (- x 1.0))
0.3b
(/ (* 1.0 (* 1.0 -2)) (* (+ 1.0 x) (- x 1.0)))

rewrite22.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Rules
25×add-exp-log add-cbrt-cube
10×prod-exp cbrt-unprod
8×add-sqr-sqrt frac-times *-un-lft-identity associate-/r/
6×cbrt-undiv flip3-- flip3-+ div-exp flip-- flip-+
5×associate-*r*
4×pow1 add-cube-cbrt associate-*r/ associate-*l* associate-*l/
2×sub-neg add-log-exp
1×distribute-rgt-in frac-2neg distribute-lft-in times-frac pow-prod-down clear-num associate-/r* *-commutative div-inv distribute-lft-out associate-/l* distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 64
Calls

2 calls:

12.0ms
(/ (* 1.0 (* 1.0 -2)) (* (+ 1.0 x) (- x 1.0)))
8.0ms
(* (+ 1.0 x) (- x 1.0))

series13.0ms (0.9%)

Counts
2 → 6
Calls

2 calls:

8.0ms
(* (+ 1.0 x) (- x 1.0))
5.0ms
(/ (* 1.0 (* 1.0 -2)) (* (+ 1.0 x) (- x 1.0)))

simplify32.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
05363920

prune119.0ms (8.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New67370
Fresh202
Picked101
Done000
Total70373

Merged error: 0.0b

Counts
73 → 3

localize7.0ms (0.5%)

Local error

Found 2 expressions with local error:

0.0b
(/ 1.0 (+ 1.0 x))
0.1b
(/ (* (* 1.0 -2) (/ 1.0 (+ 1.0 x))) (- x 1.0))

rewrite19.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Rules
25×*-un-lft-identity
22×add-exp-log add-cbrt-cube
17×add-sqr-sqrt times-frac
13×add-cube-cbrt
9×associate-/r*
8×cbrt-undiv div-exp
6×prod-exp cbrt-unprod
4×associate-/r/ distribute-lft-out associate-/l*
2×pow1 frac-2neg clear-num div-inv distribute-lft-out-- add-log-exp difference-of-squares
1×flip3-- flip3-+ associate-*r/ flip-- flip-+ associate-/l/
Counts
2 → 67
Calls

2 calls:

12.0ms
(/ (* (* 1.0 -2) (/ 1.0 (+ 1.0 x))) (- x 1.0))
5.0ms
(/ 1.0 (+ 1.0 x))

series7.0ms (0.5%)

Counts
2 → 6
Calls

2 calls:

5.0ms
(/ (* (* 1.0 -2) (/ 1.0 (+ 1.0 x))) (- x 1.0))
2.0ms
(/ 1.0 (+ 1.0 x))

simplify37.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
04979860
14979860

prune120.0ms (8.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New72173
Fresh022
Picked011
Done000
Total72476

Merged error: 0.0b

Counts
76 → 4

localize6.0ms (0.4%)

Local error

Found 1 expressions with local error:

0.3b
(/ (* 1.0 (* 1.0 -2)) (- (* x x) 1.0))

rewrite10.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
10×add-exp-log add-cbrt-cube
5×add-sqr-sqrt
4×times-frac associate-/r*
3×cbrt-undiv add-cube-cbrt *-un-lft-identity div-exp prod-exp cbrt-unprod
2×associate-/r/ difference-of-squares
1×pow1 flip3-- frac-2neg clear-num flip-- div-inv associate-/l* add-log-exp
Counts
1 → 27
Calls

1 calls:

9.0ms
(/ (* 1.0 (* 1.0 -2)) (- (* x x) 1.0))

series4.0ms (0.3%)

Counts
1 → 3
Calls

1 calls:

4.0ms
(/ (* 1.0 (* 1.0 -2)) (- (* x x) 1.0))

simplify38.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
05979396

prune44.0ms (3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New30030
Fresh022
Picked011
Done011
Total30434

Merged error: 0.0b

Counts
34 → 4

regimes29.0ms (2%)

Accuracy

Total 0.1b remaining (82.2%)

Threshold costs 0.1b (82.2%)

bsearch0.0ms (0%)

simplify1.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02213
12213

end0.0ms (0%)

sample534.0ms (36.8%)

Algorithm
1×intervals
Results
205.0ms1965×body640valid
113.0ms4216×body80valid
93.0ms1211×body320valid
35.0ms608×body160valid

Profiling

Loading profile data...