Details

Time bar (total: 11.4s)

analyze350.0ms (3.1%)

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)

sample26.0ms (0.2%)

Algorithm
1×intervals
Results
17.0ms256×body128valid
Compiler

Compiled 59 to 54 computations (8.5% saved)

simplify156.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
0489225
1489225

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
0.0b
Counts
2 → 1
Compiler

Compiled 46 to 42 computations (8.7% saved)

localize12.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
0.0b
(+.f64 1 (/.f64 1 t))
0.0b
(+.f64 1 (/.f64 1 t))
0.0b
(-.f64 1 (/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))))))
0.0b
(/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))
0.0b
(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
1.3b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
1.3b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

rewrite210.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Rules
467×times-frac_binary64_766
386×*-un-lft-identity_binary64_760
284×cancel-sign-sub-inv_binary64_726
268×add-sqr-sqrt_binary64_782
212×add-cube-cbrt_binary64_795
104×distribute-lft-out_binary64_711
77×div-inv_binary64_757
72×distribute-lft-in_binary64_709 distribute-rgt-in_binary64_710
18×difference-of-squares_binary64_729
12×pow1_binary64_821
10×associate-/r/_binary64_706 add-exp-log_binary64_798
9×swap-sqr_binary64_727
8×add-log-exp_binary64_799 add-cbrt-cube_binary64_796 distribute-lft-out--_binary64_712 flip--_binary64_735 flip3--_binary64_764
7×associate-*r*_binary64_700 associate-*l*_binary64_701
5×flip3-+_binary64_763 flip-+_binary64_734
4×frac-times_binary64_770 sub-neg_binary64_753
3×associate-/r*_binary64_704 associate-/l*_binary64_705
2×diff-log_binary64_852 associate-*l/_binary64_703 associate-*r/_binary64_702 div-exp_binary64_811
1×pow2_binary64_841 unswap-sqr_binary64_728 frac-2neg_binary64_771 cbrt-undiv_binary64_794 prod-exp_binary64_809 pow-sqr_binary64_733 pow-plus_binary64_823 inv-pow_binary64_845 rec-exp_binary64_810 cbrt-unprod_binary64_793 clear-num_binary64_759 pow-prod-up_binary64_830 pow-prod-down_binary64_831 1-exp_binary64_804 *-commutative_binary64_691 pow-flip_binary64_834
Counts
4 → 396
Calls

8 calls:

68.0ms
(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
34.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
29.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
5.0ms
(/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))
0.0ms
(-.f64 1 (/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))))))

series176.0ms (1.5%)

Counts
4 → 48
Calls

4 calls:

53.0ms
(/.f64 1 (+.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))))
40.0ms
(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
39.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
38.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
Compiler

Compiled 1080 to 996 computations (7.8% saved)

simplify163.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
444 → 444
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
0544419438

prune1.8s (16.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New4431444
Fresh000
Picked101
Done000
Total4441445
Error
0b
Counts
445 → 1
Compiler

Compiled 18933 to 15880 computations (16.1% saved)

localize25.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b
(+.f64 (*.f64 2 2) (-.f64 (*.f64 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))) (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))) (*.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))))))
0.0b
(/.f64 1 (+.f64 8 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 6)))
0.0b
(-.f64 1 (*.f64 (/.f64 1 (+.f64 8 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 6))) (+.f64 (*.f64 2 2) (-.f64 (*.f64 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))) (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))) (*.f64 2 (*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))))))))
0.0b
(+.f64 8 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 6))
1.3b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
1.3b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
1.3b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
1.3b
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))

rewrite235.0ms (2.1%)

Algorithm
1×rewrite-expression-head
Rules
452×times-frac_binary64_766
364×*-un-lft-identity_binary64_760
284×cancel-sign-sub-inv_binary64_726
236×add-sqr-sqrt_binary64_782
200×add-cube-cbrt_binary64_795
104×distribute-lft-out_binary64_711
76×div-inv_binary64_757
12×add-log-exp_binary64_799 difference-of-squares_binary64_729
8×associate-/r/_binary64_706
4×diff-log_binary64_852 flip3-+_binary64_763 add-exp-log_binary64_798 flip-+_binary64_734 add-cbrt-cube_binary64_796 distribute-lft-out--_binary64_712 pow1_binary64_821 sub-neg_binary64_753 flip--_binary64_735 flip3--_binary64_764
Counts
4 → 344
Calls

8 calls:

39.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
36.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
31.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
30.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
0.0ms
(+.f64 8 (pow.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) 6))

series276.0ms (2.4%)

Counts
4 → 48
Calls

4 calls:

74.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
68.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
67.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
66.0ms
(-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t))))
Compiler

Compiled 4688 to 4072 computations (13.1% saved)

simplify135.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
392 → 392
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
049509212
149509212

prune5.1s (44.9%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New3920392
Fresh000
Picked011
Done000
Total3921393
Error
0b
Counts
393 → 1
Compiler

Compiled 40436 to 34258 computations (15.3% saved)

simplify36.0ms (0.3%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (25.0ms)

IterNodesCost
09061027
19061027

regimes415.0ms (3.6%)

Compiler

Compiled 5996 to 5369 computations (10.5% saved)

bsearch0.0ms (0%)

regimes165.0ms (1.5%)

Compiler

Compiled 1608 to 1475 computations (8.3% saved)

bsearch0.0ms (0%)

regimes17.0ms (0.1%)

Compiler

Compiled 81 to 81 computations (0% saved)

bsearch0.0ms (0%)

regimes29.0ms (0.3%)

Compiler

Compiled 43 to 46 computations (-7% saved)

bsearch36.0ms (0.3%)

Steps
ItersRangePoint
8
0.5687205889269634
30961.283709189745
0.6764022288461619
5
-0.9718552597540093
-0.43391040611581255
-0.584895691809982
Compiler

Compiled 1 to 1 computations (0% saved)

regimes26.0ms (0.2%)

Compiler

Compiled 21 to 25 computations (-19% saved)

bsearch33.0ms (0.3%)

Steps
ItersRangePoint
8
0.00039109138477115405
0.5687205889269634
0.5584319845658
5
-0.9718552597540093
-0.43391040611581255
-0.7925325331458016
Compiler

Compiled 1 to 1 computations (0% saved)

regimes216.0ms (1.9%)

Compiler

Compiled 14 to 19 computations (-35.7% saved)

bsearch31.0ms (0.3%)

Steps
ItersRangePoint
8
0.5687205889269634
30961.283709189745
0.6764022288461619
5
-0.9718552597540093
-0.43391040611581255
-0.4858196164497675
Compiler

Compiled 1 to 1 computations (0% saved)

regimes22.0ms (0.2%)

Compiler

Compiled 7 to 12 computations (-71.4% saved)

bsearch37.0ms (0.3%)

Steps
ItersRangePoint
8
0.5687205889269634
30961.283709189745
1.0296604800415718
9
-0.43391040611581255
-5.176682159812971e-07
-0.33316571214862156
Compiler

Compiled 1 to 1 computations (0% saved)

regimes8.0ms (0.1%)

Compiler

Compiled 6 to 10 computations (-66.7% saved)

bsearch0.0ms (0%)

regimes7.0ms (0.1%)

Accuracy

Total 0.0b remaining (93.9%)

Threshold costs 0.0b (93.9%)

Compiler

Compiled 5 to 8 computations (-60% saved)

bsearch13.0ms (0.1%)

Compiler

Compiled 239 to 210 computations (12.1% saved)

simplify12.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
0385326
1385326

end0.0ms (0%)

sample1.5s (13.6%)

Algorithm
1×intervals
Results
560.0ms8000×body128valid
Compiler

Compiled 937 to 836 computations (10.8% saved)

Pareto

0.9462262882235647

Profiling

Loading profile data...