Details

Time bar (total: 8.2s)

analyze920.0ms (11.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%93.6%6.4%7
3.1%84.2%12.7%8
12.5%67.1%20.5%9
16%63.5%20.5%10
17.9%57.7%24.4%11
22.6%48.7%28.7%12
28.7%37.8%33.6%13
30.4%35.9%33.7%14
Compiler

Compiled 9 to 9 computations (0% saved)

sample45.0ms (0.6%)

Algorithm
1×intervals
Results
18.0ms256×body128valid
5.0ms77×body128nan
2.0ms22×body128invalid
Compiler

Compiled 17 to 21 computations (-23.5% saved)

simplify169.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
01512
11512

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 17.7b

Counts
2 → 1
Compiler

Compiled 16 to 16 computations (0% saved)

localize14.0ms (0.2%)

Local error

Found 3 expressions with local error:

1.0b
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
4.7b
(/.f64 A (*.f64 V l))
15.9b
(sqrt.f64 (/.f64 A (*.f64 V l)))

rewrite34.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
16×add-sqr-sqrt_binary64_782
15×sqrt-prod_binary64_776
11×*-un-lft-identity_binary64_760 add-cube-cbrt_binary64_795
10×add-exp-log_binary64_798 add-cbrt-cube_binary64_796 associate-*r*_binary64_700
9×times-frac_binary64_766
6×pow1_binary64_821
3×add-log-exp_binary64_799 div-inv_binary64_757 associate-/l*_binary64_705 associate-*l*_binary64_701
2×unswap-sqr_binary64_728 cbrt-undiv_binary64_794 prod-exp_binary64_809 sqrt-div_binary64_777 cbrt-unprod_binary64_793 div-exp_binary64_811
1×rem-sqrt-square_binary64_773 frac-2neg_binary64_771 sqrt-pow1_binary64_778 associate-/r*_binary64_704 associate-*r/_binary64_702 pow1/2_binary64_840 clear-num_binary64_759 pow-prod-down_binary64_831 *-commutative_binary64_691
Counts
3 → 66
Calls

3 calls:

13.0ms
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
7.0ms
(/.f64 A (*.f64 V l))
7.0ms
(sqrt.f64 (/.f64 A (*.f64 V l)))

series170.0ms (2.1%)

Counts
3 → 9
Calls

3 calls:

94.0ms
(*.f64 c0 (sqrt.f64 (/.f64 A (*.f64 V l))))
47.0ms
(sqrt.f64 (/.f64 A (*.f64 V l)))
29.0ms
(/.f64 A (*.f64 V l))

simplify168.0ms (2%)

Algorithm
1×egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 0 (141.0ms)

IterNodesCost
04793857
14793857

prune155.0ms (1.9%)

Pruning

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New552075
Fresh000
Picked101
Done000
Total562076

Merged error: 5.0b

Counts
76 → 20
Compiler

Compiled 1177 to 431 computations (63.4% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

4.7b
(/.f64 A (*.f64 V l))
4.7b
(/.f64 A (*.f64 V l))
15.9b
(sqrt.f64 (/.f64 A (*.f64 V l)))
15.9b
(sqrt.f64 (/.f64 A (*.f64 V l)))

rewrite45.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
14×sqrt-prod_binary64_776 add-exp-log_binary64_798 add-cbrt-cube_binary64_796 add-sqr-sqrt_binary64_782
12×*-un-lft-identity_binary64_760 add-cube-cbrt_binary64_795 times-frac_binary64_766
6×associate-/l*_binary64_705 pow1_binary64_821
4×cbrt-undiv_binary64_794 add-log-exp_binary64_799 div-inv_binary64_757 div-exp_binary64_811
2×rem-sqrt-square_binary64_773 frac-2neg_binary64_771 prod-exp_binary64_809 sqrt-pow1_binary64_778 associate-/r*_binary64_704 sqrt-div_binary64_777 cbrt-unprod_binary64_793 pow1/2_binary64_840 clear-num_binary64_759
Counts
4 → 78
Calls

4 calls:

8.0ms
(/.f64 A (*.f64 V l))
7.0ms
(sqrt.f64 (/.f64 A (*.f64 V l)))
7.0ms
(/.f64 A (*.f64 V l))
7.0ms
(sqrt.f64 (/.f64 A (*.f64 V l)))

series194.0ms (2.4%)

Counts
4 → 12
Calls

4 calls:

63.0ms
(sqrt.f64 (/.f64 A (*.f64 V l)))
61.0ms
(sqrt.f64 (/.f64 A (*.f64 V l)))
36.0ms
(/.f64 A (*.f64 V l))
34.0ms
(/.f64 A (*.f64 V l))

simplify197.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 0 (169.0ms)

IterNodesCost
04687904
14687904

prune157.0ms (1.9%)

Pruning

21 alts after pruning (20 fresh and 1 done)

PrunedKeptTotal
New87390
Fresh21719
Picked011
Done000
Total8921110

Merged error: 5.0b

Counts
110 → 21
Compiler

Compiled 2126 to 581 computations (72.7% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.8b
(/.f64 1 (*.f64 V l))
1.0b
(*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))))
4.3b
(*.f64 A (/.f64 1 (*.f64 V l)))
15.9b
(sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))

rewrite56.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
36×add-exp-log_binary64_798
20×add-cbrt-cube_binary64_796
15×add-sqr-sqrt_binary64_782
14×prod-exp_binary64_809 pow1_binary64_821
11×*-un-lft-identity_binary64_760 add-cube-cbrt_binary64_795 associate-*r*_binary64_700
8×div-exp_binary64_811
6×associate-*l*_binary64_701 cbrt-unprod_binary64_793 times-frac_binary64_766
5×associate-*r/_binary64_702
4×cbrt-undiv_binary64_794 add-log-exp_binary64_799 sqrt-div_binary64_777 rec-exp_binary64_810 pow-prod-down_binary64_831 1-exp_binary64_804
3×associate-/l*_binary64_705 un-div-inv_binary64_758
2×unswap-sqr_binary64_728 sqrt-prod_binary64_776 sqrt-pow1_binary64_778 div-inv_binary64_757 *-commutative_binary64_691 pow-flip_binary64_834
1×frac-2neg_binary64_771 associate-/r*_binary64_704 inv-pow_binary64_845 pow1/2_binary64_840 clear-num_binary64_759
Counts
4 → 94
Calls

4 calls:

14.0ms
(*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))))
13.0ms
(*.f64 A (/.f64 1 (*.f64 V l)))
9.0ms
(/.f64 1 (*.f64 V l))
8.0ms
(sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))

series193.0ms (2.3%)

Counts
4 → 12
Calls

4 calls:

86.0ms
(*.f64 c0 (sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l)))))
63.0ms
(sqrt.f64 (*.f64 A (/.f64 1 (*.f64 V l))))
29.0ms
(*.f64 A (/.f64 1 (*.f64 V l)))
15.0ms
(/.f64 1 (*.f64 V l))

simplify170.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (142.0ms)

IterNodesCost
04993996
14993996

prune165.0ms (2%)

Pruning

20 alts after pruning (19 fresh and 1 done)

PrunedKeptTotal
New1051106
Fresh11819
Picked101
Done011
Total10720127

Merged error: 5.0b

Counts
127 → 20
Compiler

Compiled 1562 to 697 computations (55.4% saved)

localize33.0ms (0.4%)

Local error

Found 4 expressions with local error:

15.9b
(sqrt.f64 (/.f64 A (*.f64 V l)))
17.8b
(cbrt.f64 (/.f64 A (*.f64 V l)))
17.8b
(cbrt.f64 (/.f64 A (*.f64 V l)))
17.8b
(cbrt.f64 (/.f64 A (*.f64 V l)))

rewrite42.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
21×cbrt-prod_binary64_791
13×add-sqr-sqrt_binary64_782
12×*-un-lft-identity_binary64_760 add-cube-cbrt_binary64_795 times-frac_binary64_766
7×sqrt-prod_binary64_776
5×pow1_binary64_821
4×add-exp-log_binary64_798 add-log-exp_binary64_799 div-inv_binary64_757 add-cbrt-cube_binary64_796
3×pow1/3_binary64_842 cbrt-div_binary64_792
1×rem-sqrt-square_binary64_773 sqrt-pow1_binary64_778 sqrt-div_binary64_777 pow1/2_binary64_840
Counts
4 → 66
Calls

4 calls:

7.0ms
(cbrt.f64 (/.f64 A (*.f64 V l)))
7.0ms
(sqrt.f64 (/.f64 A (*.f64 V l)))
7.0ms
(cbrt.f64 (/.f64 A (*.f64 V l)))
7.0ms
(cbrt.f64 (/.f64 A (*.f64 V l)))

series500.0ms (6.1%)

Counts
4 → 12
Calls

4 calls:

160.0ms
(cbrt.f64 (/.f64 A (*.f64 V l)))
159.0ms
(cbrt.f64 (/.f64 A (*.f64 V l)))
129.0ms
(cbrt.f64 (/.f64 A (*.f64 V l)))
52.0ms
(sqrt.f64 (/.f64 A (*.f64 V l)))

simplify244.0ms (3%)

Algorithm
1×egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 0 (214.0ms)

IterNodesCost
04957991
14957991

prune139.0ms (1.7%)

Pruning

20 alts after pruning (18 fresh and 2 done)

PrunedKeptTotal
New78078
Fresh01818
Picked011
Done011
Total782098

Merged error: 5.0b

Counts
98 → 20
Compiler

Compiled 2825 to 435 computations (84.6% saved)

regimes1.6s (19.9%)

Compiler

Compiled 6260 to 4746 computations (24.2% saved)

bsearch3.0ms (0%)

Compiler

Compiled 3 to 5 computations (-66.7% saved)

simplify5.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04799
14799

end0.0ms (0%)

sample2.7s (33.2%)

Algorithm
1×intervals
Results
573.0ms8000×body128valid
206.0ms2995×body128nan
62.0ms911×body128invalid
Compiler

Compiled 718 to 544 computations (24.2% saved)

Profiling

Loading profile data...