Details

Time bar (total: 1.5s)

analyze377.0ms (24.7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
12.5%87.4%0.1%7
26.5%73.3%0.1%8
33.5%66.3%0.1%9
49.1%50.7%0.1%10
56.9%42.9%0.1%11
60.8%39%0.1%12
69%30.9%0.1%13
72.5%27.3%0.1%14

sample34.0ms (2.2%)

Algorithm
1×intervals
Results
10.0ms74×body1280valid
5.0ms46×body640valid
3.0ms19×body2560valid
3.0ms85×body80valid
2.0ms27×body320valid
0.0ms5×body160valid

simplify17.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (16.0ms)

IterNodesCost
052212
152212

prune7.0ms (0.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 41.1b

Counts
2 → 1

localize12.0ms (0.8%)

Local error

Found 1 expressions with local error:

9.1b
(- (fma x y z) (+ 1.0 (+ (* x y) z)))

rewrite9.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
10×add-log-exp
6×*-un-lft-identity
3×add-sqr-sqrt diff-log sum-log
2×distribute-lft-out--
1×pow1 add-exp-log add-cube-cbrt sub-neg flip3-- add-cbrt-cube flip-- distribute-lft-out associate--r+ difference-of-squares
Counts
1 → 17
Calls

1 calls:

8.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))

series11.0ms (0.7%)

Counts
1 → 3
Calls

1 calls:

11.0ms
(- (fma x y z) (+ 1.0 (+ (* x y) z)))

simplify28.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
04734330
14734330

prune30.0ms (1.9%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New20020
Fresh000
Picked011
Done000
Total20121

Merged error: 41.1b

Counts
21 → 1

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
07012
17012

end0.0ms (0%)

sample1000.0ms (65.6%)

Algorithm
1×intervals
Results
381.0ms2668×body1280valid
181.0ms1559×body640valid
106.0ms614×body2560valid
76.0ms2112×body80valid
63.0ms709×body320valid
20.0ms338×body160valid

Profiling

Loading profile data...