Details

Time bar (total: 4.4s)

analyze5.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%50%50%3
25%25%50%4
37.5%12.5%50%5
43.7%6.2%50%6
46.9%3.1%50%7
48.4%1.6%50%8
49.2%0.8%50%9
49.6%0.4%50%10
49.8%0.2%50%11
49.9%0.1%50%12
49.9%0%50%13
49.9%0%50%14

sample103.0ms (2.3%)

Algorithm
1×intervals
Results
64.0ms122×body1280valid
22.0ms76×body640valid
6.0ms35×body320valid
2.0ms20×body160valid
0.0ms3×body80valid

simplify269.0ms (6.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (267.0ms)

IterNodesCost
0488912
1488912

prune10.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 59.0b

Counts
2 → 1

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite19.0ms (0.4%)

Algorithm
1×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:

8.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))
8.0ms
(/ (+ 1.0 x) (- 1.0 x))

series9.0ms (0.2%)

Counts
2 → 6
Calls

2 calls:

7.0ms
(log (/ (+ 1.0 x) (- 1.0 x)))
3.0ms
(/ (+ 1.0 x) (- 1.0 x))

simplify63.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
88 → 88
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
050061111

prune201.0ms (4.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New84488
Fresh000
Picked101
Done000
Total85489

Merged error: 0.1b

Counts
89 → 4

localize13.0ms (0.3%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune9.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New000
Fresh033
Picked011
Done000
Total044

Merged error: 0.1b

Counts
4 → 4

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(/ 1 (- 1.0 x))
0.0b
(* (+ 1.0 x) (/ 1 (- 1.0 x)))
5.2b
(log (* (+ 1.0 x) (/ 1 (- 1.0 x))))

rewrite34.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
44×add-sqr-sqrt
40×*-un-lft-identity
32×times-frac
26×add-exp-log
23×add-cube-cbrt
21×associate-*r*
10×add-cbrt-cube
9×pow1
8×prod-exp
7×distribute-lft-out-- difference-of-squares
6×log-div div-exp
5×rem-log-exp associate-/r*
4×frac-times flip3-+ associate-*l* associate-*l/ associate-/r/ flip-+
3×rec-exp 1-exp associate-/l* add-log-exp unswap-sqr
2×cbrt-undiv flip3-- associate-*r/ pow-prod-down log-pow un-div-inv flip-- cbrt-unprod div-inv
1×log-prod pow-flip frac-2neg clear-num *-commutative distribute-lft-out inv-pow
Counts
3 → 111
Calls

3 calls:

14.0ms
(* (+ 1.0 x) (/ 1 (- 1.0 x)))
9.0ms
(log (* (+ 1.0 x) (/ 1 (- 1.0 x))))
6.0ms
(/ 1 (- 1.0 x))

series16.0ms (0.4%)

Counts
3 → 9
Calls

3 calls:

11.0ms
(log (* (+ 1.0 x) (/ 1 (- 1.0 x))))
3.0ms
(* (+ 1.0 x) (/ 1 (- 1.0 x)))
2.0ms
(/ 1 (- 1.0 x))

simplify71.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
049801070
149801070

prune220.0ms (5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1191120
Fresh112
Picked011
Done011
Total1204124

Merged error: 0.0b

Counts
124 → 4

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b
(+ (log (+ 1.0 x)) (log (/ 1 (- 1.0 x))))
0.0b
(/ 1 (- 1.0 x))
5.3b
(log (+ 1.0 x))
5.3b
(log (/ 1 (- 1.0 x)))

rewrite33.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
62×*-un-lft-identity
54×add-sqr-sqrt
50×log-prod
45×times-frac
34×add-cube-cbrt
21×associate-+r+
14×add-exp-log
12×pow1
10×distribute-lft-out-- difference-of-squares
8×log-pow
6×log-div associate-/r/ add-cbrt-cube distribute-lft-out
5×rem-log-exp associate-/r*
4×associate-+l+ div-exp add-log-exp
3×flip3-- flip3-+ flip-- flip-+ div-inv associate-/l*
2×associate-+l- rec-exp pow-flip 1-exp log-rec inv-pow
1×cbrt-undiv +-commutative associate-+r- frac-2neg unsub-neg clear-num sum-log
Counts
4 → 137
Calls

4 calls:

13.0ms
(+ (log (+ 1.0 x)) (log (/ 1 (- 1.0 x))))
6.0ms
(log (/ 1 (- 1.0 x)))
6.0ms
(/ 1 (- 1.0 x))
3.0ms
(log (+ 1.0 x))

series16.0ms (0.4%)

Counts
4 → 12
Calls

4 calls:

7.0ms
(+ (log (+ 1.0 x)) (log (/ 1 (- 1.0 x))))
4.0ms
(log (/ 1 (- 1.0 x)))
3.0ms
(log (+ 1.0 x))
2.0ms
(/ 1 (- 1.0 x))

simplify102.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
149 → 149
Iterations

Useful iterations: 0 (89.0ms)

IterNodesCost
048971380
148971380

prune308.0ms (7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1481149
Fresh101
Picked011
Done112
Total1503153

Merged error: 0.0b

Counts
153 → 3

regimes30.0ms (0.7%)

Accuracy

Total 0.5b remaining (73.4%)

Threshold costs 0.5b (73.4%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04424
14424

end0.0ms (0%)

sample2.8s (64.5%)

Algorithm
1×intervals
Results
1.7s3377×body1280valid
710.0ms2463×body640valid
223.0ms1266×body320valid
76.0ms699×body160valid
10.0ms195×body80valid

Profiling

Loading profile data...