Details

Time bar (total: 3.3s)

analyze4.0ms (0.1%)

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

Compiled 14 to 12 computations (14.3% saved)

sample15.0ms (0.4%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
Compiler

Compiled 27 to 24 computations (11.1% saved)

simplify136.0ms (4.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
061713
161713

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 31 to 27 computations (12.9% saved)

localize10.0ms (0.3%)

Local error

Found 6 expressions with local error:

0.1b
(*.f64 x (+.f64 12 (*.f64 x -9)))
0.0b
(-.f64 3 (*.f64 x (+.f64 12 (*.f64 x -9))))
0.0b
(+.f64 12 (*.f64 x -9))
0.0b
(+.f64 12 (*.f64 x -9))
0.0b
(-.f64 3 (*.f64 x (+.f64 12 (*.f64 x -9))))
0.1b
(*.f64 x (+.f64 12 (*.f64 x -9)))

rewrite14.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
7×add-log-exp_binary64_18872 add-sqr-sqrt_binary64_18855
5×add-cbrt-cube_binary64_18869 pow1_binary64_18894 *-un-lft-identity_binary64_18833 add-cube-cbrt_binary64_18868 add-exp-log_binary64_18871
3×associate-*r*_binary64_18773 associate-*l*_binary64_18774
2×distribute-lft-in_binary64_18782 associate-*r/_binary64_18775 associate--r+_binary64_18769 flip3-+_binary64_18836 distribute-rgt-in_binary64_18783 flip-+_binary64_18807
1×+-commutative_binary64_18763 pow-prod-down_binary64_18904 *-commutative_binary64_18764 sum-log_binary64_18924 cbrt-unprod_binary64_18866 diff-log_binary64_18925 flip--_binary64_18808 prod-exp_binary64_18882 flip3--_binary64_18837 unswap-sqr_binary64_18801 sub-neg_binary64_18826 cancel-sign-sub-inv_binary64_18799
Counts
3 → 47
Calls

6 calls:

6.0ms
(*.f64 x (+.f64 12 (*.f64 x -9)))
3.0ms
(-.f64 3 (*.f64 x (+.f64 12 (*.f64 x -9))))
3.0ms
(+.f64 12 (*.f64 x -9))
0.0ms
(+.f64 12 (*.f64 x -9))
0.0ms
(-.f64 3 (*.f64 x (+.f64 12 (*.f64 x -9))))

series143.0ms (4.3%)

Counts
3 → 21
Calls

3 calls:

68.0ms
(-.f64 3 (*.f64 x (+.f64 12 (*.f64 x -9))))
48.0ms
(*.f64 x (+.f64 12 (*.f64 x -9)))
27.0ms
(+.f64 12 (*.f64 x -9))
Compiler

Compiled 258 to 237 computations (8.1% saved)

simplify60.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
05215817

prune88.0ms (2.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New62668
Fresh011
Picked101
Done000
Total63770
Error
0.0b
Counts
70 → 7
Compiler

Compiled 985 to 782 computations (20.6% saved)

localize7.0ms (0.2%)

Local error

Found 6 expressions with local error:

0.2b
(*.f64 x (*.f64 x -9))
0.0b
(+.f64 (*.f64 x 12) (*.f64 x (*.f64 x -9)))
0.0b
(-.f64 3 (+.f64 (*.f64 x 12) (*.f64 x (*.f64 x -9))))
0.0b
(-.f64 3 (+.f64 (*.f64 x 12) (*.f64 x (*.f64 x -9))))
0.0b
(+.f64 (*.f64 x 12) (*.f64 x (*.f64 x -9)))
0.2b
(*.f64 x (*.f64 x -9))

rewrite19.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
10×add-log-exp_binary64_18872
8×add-cbrt-cube_binary64_18869 pow1_binary64_18894 add-exp-log_binary64_18871
7×*-un-lft-identity_binary64_18833 add-sqr-sqrt_binary64_18855
5×add-cube-cbrt_binary64_18868
4×cancel-sign-sub-inv_binary64_18799
3×pow-prod-down_binary64_18904 cbrt-unprod_binary64_18866 prod-exp_binary64_18882 associate-*l*_binary64_18774
2×sum-log_binary64_18924 diff-log_binary64_18925 distribute-lft-out_binary64_18784
1×+-commutative_binary64_18763 *-commutative_binary64_18764 associate--r+_binary64_18769 associate-*r*_binary64_18773 flip--_binary64_18808 flip3-+_binary64_18836 flip3--_binary64_18837 flip-+_binary64_18807 distribute-lft-out--_binary64_18785 difference-of-squares_binary64_18802 sub-neg_binary64_18826
Counts
3 → 49
Calls

6 calls:

6.0ms
(-.f64 3 (+.f64 (*.f64 x 12) (*.f64 x (*.f64 x -9))))
5.0ms
(*.f64 x (*.f64 x -9))
4.0ms
(+.f64 (*.f64 x 12) (*.f64 x (*.f64 x -9)))
0.0ms
(-.f64 3 (+.f64 (*.f64 x 12) (*.f64 x (*.f64 x -9))))
0.0ms
(+.f64 (*.f64 x 12) (*.f64 x (*.f64 x -9)))

series155.0ms (4.7%)

Counts
3 → 18
Calls

3 calls:

70.0ms
(-.f64 3 (+.f64 (*.f64 x 12) (*.f64 x (*.f64 x -9))))
59.0ms
(+.f64 (*.f64 x 12) (*.f64 x (*.f64 x -9)))
25.0ms
(*.f64 x (*.f64 x -9))
Compiler

Compiled 251 to 232 computations (7.6% saved)

simplify66.0ms (2%)

Algorithm
1×egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
05077809

prune55.0ms (1.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New67067
Fresh066
Picked011
Done000
Total67774
Error
0.0b
Counts
74 → 7
Compiler

Compiled 981 to 765 computations (22% saved)

localize8.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (*.f64 x 3) x)
0.1b
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
0.0b
(-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4))
0.0b
(+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1)
0.0b
(+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1)
0.0b
(-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4))
0.1b
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
0.2b
(*.f64 (*.f64 x 3) x)

rewrite36.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
11×add-cbrt-cube_binary64_18869 pow1_binary64_18894 add-log-exp_binary64_18872 *-un-lft-identity_binary64_18833 add-exp-log_binary64_18871
9×add-sqr-sqrt_binary64_18855
7×associate-*r*_binary64_18773 add-cube-cbrt_binary64_18868
4×pow-prod-down_binary64_18904 cbrt-unprod_binary64_18866 prod-exp_binary64_18882 associate-*l*_binary64_18774
2×*-commutative_binary64_18764 associate-*r/_binary64_18775 sum-log_binary64_18924 diff-log_binary64_18925 flip3-+_binary64_18836 associate-+l+_binary64_18766 flip-+_binary64_18807 distribute-lft-out_binary64_18784 sub-neg_binary64_18826 cancel-sign-sub-inv_binary64_18799
1×+-commutative_binary64_18763 distribute-lft-in_binary64_18782 associate-+l-_binary64_18768 flip--_binary64_18808 distribute-rgt-in_binary64_18783 flip3--_binary64_18837 unswap-sqr_binary64_18801
Counts
4 → 69
Calls

8 calls:

10.0ms
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
7.0ms
(+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1)
5.0ms
(*.f64 (*.f64 x 3) x)
5.0ms
(-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4))
0.0ms
(+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1)

series230.0ms (7%)

Counts
4 → 27
Calls

4 calls:

84.0ms
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
64.0ms
(+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1)
56.0ms
(-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4))
25.0ms
(*.f64 (*.f64 x 3) x)
Compiler

Compiled 405 to 379 computations (6.4% saved)

simplify69.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 0 (50.0ms)

IterNodesCost
049521255
149521255

prune94.0ms (2.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New95196
Fresh055
Picked101
Done011
Total967103
Error
0b
Counts
103 → 7
Compiler

Compiled 1594 to 1285 computations (19.4% saved)

localize11.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.1b
(*.f64 x (/.f64 (-.f64 144 (*.f64 x (*.f64 x 81))) (-.f64 12 (*.f64 x -9))))
0.0b
(-.f64 144 (*.f64 x (*.f64 x 81)))
0.0b
(-.f64 3 (*.f64 x (/.f64 (-.f64 144 (*.f64 x (*.f64 x 81))) (-.f64 12 (*.f64 x -9)))))
0.0b
(-.f64 12 (*.f64 x -9))
0.0b
(-.f64 3 (*.f64 x (/.f64 (-.f64 144 (*.f64 x (*.f64 x 81))) (-.f64 12 (*.f64 x -9)))))
0.1b
(*.f64 x (/.f64 (-.f64 144 (*.f64 x (*.f64 x 81))) (-.f64 12 (*.f64 x -9))))
0.2b
(*.f64 x (*.f64 x 81))
0.2b
(/.f64 (-.f64 144 (*.f64 x (*.f64 x 81))) (-.f64 12 (*.f64 x -9)))

rewrite37.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
26×add-sqr-sqrt_binary64_18855
21×*-un-lft-identity_binary64_18833 add-cube-cbrt_binary64_18868
19×times-frac_binary64_18839
16×add-cbrt-cube_binary64_18869 associate-*r*_binary64_18773 add-exp-log_binary64_18871
11×pow1_binary64_18894
6×add-log-exp_binary64_18872 associate-*l*_binary64_18774
5×cbrt-unprod_binary64_18866 prod-exp_binary64_18882
4×pow-prod-down_binary64_18904 flip--_binary64_18808 flip3--_binary64_18837 associate-/r/_binary64_18779
3×associate-/r*_binary64_18777 associate-/l*_binary64_18778
2×*-commutative_binary64_18764 div-inv_binary64_18830 cbrt-undiv_binary64_18867 associate-/l/_binary64_18780 unswap-sqr_binary64_18801 div-exp_binary64_18884
1×div-sub_binary64_18838 associate-*r/_binary64_18775 clear-num_binary64_18832 diff-log_binary64_18925 frac-2neg_binary64_18844 sub-neg_binary64_18826 cancel-sign-sub-inv_binary64_18799
Counts
4 → 96
Calls

8 calls:

13.0ms
(*.f64 x (/.f64 (-.f64 144 (*.f64 x (*.f64 x 81))) (-.f64 12 (*.f64 x -9))))
7.0ms
(/.f64 (-.f64 144 (*.f64 x (*.f64 x 81))) (-.f64 12 (*.f64 x -9)))
5.0ms
(*.f64 x (*.f64 x 81))
3.0ms
(-.f64 3 (*.f64 x (/.f64 (-.f64 144 (*.f64 x (*.f64 x 81))) (-.f64 12 (*.f64 x -9)))))
0.0ms
(-.f64 12 (*.f64 x -9))

series330.0ms (10%)

Counts
4 → 24
Calls

4 calls:

137.0ms
(-.f64 3 (*.f64 x (/.f64 (-.f64 144 (*.f64 x (*.f64 x 81))) (-.f64 12 (*.f64 x -9)))))
96.0ms
(*.f64 x (/.f64 (-.f64 144 (*.f64 x (*.f64 x 81))) (-.f64 12 (*.f64 x -9))))
73.0ms
(/.f64 (-.f64 144 (*.f64 x (*.f64 x 81))) (-.f64 12 (*.f64 x -9)))
24.0ms
(*.f64 x (*.f64 x 81))
Compiler

Compiled 360 to 327 computations (9.2% saved)

simplify73.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
049082507
149082507

prune145.0ms (4.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New1191120
Fresh145
Picked011
Done011
Total1207127
Error
0b
Counts
127 → 7
Compiler

Compiled 2712 to 2119 computations (21.9% saved)

simplify37.0ms (1.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
01062574
11062574

regimes45.0ms (1.4%)

Compiler

Compiled 390 to 332 computations (14.9% saved)

bsearch0.0ms (0%)

regimes19.0ms (0.6%)

Compiler

Compiled 60 to 57 computations (5% saved)

bsearch0.0ms (0%)

regimes14.0ms (0.4%)

Compiler

Compiled 42 to 41 computations (2.4% saved)

bsearch0.0ms (0%)

regimes27.0ms (0.8%)

Compiler

Compiled 28 to 29 computations (-3.6% saved)

bsearch19.0ms (0.6%)

Steps
ItersRangePoint
4
0.46041642693548235
0.694616828524831
0.5833920888216977
8
-34.482342047437854
-0.12208613939130855
-0.5794851105037966
Compiler

Compiled 1 to 1 computations (0% saved)

regimes25.0ms (0.8%)

Compiler

Compiled 21 to 23 computations (-9.5% saved)

bsearch23.0ms (0.7%)

Steps
ItersRangePoint
5
0.694616828524831
2.717440551790354
0.9869624985097121
8
-34.482342047437854
-0.12208613939130855
-1.5553162295378504
Compiler

Compiled 1 to 1 computations (0% saved)

regimes25.0ms (0.8%)

Compiler

Compiled 16 to 19 computations (-18.8% saved)

bsearch21.0ms (0.6%)

Steps
ItersRangePoint
5
0.694616828524831
2.717440551790354
0.9869624985097121
8
-34.482342047437854
-0.12208613939130855
-1.5553162295378504
Compiler

Compiled 1 to 1 computations (0% saved)

regimes23.0ms (0.7%)

Compiler

Compiled 11 to 14 computations (-27.3% saved)

bsearch27.0ms (0.8%)

Steps
ItersRangePoint
10
8.563846972629209e-15
0.46041642693548235
0.19643895996024488
8
-34.482342047437854
-0.12208613939130855
-0.5794851105037966
Compiler

Compiled 1 to 1 computations (0% saved)

regimes8.0ms (0.2%)

Compiler

Compiled 6 to 10 computations (-66.7% saved)

bsearch0.0ms (0%)

regimes8.0ms (0.2%)

Accuracy

Total 0.1b remaining (98.4%)

Threshold costs 0.1b (98.4%)

Compiler

Compiled 5 to 8 computations (-60% saved)

bsearch9.0ms (0.3%)

Compiler

Compiled 121 to 94 computations (22.3% saved)

simplify5.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0111155
1111155

end0.0ms (0%)

sample1.2s (35.2%)

Algorithm
1×intervals
Results
268.0ms8000×body128valid
0.0ms1×body128invalid
Compiler

Compiled 520 to 440 computations (15.4% saved)

Pareto

0.5381793176991323

Profiling

Loading profile data...