Details

Time bar (total: 1.7s)

analyze90.0ms (5.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%74.9%0.1%5
50%50%0.1%6
56.2%40.6%3.2%7
68.7%25%6.3%8
71.8%19.5%8.7%9
78%12.5%9.5%10
79.6%9.6%10.8%11
82.7%6.2%11%12
83.5%4.7%11.8%13
85.1%3.1%11.8%14
Compiler

Compiled 12 to 10 computations (16.7% saved)

sample14.0ms (0.8%)

Algorithm
1×intervals
Results
7.0ms249×body128valid
0.0ms4×body1024valid
0.0ms2×body512valid
0.0ms3×body128invalid
0.0ms1×body256valid
Compiler

Compiled 23 to 21 computations (8.7% saved)

simplify95.0ms (5.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0427
1427

prune10.0ms (0.6%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 2
Compiler

Compiled 21 to 19 computations (9.5% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b
(*.f64 d1 (+.f64 d2 30))

rewrite10.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
5×add-sqr-sqrt_binary64_2828 *-un-lft-identity_binary64_2806
4×associate-*r*_binary64_2746
3×associate-*l*_binary64_2747 add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842 add-cube-cbrt_binary64_2841 pow1_binary64_2867
2×associate-*r/_binary64_2748
1×distribute-lft-out_binary64_2757 *-commutative_binary64_2737 distribute-lft-in_binary64_2755 distribute-rgt-in_binary64_2756 prod-exp_binary64_2855 cbrt-unprod_binary64_2839 flip-+_binary64_2780 add-log-exp_binary64_2845 flip3-+_binary64_2809 pow-prod-down_binary64_2877 unswap-sqr_binary64_2774
Counts
1 → 23
Calls

1 calls:

8.0ms
(*.f64 d1 (+.f64 d2 30))

series26.0ms (1.5%)

Counts
1 → 3
Calls

1 calls:

26.0ms
(*.f64 d1 (+.f64 d2 30))

simplify59.0ms (3.5%)

Algorithm
1×egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
05135233

prune22.0ms (1.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New24226
Fresh101
Picked011
Done000
Total25328

Merged error: 0b

Counts
28 → 3
Compiler

Compiled 262 to 181 computations (30.9% saved)

localize7.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.3b
(cbrt.f64 (+.f64 d2 30))
0.3b
(cbrt.f64 (+.f64 d2 30))
0.4b
(*.f64 (*.f64 d1 (*.f64 (cbrt.f64 (+.f64 d2 30)) (cbrt.f64 (+.f64 d2 30)))) (cbrt.f64 (+.f64 d2 30)))
0.4b
(*.f64 d1 (*.f64 (cbrt.f64 (+.f64 d2 30)) (cbrt.f64 (+.f64 d2 30))))

rewrite56.0ms (3.3%)

Algorithm
1×rewrite-expression-head
Rules
70×cbrt-div_binary64_2838
42×associate-*r/_binary64_2748
35×flip-+_binary64_2780 flip3-+_binary64_2809
32×frac-times_binary64_2816
18×add-exp-log_binary64_2844 pow1_binary64_2867
16×associate-*l/_binary64_2749
15×*-un-lft-identity_binary64_2806
12×cbrt-prod_binary64_2837
11×add-cbrt-cube_binary64_2842
10×add-sqr-sqrt_binary64_2828
9×prod-exp_binary64_2855 cbrt-unprod_binary64_2839 add-cube-cbrt_binary64_2841 pow-prod-down_binary64_2877
8×associate-*r*_binary64_2746
4×associate-*l*_binary64_2747 add-log-exp_binary64_2845
3×distribute-lft-out_binary64_2757
2×pow1/3_binary64_2888 *-commutative_binary64_2737
1×unswap-sqr_binary64_2774
Counts
4 → 106
Calls

4 calls:

20.0ms
(*.f64 (*.f64 d1 (*.f64 (cbrt.f64 (+.f64 d2 30)) (cbrt.f64 (+.f64 d2 30)))) (cbrt.f64 (+.f64 d2 30)))
16.0ms
(*.f64 d1 (*.f64 (cbrt.f64 (+.f64 d2 30)) (cbrt.f64 (+.f64 d2 30))))
3.0ms
(cbrt.f64 (+.f64 d2 30))
3.0ms
(cbrt.f64 (+.f64 d2 30))

series186.0ms (11%)

Counts
4 → 12
Calls

4 calls:

76.0ms
(*.f64 d1 (*.f64 (cbrt.f64 (+.f64 d2 30)) (cbrt.f64 (+.f64 d2 30))))
39.0ms
(*.f64 (*.f64 d1 (*.f64 (cbrt.f64 (+.f64 d2 30)) (cbrt.f64 (+.f64 d2 30)))) (cbrt.f64 (+.f64 d2 30)))
36.0ms
(cbrt.f64 (+.f64 d2 30))
34.0ms
(cbrt.f64 (+.f64 d2 30))

simplify86.0ms (5.1%)

Algorithm
1×egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
055522405

prune143.0ms (8.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1180118
Fresh011
Picked011
Done011
Total1183121

Merged error: 0b

Counts
121 → 3
Compiler

Compiled 2618 to 1954 computations (25.4% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.1b
(*.f64 d1 (sqrt.f64 (+.f64 d2 30)))
0.3b
(*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 30))) (sqrt.f64 (+.f64 d2 30)))

rewrite26.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Rules
14×sqrt-div_binary64_2823 associate-*r*_binary64_2746
11×add-sqr-sqrt_binary64_2828 *-un-lft-identity_binary64_2806
10×associate-*r/_binary64_2748
9×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842 sqrt-prod_binary64_2822 pow1_binary64_2867
7×flip-+_binary64_2780 add-cube-cbrt_binary64_2841 flip3-+_binary64_2809
4×frac-times_binary64_2816 associate-*l*_binary64_2747 prod-exp_binary64_2855 cbrt-unprod_binary64_2839 pow-prod-down_binary64_2877
2×distribute-lft-out_binary64_2757 *-commutative_binary64_2737 add-log-exp_binary64_2845 associate-*l/_binary64_2749 unswap-sqr_binary64_2774
Counts
2 → 55
Calls

2 calls:

13.0ms
(*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 30))) (sqrt.f64 (+.f64 d2 30)))
8.0ms
(*.f64 d1 (sqrt.f64 (+.f64 d2 30)))

series69.0ms (4.1%)

Counts
2 → 6
Calls

2 calls:

41.0ms
(*.f64 d1 (sqrt.f64 (+.f64 d2 30)))
28.0ms
(*.f64 (*.f64 d1 (sqrt.f64 (+.f64 d2 30))) (sqrt.f64 (+.f64 d2 30)))

simplify44.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
05257891

prune55.0ms (3.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New61061
Fresh000
Picked011
Done022
Total61364

Merged error: 0b

Counts
64 → 3
Compiler

Compiled 953 to 695 computations (27.1% saved)

regimes71.0ms (4.2%)

Compiler

Compiled 491 to 419 computations (14.7% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
087
187

end0.0ms (0%)

sample612.0ms (36.1%)

Algorithm
1×intervals
Results
230.0ms7866×body128valid
8.0ms79×body1024valid
3.0ms38×body512valid
2.0ms67×body128invalid
1.0ms17×body256valid
Compiler

Compiled 177 to 153 computations (13.6% saved)

Profiling

Loading profile data...