Details

Time bar (total: 3.3s)

analyze3.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
50%50%0%2
50%25%25%3
62.5%12.5%25%4
68.7%6.2%25%5
71.8%3.1%25%6
73.4%1.6%25%7
74.2%0.8%25%8
74.6%0.4%25%9
74.8%0.2%25%10
74.9%0.1%25%11
74.9%0%25%12
74.9%0%25%13
74.9%0%25%14
Compiler

Compiled 5 to 5 computations (0% saved)

sample52.0ms (1.6%)

Algorithm
1×intervals
Results
30.0ms90×body1024valid
7.0ms44×body512valid
3.0ms98×body128valid
3.0ms6×body2048valid
2.0ms18×body256valid
Compiler

Compiled 9 to 10 computations (-11.1% saved)

simplify95.0ms (2.9%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
076
176

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 8 to 8 computations (0% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

3.4b
(log.f64 (+.f64 1 x))

rewrite17.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
38.7b
Rules
4×log-prod_binary64_1187 *-un-lft-identity_binary64_1101
2×pow1_binary64_1162 log-div_binary64_1188 add-cube-cbrt_binary64_1136 add-sqr-sqrt_binary64_1123 add-exp-log_binary64_1139
1×log-pow_binary64_1190 flip3-+_binary64_1104 flip-+_binary64_1075 distribute-lft-out_binary64_1052 rem-log-exp_binary64_1142 add-log-exp_binary64_1140 add-cbrt-cube_binary64_1137
Counts
1 → 15
Calls

1 calls:

3.0ms
(log.f64 (+.f64 1 x))
Compiler

Compiled 152 to 124 computations (18.4% saved)

series38.0ms (1.1%)

Error
0.0b
Counts
1 → 8
Calls

1 calls:

29.0ms
(log.f64 (+.f64 1 x))
Compiler

Compiled 189 to 160 computations (15.3% saved)

simplify76.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
23 → 23
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
04905240
14905240

prune19.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New20323
Fresh000
Picked011
Done000
Total20424
Error
0.0b
Counts
24 → 4
Compiler

Compiled 216 to 159 computations (26.4% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 -1/2 (*.f64 x 1/3))
0.0b
(*.f64 x (+.f64 1 (*.f64 x (+.f64 -1/2 (*.f64 x 1/3)))))
0.1b
(*.f64 x (+.f64 -1/2 (*.f64 x 1/3)))
0.3b
(*.f64 x 1/3)

rewrite91.0ms (2.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
16×add-sqr-sqrt_binary64_1123
10×pow1_binary64_1162 add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137 add-cube-cbrt_binary64_1136 *-un-lft-identity_binary64_1101
9×associate-*l*_binary64_1042 associate-*r*_binary64_1041
6×add-log-exp_binary64_1140
4×associate-*r/_binary64_1043
3×pow-prod-down_binary64_1172 prod-exp_binary64_1150 cbrt-unprod_binary64_1134 unswap-sqr_binary64_1069 *-commutative_binary64_1032 flip3-+_binary64_1104 flip-+_binary64_1075
2×distribute-rgt-in_binary64_1051 distribute-lft-in_binary64_1050
1×sum-log_binary64_1192 +-commutative_binary64_1031
Counts
4 → 73
Calls

4 calls:

6.0ms
(*.f64 x (+.f64 -1/2 (*.f64 x 1/3)))
6.0ms
(*.f64 x (+.f64 1 (*.f64 x (+.f64 -1/2 (*.f64 x 1/3)))))
4.0ms
(*.f64 x 1/3)
3.0ms
(+.f64 -1/2 (*.f64 x 1/3))
Compiler

Compiled 1358 to 1018 computations (25% saved)

series148.0ms (4.5%)

Error
0.0b
Counts
4 → 20
Calls

4 calls:

51.0ms
(*.f64 x (+.f64 -1/2 (*.f64 x 1/3)))
36.0ms
(*.f64 x (+.f64 1 (*.f64 x (+.f64 -1/2 (*.f64 x 1/3)))))
28.0ms
(+.f64 -1/2 (*.f64 x 1/3))
20.0ms
(*.f64 x 1/3)
Compiler

Compiled 512 to 413 computations (19.3% saved)

simplify75.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
051111070

prune76.0ms (2.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New93093
Fresh022
Picked011
Done011
Total93497
Error
0.0b
Counts
97 → 4
Compiler

Compiled 1419 to 1028 computations (27.6% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(-.f64 x (*.f64 1/2 (*.f64 x x)))

rewrite13.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
3×add-log-exp_binary64_1140
1×diff-log_binary64_1193 pow1_binary64_1162 add-exp-log_binary64_1139 add-cbrt-cube_binary64_1137 add-cube-cbrt_binary64_1136 add-sqr-sqrt_binary64_1123 flip3--_binary64_1105 *-un-lft-identity_binary64_1101 sub-neg_binary64_1094 flip--_binary64_1076 cancel-sign-sub-inv_binary64_1067
Counts
1 → 12
Calls

1 calls:

3.0ms
(-.f64 x (*.f64 1/2 (*.f64 x x)))
Compiler

Compiled 187 to 99 computations (47.1% saved)

series50.0ms (1.5%)

Error
0.0b
Counts
1 → 6
Calls

1 calls:

47.0ms
(-.f64 x (*.f64 1/2 (*.f64 x x)))
Compiler

Compiled 85 to 71 computations (16.5% saved)

simplify69.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
18 → 18
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
04920225
14920225

prune13.0ms (0.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New18018
Fresh011
Picked011
Done022
Total18422
Error
0.0b
Counts
22 → 4
Compiler

Compiled 195 to 110 computations (43.6% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b
(-.f64 1 (*.f64 x x))
0.0b
(-.f64 (log.f64 (-.f64 1 (*.f64 x x))) (log.f64 (-.f64 1 x)))
2.3b
(log.f64 (-.f64 1 (*.f64 x x)))
3.4b
(log.f64 (-.f64 1 x))

rewrite105.0ms (3.2%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
22×log-prod_binary64_1187 *-un-lft-identity_binary64_1101
20×add-sqr-sqrt_binary64_1123
11×pow1_binary64_1162 difference-of-squares_binary64_1070
9×add-cube-cbrt_binary64_1136
8×log-div_binary64_1188
7×log-pow_binary64_1190
6×flip3--_binary64_1105 flip--_binary64_1076 distribute-lft-out--_binary64_1053 add-exp-log_binary64_1139 add-log-exp_binary64_1140 associate--r+_binary64_1037
5×cancel-sign-sub-inv_binary64_1067 associate--l+_binary64_1038
4×add-cbrt-cube_binary64_1137
2×rem-log-exp_binary64_1142 diff-log_binary64_1193 sub-neg_binary64_1094 associate--r-_binary64_1040 associate--l-_binary64_1039
Counts
4 → 82
Calls

4 calls:

10.0ms
(-.f64 (log.f64 (-.f64 1 (*.f64 x x))) (log.f64 (-.f64 1 x)))
4.0ms
(log.f64 (-.f64 1 x))
3.0ms
(-.f64 1 (*.f64 x x))
3.0ms
(log.f64 (-.f64 1 (*.f64 x x)))
Compiler

Compiled 1551 to 1051 computations (32.2% saved)

series188.0ms (5.7%)

Error
0.0b
Counts
4 → 27
Calls

4 calls:

59.0ms
(log.f64 (-.f64 1 (*.f64 x x)))
47.0ms
(-.f64 (log.f64 (-.f64 1 (*.f64 x x))) (log.f64 (-.f64 1 x)))
32.0ms
(-.f64 1 (*.f64 x x))
30.0ms
(log.f64 (-.f64 1 x))
Compiler

Compiled 862 to 718 computations (16.7% saved)

simplify85.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
052811508

prune92.0ms (2.8%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1081109
Fresh000
Picked101
Done033
Total1094113
Error
0b
Counts
113 → 4
Compiler

Compiled 1671 to 1129 computations (32.4% saved)

regimes107.0ms (3.2%)

Accuracy

Total 0.2b remaining (80.4%)

Threshold costs 0.2b (80.4%)

Compiler

Compiled 669 to 577 computations (13.8% saved)

bsearch2.0ms (0.1%)

Compiler

Compiled 3 to 3 computations (0% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04934
14934

end0.0ms (0%)

sample1.9s (56.4%)

Algorithm
1×intervals
Results
874.0ms2654×body1024valid
221.0ms1347×body512valid
108.0ms248×body2048valid
94.0ms3070×body128valid
57.0ms681×body256valid
Compiler

Compiled 232 to 197 computations (15.1% saved)

Profiling

Loading profile data...