Details

Time bar (total: 1.3s)

analyze58.0ms (4.6%)

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)

sample14.0ms (1.1%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
Compiler

Compiled 30 to 24 computations (20% saved)

simplify45.0ms (3.5%)

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.3%)

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 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
▶0.1b
(+.f64 3 (*.f64 x (-.f64 -12 (*.f64 x -9))))
Compiler

Compiled 58 to 46 computations (20.7% saved)

localize6.0ms (0.5%)

Local error

Found 1 expressions with local error:

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

rewrite36.0ms (2.9%)

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

1 calls:

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

Compiled 367 to 286 computations (22.1% saved)

series15.0ms (1.2%)

Error
0.0b
Counts
1 → 6
Calls

1 calls:

11.0ms
(*.f64 x (-.f64 -12 (*.f64 x -9)))
Compiler

Compiled 118 to 99 computations (16.1% saved)

simplify94.0ms (7.5%)

Algorithm
1×egg-herbie
Rules
500×distribute-rgt-neg-out_binary64
482×distribute-lft-neg-out_binary64
322×*-commutative_binary64
312×associate-*l*_binary64
296×distribute-neg-out_binary64
Counts
30 → 20
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
061407
1138350
2410350
31315350
42120350
54882350
64999350
74876350

prune17.0ms (1.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New18220
Fresh011
Picked011
Done000
Total18422
Error
0.0b
Counts
22 → 4
Alt Table
StatusErrorProgram
0.1b
(*.f64 3 (+.f64 (-.f64 (*.f64 (*.f64 x 3) x) (*.f64 x 4)) 1))
7.9b
(+.f64 3 (/.f64 (*.f64 x (-.f64 144 (*.f64 x (*.f64 x 81)))) (+.f64 -12 (*.f64 x -9))))
✓0.1b
(+.f64 3 (*.f64 x (-.f64 -12 (*.f64 x -9))))
▶0.1b
(+.f64 3 (+.f64 (*.f64 -12 x) (*.f64 9 (*.f64 x x))))
Compiler

Compiled 261 to 198 computations (24.1% saved)

localize6.0ms (0.5%)

Local error

Found 2 expressions with local error:

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

rewrite42.0ms (3.3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
7×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
4×add-log-exp_binary64 add-sqr-sqrt_binary64
3×pow-prod-down_binary64 prod-exp_binary64 add-cube-cbrt_binary64 cbrt-unprod_binary64 *-un-lft-identity_binary64 associate-*l*_binary64
1×unswap-sqr_binary64 associate-*r*_binary64 *-commutative_binary64 sum-log_binary64 flip3-+_binary64 flip-+_binary64 +-commutative_binary64
Counts
2 → 30
Calls

2 calls:

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

Compiled 511 to 339 computations (33.7% saved)

series23.0ms (1.9%)

Error
0.0b
Counts
2 → 9
Calls

2 calls:

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

simplify76.0ms (6%)

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

Useful iterations: 3 (0.0ms)

IterNodesCost
062490
1170415
2484397
31761394
44697394
55061394

prune20.0ms (1.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New24125
Fresh202
Picked011
Done011
Total26329
Error
0.0b
Counts
29 → 3
Alt Table
StatusErrorProgram
▶0.2b
(+.f64 3 (+.f64 (*.f64 -12 x) (*.f64 (*.f64 x 3) (*.f64 x 3))))
✓0.1b
(+.f64 3 (*.f64 x (-.f64 -12 (*.f64 x -9))))
✓0.1b
(+.f64 3 (+.f64 (*.f64 -12 x) (*.f64 9 (*.f64 x x))))
Compiler

Compiled 282 to 216 computations (23.4% saved)

localize6.0ms (0.5%)

Local error

Found 2 expressions with local error:

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

rewrite53.0ms (4.2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
41×pow1_binary64
17×pow-prod-down_binary64
14×add-exp-log_binary64 add-cbrt-cube_binary64
8×prod-exp_binary64 cbrt-unprod_binary64
4×pow-prod-up_binary64 add-log-exp_binary64 pow-sqr_binary64
Counts
2 → 45
Calls

2 calls:

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

Compiled 707 to 545 computations (22.9% saved)

series23.0ms (1.8%)

Error
0.0b
Counts
2 → 9
Calls

2 calls:

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

Compiled 201 to 168 computations (16.4% saved)

simplify99.0ms (7.9%)

Algorithm
1×egg-herbie
Rules
317×distribute-rgt-in_binary64
294×distribute-lft-in_binary64
292×distribute-lft-out_binary64
290×distribute-rgt-neg-in_binary64
278×cancel-sign-sub-inv_binary64
Counts
54 → 47
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
064533
1181440
2654424
31667424
44523424
54996424
64922424

prune22.0ms (1.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New47047
Fresh000
Picked011
Done022
Total47350
Error
0.0b
Counts
50 → 3
Alt Table
StatusErrorProgram
0.2b
(+.f64 3 (+.f64 (*.f64 -12 x) (*.f64 (*.f64 x 3) (*.f64 x 3))))
0.1b
(+.f64 3 (*.f64 x (-.f64 -12 (*.f64 x -9))))
0.1b
(+.f64 3 (+.f64 (*.f64 -12 x) (*.f64 9 (*.f64 x x))))
Compiler

Compiled 336 to 254 computations (24.4% saved)

regimes114.0ms (9%)

Accuracy

Total 0.1b remaining (81.8%)

Threshold costs 0.1b (81.8%)

Compiler

Compiled 1396 to 1104 computations (20.9% saved)

simplify3.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
4×*-commutative_binary64 +-commutative_binary64
3×sub-neg_binary64
2×neg-mul-1_binary64 neg-sub0_binary64 cancel-sign-sub-inv_binary64 distribute-rgt-neg-in_binary64
1×distribute-lft-neg-out_binary64 distribute-lft-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0913
11713
22813
33213
43413
53313

end1.0ms (0%)

Compiler

Compiled 10 to 8 computations (20% saved)

sample484.0ms (38.4%)

Algorithm
1×intervals
Results
244.0ms8000×body128valid
0.0ms4×body128invalid
Compiler

Compiled 62 to 49 computations (21% saved)

Profiling

Loading profile data...