Details

Time bar (total: 1.5s)

analyze95.0ms (6.4%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0810
1810
011
111
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
100%0%0%2
Compiler

Compiled 8 to 6 computations (25% saved)

sample12.0ms (0.8%)

Algorithm
1×intervals
Results
5.0ms256×body128valid
Compiler

Compiled 15 to 12 computations (20% saved)

simplify7.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0810
1810

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
15.2b
Counts
2 → 1
Compiler

Compiled 14 to 10 computations (28.6% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

15.2b
(/.f64 x (+.f64 (*.f64 x x) 1))

rewrite41.0ms (2.8%)

Algorithm
1×rewrite-expression-head
Error
15.1b
Rules
9×add-cube-cbrt_binary64_1136 add-sqr-sqrt_binary64_1123 times-frac_binary64_1107 *-un-lft-identity_binary64_1101
3×add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137 associate-/l*_binary64_1046 associate-/r*_binary64_1045
2×associate-/r/_binary64_1047
1×pow1_binary64_1162 div-exp_binary64_1152 add-log-exp_binary64_1140 cbrt-undiv_binary64_1135 frac-2neg_binary64_1112 clear-num_binary64_1100 div-inv_binary64_1098 flip3-+_binary64_1104 flip-+_binary64_1075
Counts
1 → 29
Calls

1 calls:

6.0ms
(/.f64 x (+.f64 (*.f64 x x) 1))
Compiler

Compiled 469 to 241 computations (48.6% saved)

series57.0ms (3.8%)

Error
0.0b
Counts
1 → 10
Calls

1 calls:

49.0ms
(/.f64 x (+.f64 (*.f64 x x) 1))
Compiler

Compiled 206 to 167 computations (18.9% saved)

simplify46.0ms (3.1%)

Algorithm
1×egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
04923611
14923611

prune33.0ms (2.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New35439
Fresh000
Picked011
Done000
Total35540
Error
0b
Counts
40 → 5
Compiler

Compiled 529 to 299 computations (43.5% saved)

localize2.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

simplify6.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune3.0ms (0.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New000
Fresh033
Picked011
Done011
Total055
Error
0b
Counts
5 → 5
Compiler

Compiled 23 to 18 computations (21.7% saved)

localize3.0ms (0.2%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

simplify6.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune2.0ms (0.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New000
Fresh022
Picked011
Done022
Total055
Error
0b
Counts
5 → 5
Compiler

Compiled 18 to 14 computations (22.2% saved)

localize7.0ms (0.4%)

Local error

Found 2 expressions with local error:

3.0b
(exp.f64 (log.f64 (/.f64 x (+.f64 1 (*.f64 x x)))))
15.2b
(/.f64 x (+.f64 1 (*.f64 x x)))

rewrite66.0ms (4.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
18×add-cube-cbrt_binary64_1136 add-sqr-sqrt_binary64_1123 times-frac_binary64_1107 *-un-lft-identity_binary64_1101
15×log-prod_binary64_1187 exp-sum_binary64_1147
4×add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137 associate-/r/_binary64_1047 exp-prod_binary64_1153
3×pow1_binary64_1162 associate-/l*_binary64_1046 associate-/r*_binary64_1045
2×add-log-exp_binary64_1140 div-inv_binary64_1098 flip3-+_binary64_1104 flip-+_binary64_1075
1×div-exp_binary64_1152 cbrt-undiv_binary64_1135 frac-2neg_binary64_1112 clear-num_binary64_1100 log-pow_binary64_1190 log-div_binary64_1188 exp-diff_binary64_1149 rem-exp-log_binary64_1141
Counts
2 → 57
Calls

2 calls:

6.0ms
(exp.f64 (log.f64 (/.f64 x (+.f64 1 (*.f64 x x)))))
5.0ms
(/.f64 x (+.f64 1 (*.f64 x x)))
Compiler

Compiled 1090 to 632 computations (42% saved)

series126.0ms (8.5%)

Error
0b
Counts
2 → 14
Calls

2 calls:

65.0ms
(exp.f64 (log.f64 (/.f64 x (+.f64 1 (*.f64 x x)))))
51.0ms
(/.f64 x (+.f64 1 (*.f64 x x)))
Compiler

Compiled 418 to 343 computations (17.9% saved)

simplify69.0ms (4.7%)

Algorithm
1×egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
051871047

prune52.0ms (3.5%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New71071
Fresh011
Picked011
Done033
Total71576
Error
0b
Counts
76 → 5
Compiler

Compiled 956 to 561 computations (41.3% saved)

regimes122.0ms (8.2%)

Accuracy

Total 0.0b remaining (98.9%)

Threshold costs 0.0b (98.9%)

Compiler

Compiled 724 to 482 computations (33.4% saved)

bsearch35.0ms (2.4%)

Steps
ItersRangePoint
10
6327153.903954946
2.528102489965566e+20
80170138.21473925
10
-234153374088.25037
-0.07958265492084944
-120789043.24552725
Compiler

Compiled 1 to 1 computations (0% saved)

simplify3.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05852
15852

end0.0ms (0%)

sample684.0ms (46.1%)

Algorithm
1×intervals
Results
166.0ms8000×body128valid
Compiler

Compiled 364 to 242 computations (33.5% saved)

Profiling

Loading profile data...