Details

Time bar (total: 2.1s)

analyze57.0ms (2.7%)

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 15 to 12 computations (20% saved)

sample20.0ms (0.9%)

Algorithm
1×intervals
Results
13.0ms256×body128valid
Compiler

Compiled 30 to 24 computations (20% saved)

simplify44.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
154×cancel-sign-sub-inv_binary64
107×distribute-rgt-in_binary64
92×sub-neg_binary64
83×associate-*r*_binary64
81×associate-*l*_binary64
Counts
1 → 1
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01119
13116
26116
313313
421113
528413
643513
762713
873313
974513
1076613
1175213
1275213
1361713

prune4.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 2
Alt Table
StatusErrorProgram
▶0.1b
(+.f64 3 (*.f64 x (-.f64 -12 (*.f64 x -9))))
0.2b
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
Compiler

Compiled 58 to 46 computations (20.7% saved)

localize5.0ms (0.3%)

Local error

Found 3 expressions with local error:

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)))

rewrite81.0ms (3.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
7×add-log-exp_binary64 add-sqr-sqrt_binary64
5×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-cube-cbrt_binary64 *-un-lft-identity_binary64 sub-neg_binary64 cancel-sign-sub-inv_binary64
4×distribute-rgt-in_binary64 distribute-lft-in_binary64 associate-+r+_binary64
3×associate-*l*_binary64 associate-*r*_binary64
2×flip3--_binary64 associate-*r/_binary64 flip--_binary64
Counts
3 → 51
Calls

3 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))
Compiler

Compiled 826 to 654 computations (20.8% saved)

series51.0ms (2.4%)

Error
0.0b
Counts
3 → 21
Calls

3 calls:

16.0ms
(+.f64 3 (*.f64 x (-.f64 -12 (*.f64 x -9))))
11.0ms
(*.f64 x (-.f64 -12 (*.f64 x -9)))
9.0ms
(-.f64 -12 (*.f64 x -9))
Compiler

Compiled 364 to 298 computations (18.1% saved)

simplify88.0ms (4.1%)

Algorithm
1×egg-herbie
Rules
439×associate-*l*_binary64
393×associate-+l+_binary64
358×associate-*r*_binary64
329×cancel-sign-sub-inv_binary64
242×distribute-rgt-neg-out_binary64
Counts
72 → 61
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
096916
1230844
2643841
32417841
44876841
54924841

prune54.0ms (2.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New58361
Fresh011
Picked101
Done000
Total59463
Error
0.0b
Counts
63 → 4
Alt Table
StatusErrorProgram
0.1b
(+.f64 (+.f64 (*.f64 -12 x) 3) (*.f64 (neg.f64 (*.f64 x -9)) x))
9.1b
(+.f64 3 (/.f64 (+.f64 (*.f64 x 144) (*.f64 (pow.f64 x 3) -81)) (+.f64 -12 (*.f64 x -9))))
▶0.1b
(+.f64 3 (+.f64 (*.f64 -12 x) (*.f64 9 (*.f64 x x))))
0.2b
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
Compiler

Compiled 730 to 573 computations (21.5% saved)

localize6.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

rewrite64.0ms (3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
10×add-log-exp_binary64
8×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
6×*-un-lft-identity_binary64
5×add-sqr-sqrt_binary64
4×add-cube-cbrt_binary64 sum-log_binary64
Counts
3 → 44
Calls

3 calls:

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

Compiled 799 to 535 computations (33% saved)

series43.0ms (2%)

Error
0.0b
Counts
3 → 18
Calls

3 calls:

18.0ms
(+.f64 3 (+.f64 (*.f64 -12 x) (*.f64 9 (*.f64 x x))))
13.0ms
(+.f64 (*.f64 -12 x) (*.f64 9 (*.f64 x x)))
7.0ms
(*.f64 9 (*.f64 x x))
Compiler

Compiled 344 to 286 computations (16.9% saved)

simplify87.0ms (4.1%)

Algorithm
1×egg-herbie
Rules
533×associate-*l*_binary64
475×distribute-rgt-out_binary64
431×associate-*r*_binary64
319×distribute-rgt-neg-in_binary64
264×distribute-lft-neg-in_binary64
Counts
62 → 44
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
087898
1247751
2717733
32785730
44794730
54932730

prune36.0ms (1.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New44044
Fresh033
Picked011
Done000
Total44448
Error
0.0b
Counts
48 → 4
Alt Table
StatusErrorProgram
▶0.1b
(+.f64 (+.f64 (*.f64 -12 x) 3) (*.f64 (neg.f64 (*.f64 x -9)) x))
9.1b
(+.f64 3 (/.f64 (+.f64 (*.f64 x 144) (*.f64 (pow.f64 x 3) -81)) (+.f64 -12 (*.f64 x -9))))
✓0.1b
(+.f64 3 (+.f64 (*.f64 -12 x) (*.f64 9 (*.f64 x x))))
0.2b
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
Compiler

Compiled 527 to 410 computations (22.2% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

rewrite72.0ms (3.3%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
10×add-log-exp_binary64
7×add-sqr-sqrt_binary64
6×associate-*l*_binary64
5×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-cube-cbrt_binary64 *-un-lft-identity_binary64
4×sum-log_binary64
Counts
3 → 47
Calls

3 calls:

7.0ms
(+.f64 (+.f64 (*.f64 -12 x) 3) (*.f64 (neg.f64 (*.f64 x -9)) x))
4.0ms
(*.f64 (neg.f64 (*.f64 x -9)) x)
4.0ms
(+.f64 (*.f64 -12 x) 3)
Compiler

Compiled 888 to 686 computations (22.7% saved)

series41.0ms (1.9%)

Error
0.0b
Counts
3 → 18
Calls

3 calls:

16.0ms
(+.f64 (+.f64 (*.f64 -12 x) 3) (*.f64 (neg.f64 (*.f64 x -9)) x))
8.0ms
(+.f64 (*.f64 -12 x) 3)
7.0ms
(*.f64 (neg.f64 (*.f64 x -9)) x)
Compiler

Compiled 366 to 293 computations (19.9% saved)

simplify104.0ms (4.9%)

Algorithm
1×egg-herbie
Rules
623×unsub-neg_binary64
447×distribute-rgt-neg-out_binary64
270×distribute-rgt-in_binary64
269×times-frac_binary64
266×*-commutative_binary64
Counts
65 → 53
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
091815
1258776
2908716
32728705
44365705
54989705
64854705

prune47.0ms (2.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New53053
Fresh022
Picked011
Done011
Total53457
Error
0.0b
Counts
57 → 4
Alt Table
StatusErrorProgram
✓0.1b
(+.f64 (+.f64 (*.f64 -12 x) 3) (*.f64 (neg.f64 (*.f64 x -9)) x))
9.1b
(+.f64 3 (/.f64 (+.f64 (*.f64 x 144) (*.f64 (pow.f64 x 3) -81)) (+.f64 -12 (*.f64 x -9))))
✓0.1b
(+.f64 3 (+.f64 (*.f64 -12 x) (*.f64 9 (*.f64 x x))))
▶0.2b
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
Compiler

Compiled 710 to 536 computations (24.5% saved)

localize8.0ms (0.4%)

Local error

Found 4 expressions with local error:

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.1b
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
0.2b
(*.f64 (*.f64 x 3) x)

rewrite108.0ms (5%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
11×pow1_binary64 add-exp-log_binary64 add-log-exp_binary64 add-cbrt-cube_binary64 *-un-lft-identity_binary64
9×add-sqr-sqrt_binary64
7×add-cube-cbrt_binary64 associate-*r*_binary64
4×pow-prod-down_binary64 prod-exp_binary64 cbrt-unprod_binary64 associate-*l*_binary64
2×*-commutative_binary64 flip3-+_binary64 associate-*r/_binary64 flip-+_binary64 distribute-lft-out_binary64 diff-log_binary64 sum-log_binary64 sub-neg_binary64 associate-+l+_binary64 cancel-sign-sub-inv_binary64
Counts
4 → 69
Calls

4 calls:

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

Compiled 1436 to 1108 computations (22.8% saved)

series71.0ms (3.3%)

Error
0.0b
Counts
4 → 27
Calls

4 calls:

18.0ms
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
17.0ms
(+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1)
13.0ms
(-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4))
9.0ms
(*.f64 (*.f64 x 3) x)
Compiler

Compiled 559 to 476 computations (14.8% saved)

simplify99.0ms (4.6%)

Algorithm
1×egg-herbie
Rules
336×distribute-rgt-in_binary64
330×distribute-lft-in_binary64
273×*-commutative_binary64
259×+-commutative_binary64
206×cancel-sign-sub-inv_binary64
Counts
96 → 81
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01241593
13161284
28821257
323781255
445451255
549511255

prune68.0ms (3.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New81081
Fresh011
Picked011
Done022
Total81485
Error
0.0b
Counts
85 → 4
Alt Table
StatusErrorProgram
0.1b
(+.f64 (+.f64 (*.f64 -12 x) 3) (*.f64 (neg.f64 (*.f64 x -9)) x))
9.1b
(+.f64 3 (/.f64 (+.f64 (*.f64 x 144) (*.f64 (pow.f64 x 3) -81)) (+.f64 -12 (*.f64 x -9))))
0.1b
(+.f64 3 (+.f64 (*.f64 -12 x) (*.f64 9 (*.f64 x x))))
0.2b
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
Compiler

Compiled 1014 to 805 computations (20.6% saved)

regimes348.0ms (16.3%)

Accuracy

Total 0.1b remaining (88.7%)

Threshold costs 0.1b (88.7%)

Compiler

Compiled 4032 to 3217 computations (20.2% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×*-commutative_binary64 +-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01016
11416
21416

end1.0ms (0%)

Compiler

Compiled 12 to 9 computations (25% saved)

sample520.0ms (24.3%)

Algorithm
1×intervals
Results
259.0ms8000×body128valid
0.0ms3×body128invalid
Compiler

Compiled 85 to 67 computations (21.2% saved)

Profiling

Loading profile data...