Details

Time bar (total: 1.4s)

analyze4.0ms (0.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
50%50%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

sample16.0ms (1.1%)

Algorithm
1×intervals
Results
11.0ms256×body80valid

simplify60.0ms (4.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
0489919
1489919

prune4.0ms (0.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize11.0ms (0.8%)

Local error

Found 4 expressions with local error:

0.0b
(+ 2.30753 (* x 0.27061))
0.0b
(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
0.1b
(* x (+ 0.99229 (* x 0.04481)))
16.9b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite32.0ms (2.3%)

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

4 calls:

16.0ms
(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
6.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
5.0ms
(* x (+ 0.99229 (* x 0.04481)))
3.0ms
(+ 2.30753 (* x 0.27061))

series21.0ms (1.5%)

Counts
4 → 12
Calls

4 calls:

8.0ms
(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
5.0ms
(* x (+ 0.99229 (* x 0.04481)))
5.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
3.0ms
(+ 2.30753 (* x 0.27061))

simplify51.0ms (3.7%)

Algorithm
1×egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
049801616
149801616

prune183.0ms (13.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New992101
Fresh000
Picked011
Done000
Total993102

Merged error: 0b

Counts
102 → 3

localize13.0ms (0.9%)

Local error

Found 4 expressions with local error:

0.0b
(+ (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 0.70711) (* x (neg 0.70711)))
0.1b
(* x (+ 0.99229 (* x 0.04481)))
0.1b
(* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 0.70711)
16.9b
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite31.0ms (2.2%)

Algorithm
1×rewrite-expression-head
Rules
29×add-sqr-sqrt
22×add-cube-cbrt *-un-lft-identity
19×times-frac
18×associate-*l*
13×add-exp-log add-cbrt-cube
8×pow1
6×associate-*r* add-log-exp
5×flip3-+ flip-+
4×associate-/r/
3×prod-exp associate-/r* cbrt-unprod associate-/l* unswap-sqr
2×cbrt-undiv associate-*r/ div-exp pow-prod-down *-commutative div-inv associate-/l/
1×+-commutative distribute-rgt-in frac-2neg distribute-lft-in unsub-neg associate-*l/ clear-num sum-log distribute-rgt-neg-out
Counts
4 → 99
Calls

4 calls:

9.0ms
(* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 0.70711)
9.0ms
(+ (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 0.70711) (* x (neg 0.70711)))
6.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
5.0ms
(* x (+ 0.99229 (* x 0.04481)))

series25.0ms (1.8%)

Counts
4 → 12
Calls

4 calls:

8.0ms
(+ (* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 0.70711) (* x (neg 0.70711)))
7.0ms
(* x (+ 0.99229 (* x 0.04481)))
5.0ms
(* (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) 0.70711)
5.0ms
(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify32.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
111 → 111
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
053182013

prune222.0ms (15.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1110111
Fresh011
Picked011
Done011
Total1113114

Merged error: 0b

Counts
114 → 3

localize5.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b
(- (* x 1.3436228731669864) 2.134856267379707)
0.0b
(+ 1.6316775383 (* x (- (* x 1.3436228731669864) 2.134856267379707)))
0.0b
(* x (- (* x 1.3436228731669864) 2.134856267379707))

rewrite14.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
7×add-sqr-sqrt add-log-exp
5×pow1 add-exp-log add-cube-cbrt sub-neg *-un-lft-identity add-cbrt-cube
3×associate-*r* associate-*l*
2×distribute-rgt-in associate-+r+ flip3-- distribute-lft-in associate-*r/ flip--
1×+-commutative flip3-+ diff-log pow-prod-down prod-exp sum-log *-commutative cbrt-unprod flip-+ unswap-sqr
Counts
3 → 46
Calls

3 calls:

6.0ms
(* x (- (* x 1.3436228731669864) 2.134856267379707))
4.0ms
(- (* x 1.3436228731669864) 2.134856267379707)
3.0ms
(+ 1.6316775383 (* x (- (* x 1.3436228731669864) 2.134856267379707)))

series12.0ms (0.8%)

Counts
3 → 9
Calls

3 calls:

5.0ms
(* x (- (* x 1.3436228731669864) 2.134856267379707))
3.0ms
(- (* x 1.3436228731669864) 2.134856267379707)
3.0ms
(+ 1.6316775383 (* x (- (* x 1.3436228731669864) 2.134856267379707)))

simplify63.0ms (4.5%)

Algorithm
1×egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
04990524
14990524

prune68.0ms (4.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New55055
Fresh000
Picked011
Done022
Total55358

Merged error: 0b

Counts
58 → 3

regimes82.0ms (5.9%)

Accuracy

Total 0.0b remaining (65.5%)

Threshold costs 0.0b (65.5%)

bsearch0.0ms (0%)

simplify1.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03319
13319

end0.0ms (0%)

sample442.0ms (31.7%)

Algorithm
1×intervals
Results
352.0ms8000×body80valid

Profiling

Loading profile data...