Details

Time bar (total: 1.5s)

analyze63.0ms (4.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 15 to 12 computations (20% saved)

sample19.0ms (1.2%)

Algorithm
1×intervals
Results
13.0ms256×body128valid
Compiler

Compiled 30 to 24 computations (20% saved)

simplify60.0ms (3.9%)

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

prune3.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.1b
(*.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 2 expressions with local error:

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

rewrite38.0ms (2.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
6×add-sqr-sqrt_binary64
4×*-un-lft-identity_binary64
4×add-cube-cbrt_binary64
4×add-cbrt-cube_binary64
4×add-log-exp_binary64
Counts
2 → 36
Calls

2 calls:

4.0ms
(*.f64 x (-.f64 -12 (*.f64 x -9)))
2.0ms
(-.f64 -12 (*.f64 x -9))
Compiler

Compiled 558 to 442 computations (20.8% saved)

series23.0ms (1.5%)

Error
0.0b
Counts
2 → 12
Calls

2 calls:

10.0ms
(*.f64 x (-.f64 -12 (*.f64 x -9)))
6.0ms
(-.f64 -12 (*.f64 x -9))
Compiler

Compiled 221 to 180 computations (18.6% saved)

simplify78.0ms (5.1%)

Algorithm
1×egg-herbie
Rules
534×distribute-neg-out_binary64
458×unsub-neg_binary64
333×associate-*l*_binary64
327×neg-sub0_binary64
317×neg-mul-1_binary64
Counts
48 → 41
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
071587
1158515
2461512
31439512
42671512
54913512
64888512

prune24.0ms (1.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New39241
Fresh101
Picked011
Done000
Total40343
Error
0b
Counts
43 → 3
Alt Table
StatusErrorProgram
✓0.1b
(+.f64 3 (*.f64 x (-.f64 -12 (*.f64 x -9))))
0.1b
(+.f64 3 (*.f64 x (/.f64 (-.f64 144 (*.f64 x (*.f64 x 81))) (+.f64 -12 (*.f64 x -9)))))
▶0.1b
(+.f64 3 (+.f64 (*.f64 -12 x) (*.f64 9 (*.f64 x x))))
Compiler

Compiled 467 to 366 computations (21.6% saved)

localize7.0ms (0.5%)

Local error

Found 2 expressions with local error:

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

rewrite29.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
7×add-cbrt-cube_binary64
7×add-exp-log_binary64
7×pow1_binary64
4×add-sqr-sqrt_binary64
4×add-log-exp_binary64
Counts
2 → 30
Calls

2 calls:

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

Compiled 511 to 339 computations (33.7% saved)

series18.0ms (1.1%)

Error
0b
Counts
2 → 9
Calls

2 calls:

9.0ms
(+.f64 (*.f64 -12 x) (*.f64 9 (*.f64 x x)))
7.0ms
(*.f64 9 (*.f64 x x))
Compiler

Compiled 201 to 168 computations (16.4% saved)

simplify73.0ms (4.7%)

Algorithm
1×egg-herbie
Rules
452×associate-*l*_binary64
395×distribute-rgt-in_binary64
395×distribute-rgt-out_binary64
357×distribute-lft-in_binary64
353×associate-*r*_binary64
Counts
39 → 25
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
062490
1170415
2484397
31761394
44697394
55060394

prune14.0ms (0.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New25025
Fresh011
Picked011
Done011
Total25328
Error
0b
Counts
28 → 3
Alt Table
StatusErrorProgram
✓0.1b
(+.f64 3 (*.f64 x (-.f64 -12 (*.f64 x -9))))
▶0.1b
(+.f64 3 (*.f64 x (/.f64 (-.f64 144 (*.f64 x (*.f64 x 81))) (+.f64 -12 (*.f64 x -9)))))
✓0.1b
(+.f64 3 (+.f64 (*.f64 -12 x) (*.f64 9 (*.f64 x x))))
Compiler

Compiled 290 to 222 computations (23.4% saved)

localize11.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

rewrite105.0ms (6.8%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
26×add-sqr-sqrt_binary64
21×*-un-lft-identity_binary64
21×add-cube-cbrt_binary64
19×times-frac_binary64
16×associate-*r*_binary64
Counts
4 → 96
Calls

4 calls:

11.0ms
(*.f64 x (/.f64 (-.f64 144 (*.f64 x (*.f64 x 81))) (+.f64 -12 (*.f64 x -9))))
5.0ms
(/.f64 (-.f64 144 (*.f64 x (*.f64 x 81))) (+.f64 -12 (*.f64 x -9)))
4.0ms
(*.f64 x (*.f64 x 81))
2.0ms
(-.f64 144 (*.f64 x (*.f64 x 81)))
Compiler

Compiled 2623 to 2035 computations (22.4% saved)

series47.0ms (3.1%)

Error
0b
Counts
4 → 21
Calls

4 calls:

14.0ms
(*.f64 x (/.f64 (-.f64 144 (*.f64 x (*.f64 x 81))) (+.f64 -12 (*.f64 x -9))))
10.0ms
(/.f64 (-.f64 144 (*.f64 x (*.f64 x 81))) (+.f64 -12 (*.f64 x -9)))
10.0ms
(-.f64 144 (*.f64 x (*.f64 x 81)))
7.0ms
(*.f64 x (*.f64 x 81))
Compiler

Compiled 524 to 431 computations (17.7% saved)

simplify105.0ms (6.8%)

Algorithm
1×egg-herbie
Rules
550×associate-*l/_binary64
434×associate-/l*_binary64
228×distribute-rgt-in_binary64
219×distribute-lft-in_binary64
202×associate-*l*_binary64
Counts
117 → 103
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01612478
14132231
214952201
348212201
448832201

prune59.0ms (3.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1030103
Fresh000
Picked011
Done022
Total1033106
Error
0b
Counts
106 → 3
Alt Table
StatusErrorProgram
0.1b
(+.f64 3 (*.f64 x (-.f64 -12 (*.f64 x -9))))
0.1b
(+.f64 3 (*.f64 x (/.f64 (-.f64 144 (*.f64 x (*.f64 x 81))) (+.f64 -12 (*.f64 x -9)))))
0.1b
(+.f64 3 (+.f64 (*.f64 -12 x) (*.f64 9 (*.f64 x x))))
Compiler

Compiled 2005 to 1482 computations (26.1% saved)

regimes113.0ms (7.3%)

Accuracy

Total 0.1b remaining (76.7%)

Threshold costs 0.1b (76.7%)

Compiler

Compiled 1868 to 1460 computations (21.8% saved)

simplify3.0ms (0.2%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01016
11416
21416

end0.0ms (0%)

Compiler

Compiled 12 to 9 computations (25% saved)

sample645.0ms (41.9%)

Algorithm
1×intervals
Results
389.0ms8000×body128valid
0.0ms2×body128invalid
Compiler

Compiled 68 to 53 computations (22.1% saved)

Profiling

Loading profile data...