Details

Time bar (total: 5.1s)

analyze351.0ms (6.9%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
50%50%0%4
50%50%0%5
50%50%0%6
50%50%0%7
50%50%0%8
50%50%0%9
50%50%0%10
50%50%0%11
50%49.9%0%12
99.6%0.3%0%13
99.9%0%0%14
Compiler

Compiled 30 to 27 computations (10% saved)

sample27.0ms (0.5%)

Algorithm
1×intervals
Results
17.0ms256×body128valid
Compiler

Compiled 59 to 54 computations (8.5% saved)

simplify153.0ms (3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
0489225
1489225

prune9.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
Compiler

Compiled 63 to 58 computations (7.9% saved)

localize10.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
0.0b
(+.f64 (/.f64 4 (+.f64 1 t)) -8)
0.0b
(/.f64 1 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6))
0.0b
(-.f64 1 (/.f64 1 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6)))
0.0b
(/.f64 1 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6))
0.0b
(-.f64 1 (/.f64 1 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6)))
0.0b
(+.f64 (/.f64 4 (+.f64 1 t)) -8)
0.0b
(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))

rewrite90.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Rules
75×*-un-lft-identity_binary64_737
44×times-frac_binary64_743
42×add-sqr-sqrt_binary64_759
31×add-cube-cbrt_binary64_772
18×cancel-sign-sub-inv_binary64_703 distribute-lft-out_binary64_688
10×add-exp-log_binary64_775
8×add-cbrt-cube_binary64_773 add-log-exp_binary64_776 associate-/r*_binary64_681
7×associate-/l*_binary64_682
6×associate-/r/_binary64_683 difference-of-squares_binary64_706
5×flip3-+_binary64_740 pow1_binary64_798 flip-+_binary64_711
4×div-inv_binary64_734
3×div-exp_binary64_788
2×frac-2neg_binary64_748 clear-num_binary64_736 distribute-lft-out--_binary64_689 cbrt-undiv_binary64_771 associate-/l/_binary64_684
1×diff-log_binary64_829 1-exp_binary64_781 sub-neg_binary64_730 inv-pow_binary64_822 pow-flip_binary64_811 flip3--_binary64_741 flip--_binary64_712 +-commutative_binary64_667 sum-log_binary64_828 rec-exp_binary64_787
Counts
4 → 126
Calls

8 calls:

27.0ms
(-.f64 1 (/.f64 1 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6)))
24.0ms
(/.f64 1 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6))
15.0ms
(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
10.0ms
(+.f64 (/.f64 4 (+.f64 1 t)) -8)
0.0ms
(-.f64 1 (/.f64 1 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6)))

series162.0ms (3.2%)

Counts
4 → 46
Calls

4 calls:

44.0ms
(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
42.0ms
(-.f64 1 (/.f64 1 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6)))
42.0ms
(/.f64 1 (+.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6))
34.0ms
(+.f64 (/.f64 4 (+.f64 1 t)) -8)
Compiler

Compiled 763 to 719 computations (5.8% saved)

simplify100.0ms (2%)

Algorithm
1×egg-herbie
Counts
172 → 172
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
048334080
148334080

prune476.0ms (9.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1702172
Fresh101
Picked101
Done000
Total1722174
Error
0b
Counts
174 → 2
Compiler

Compiled 3954 to 3430 computations (13.3% saved)

localize11.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (/.f64 1 (+.f64 1 t)))
0.0b
(+.f64 (/.f64 4 (+.f64 1 t)) -8)
0.0b
(/.f64 1 (+.f64 (*.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (/.f64 1 (+.f64 1 t))) 6))
0.0b
(-.f64 1 (/.f64 1 (+.f64 (*.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (/.f64 1 (+.f64 1 t))) 6)))
0.0b
(/.f64 1 (+.f64 (*.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (/.f64 1 (+.f64 1 t))) 6))
0.0b
(-.f64 1 (/.f64 1 (+.f64 (*.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (/.f64 1 (+.f64 1 t))) 6)))
0.0b
(+.f64 (/.f64 4 (+.f64 1 t)) -8)
0.0b
(*.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (/.f64 1 (+.f64 1 t)))

rewrite91.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Rules
47×*-un-lft-identity_binary64_737
46×add-sqr-sqrt_binary64_759
36×times-frac_binary64_743
28×add-cube-cbrt_binary64_772
18×associate-*r*_binary64_677
17×add-exp-log_binary64_775
15×cancel-sign-sub-inv_binary64_703
11×add-cbrt-cube_binary64_773
8×add-log-exp_binary64_776
7×pow1_binary64_798
6×associate-/r/_binary64_683 flip3-+_binary64_740 flip-+_binary64_711 difference-of-squares_binary64_706
5×distribute-lft-out_binary64_688
4×prod-exp_binary64_786 div-inv_binary64_734 div-exp_binary64_788 associate-*l*_binary64_678
3×unswap-sqr_binary64_705 associate-/l*_binary64_682 associate-/r*_binary64_681
2×frac-times_binary64_747 cbrt-unprod_binary64_770 associate-*l/_binary64_680 distribute-lft-out--_binary64_689 1-exp_binary64_781 cbrt-undiv_binary64_771 rec-exp_binary64_787
1×diff-log_binary64_829 frac-2neg_binary64_748 clear-num_binary64_736 sub-neg_binary64_730 inv-pow_binary64_822 pow-flip_binary64_811 flip3--_binary64_741 flip--_binary64_712 +-commutative_binary64_667 sum-log_binary64_828 pow-prod-down_binary64_808 *-commutative_binary64_668 un-div-inv_binary64_735 associate-*r/_binary64_679
Counts
4 → 125
Calls

8 calls:

28.0ms
(-.f64 1 (/.f64 1 (+.f64 (*.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (/.f64 1 (+.f64 1 t))) 6)))
21.0ms
(*.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (/.f64 1 (+.f64 1 t)))
19.0ms
(/.f64 1 (+.f64 (*.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (/.f64 1 (+.f64 1 t))) 6))
10.0ms
(+.f64 (/.f64 4 (+.f64 1 t)) -8)
0.0ms
(-.f64 1 (/.f64 1 (+.f64 (*.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (/.f64 1 (+.f64 1 t))) 6)))

series164.0ms (3.2%)

Counts
4 → 46
Calls

4 calls:

43.0ms
(*.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (/.f64 1 (+.f64 1 t)))
43.0ms
(-.f64 1 (/.f64 1 (+.f64 (*.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (/.f64 1 (+.f64 1 t))) 6)))
42.0ms
(/.f64 1 (+.f64 (*.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (/.f64 1 (+.f64 1 t))) 6))
35.0ms
(+.f64 (/.f64 4 (+.f64 1 t)) -8)
Compiler

Compiled 787 to 743 computations (5.6% saved)

simplify106.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
171 → 171
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
048973892
148973892

prune249.0ms (4.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1710171
Fresh011
Picked011
Done000
Total1712173
Error
0b
Counts
173 → 2
Compiler

Compiled 4000 to 3483 computations (12.9% saved)

localize17.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.0b
(+.f64 (/.f64 4 (+.f64 1 t)) -8)
0.0b
(+.f64 (/.f64 4 (+.f64 1 t)) -8)
0.0b
(*.f64 (/.f64 1 (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))) 36)) (-.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6))
0.0b
(-.f64 1 (*.f64 (/.f64 1 (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))) 36)) (-.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6)))
0.0b
(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
0.0b
(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
0.0b
(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
0.1b
(*.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)))

rewrite130.0ms (2.6%)

Algorithm
1×rewrite-expression-head
Rules
290×*-un-lft-identity_binary64_737
156×times-frac_binary64_743
94×distribute-lft-out_binary64_688
90×add-sqr-sqrt_binary64_759
78×add-cube-cbrt_binary64_772
42×swap-sqr_binary64_704
22×add-cbrt-cube_binary64_773 add-exp-log_binary64_775 associate-*l*_binary64_678 associate-*r*_binary64_677
14×associate-/r/_binary64_683
12×associate-/l*_binary64_682 associate-/r*_binary64_681
11×pow1_binary64_798
10×flip3-+_binary64_740 flip-+_binary64_711
7×div-inv_binary64_734 cbrt-undiv_binary64_771 div-exp_binary64_788
6×associate-/l/_binary64_684
4×unswap-sqr_binary64_705 add-log-exp_binary64_776 cbrt-unprod_binary64_770 prod-exp_binary64_786
3×frac-2neg_binary64_748 clear-num_binary64_736
1×frac-times_binary64_747 associate-*l/_binary64_680 pow-prod-up_binary64_807 pow2_binary64_818 pow-plus_binary64_800 pow-sqr_binary64_710 pow-prod-down_binary64_808 *-commutative_binary64_668 associate-*r/_binary64_679
Counts
4 → 234
Calls

8 calls:

41.0ms
(*.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)))
19.0ms
(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
16.0ms
(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
15.0ms
(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
0.0ms
(-.f64 1 (*.f64 (/.f64 1 (-.f64 (*.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))) 36)) (-.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) 6)))

series221.0ms (4.4%)

Counts
4 → 44
Calls

4 calls:

64.0ms
(*.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)) (/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t)))
52.0ms
(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
52.0ms
(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
52.0ms
(/.f64 (+.f64 (/.f64 4 (+.f64 1 t)) -8) (+.f64 1 t))
Compiler

Compiled 2096 to 1872 computations (10.7% saved)

simplify118.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
278 → 278
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
049387383
149387383

prune1.3s (25.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New2780278
Fresh000
Picked011
Done011
Total2782280
Error
0b
Counts
280 → 2
Compiler

Compiled 13530 to 11615 computations (14.2% saved)

regimes274.0ms (5.4%)

Accuracy

Total 0.0b remaining (82.4%)

Threshold costs 0.0b (82.4%)

Compiler

Compiled 2539 to 2343 computations (7.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03928
13928

end0.0ms (0%)

sample1.0s (19.8%)

Algorithm
1×intervals
Results
556.0ms8000×body128valid
Compiler

Compiled 308 to 285 computations (7.5% saved)

Pareto

0

Profiling

Loading profile data...