Details

Time bar (total: 1.6min)

analyze346.0ms (0.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
12.5%87.4%0.1%4
18.7%81.2%0.1%5
21.9%78%0.1%6
50%43.7%6.3%7
50%43.7%6.3%8
56.2%34.3%9.5%9
56.2%34.3%9.5%10
59.3%29.7%11%11
59.3%29.7%11%12
60.9%27.3%11.8%13
60.9%27.3%11.8%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample65.0ms (0.1%)

Algorithm
1×intervals
Results
15.0ms69×body1024valid
13.0ms66×body1024invalid
8.0ms147×body128valid
5.0ms86×body128invalid
4.0ms29×body512invalid
4.0ms23×body512valid
2.0ms17×body256valid
1.0ms11×body256invalid
Compiler

Compiled 15 to 15 computations (0% saved)

simplify160.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
0503011

prune7.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Compiler

Compiled 7 to 6 computations (14.3% saved)

localize7.0ms (0%)

Local error

Found 6 expressions with local error:

0.0b
(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
0.0b
(sinh.f64 y)
0.0b
(/.f64 (sinh.f64 y) y)
0.0b
(/.f64 (sinh.f64 y) y)
0.0b
(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
0.0b
(sinh.f64 y)

rewrite18.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
24×add-sqr-sqrt_binary64_2828
19×times-frac_binary64_2812 *-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
13×associate-*r*_binary64_2746
10×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842
5×pow1_binary64_2867
3×associate-*l*_binary64_2747 associate-/r*_binary64_2750 add-log-exp_binary64_2845 associate-/l*_binary64_2751
2×div-inv_binary64_2803 div-exp_binary64_2857 cbrt-undiv_binary64_2840 prod-exp_binary64_2855 cbrt-unprod_binary64_2839 unswap-sqr_binary64_2774 sinh-def_binary64_2991
1×associate-/l/_binary64_2753 *-commutative_binary64_2737 clear-num_binary64_2805 associate-*r/_binary64_2748 pow-prod-down_binary64_2877 frac-2neg_binary64_2817
Counts
3 → 68
Calls

6 calls:

8.0ms
(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
3.0ms
(/.f64 (sinh.f64 y) y)
1.0ms
(sinh.f64 y)
0.0ms
(/.f64 (sinh.f64 y) y)
0.0ms
(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))

series345.0ms (0.3%)

Counts
3 → 19
Calls

3 calls:

227.0ms
(*.f64 (sin.f64 x) (/.f64 (sinh.f64 y) y))
75.0ms
(/.f64 (sinh.f64 y) y)
43.0ms
(sinh.f64 y)
Compiler

Compiled 543 to 440 computations (19% saved)

simplify78.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
049701123
149701123

prune311.0ms (0.3%)

Pruning

49 alts after pruning (48 fresh and 1 done)

PrunedKeptTotal
New394887
Fresh000
Picked000
Done011
Total394988
Error
0b
Counts
88 → 49
Compiler

Compiled 1570 to 703 computations (55.2% saved)

localize8.0ms (0%)

Local error

Found 6 expressions with local error:

0.0b
(*.f64 (sin.f64 x) (/.f64 (pow.f64 (sinh.f64 y) 1) y))
0.0b
(sinh.f64 y)
0.0b
(/.f64 (pow.f64 (sinh.f64 y) 1) y)
0.0b
(/.f64 (pow.f64 (sinh.f64 y) 1) y)
0.0b
(*.f64 (sin.f64 x) (/.f64 (pow.f64 (sinh.f64 y) 1) y))
0.0b
(sinh.f64 y)

rewrite25.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
45×times-frac_binary64_2812
44×add-sqr-sqrt_binary64_2828
34×*-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
25×associate-*r*_binary64_2746
22×unpow-prod-down_binary64_2885
18×add-exp-log_binary64_2844
10×add-cbrt-cube_binary64_2842
8×sqr-pow_binary64_2778
7×associate-/l*_binary64_2751
6×div-exp_binary64_2857
5×pow1_binary64_2867
4×prod-exp_binary64_2855 unswap-sqr_binary64_2774
3×associate-*l*_binary64_2747 associate-/r*_binary64_2750 add-log-exp_binary64_2845
2×pow-exp_binary64_2874 div-inv_binary64_2803 cbrt-undiv_binary64_2840 pow-to-exp_binary64_2875 cbrt-unprod_binary64_2839
1×*-commutative_binary64_2737 clear-num_binary64_2805 associate-*r/_binary64_2748 pow-prod-down_binary64_2877 frac-2neg_binary64_2817 sinh-def_binary64_2991
Counts
3 → 101
Calls

6 calls:

11.0ms
(*.f64 (sin.f64 x) (/.f64 (pow.f64 (sinh.f64 y) 1) y))
5.0ms
(/.f64 (pow.f64 (sinh.f64 y) 1) y)
1.0ms
(sinh.f64 y)
0.0ms
(/.f64 (pow.f64 (sinh.f64 y) 1) y)
0.0ms
(*.f64 (sin.f64 x) (/.f64 (pow.f64 (sinh.f64 y) 1) y))

series344.0ms (0.3%)

Counts
3 → 19
Calls

3 calls:

231.0ms
(*.f64 (sin.f64 x) (/.f64 (pow.f64 (sinh.f64 y) 1) y))
69.0ms
(/.f64 (pow.f64 (sinh.f64 y) 1) y)
45.0ms
(sinh.f64 y)
Compiler

Compiled 559 to 456 computations (18.4% saved)

simplify66.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
051191632

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify7.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 1/120 (pow.f64 y 5))
0.0b
(*.f64 (sin.f64 x) (/.f64 (+.f64 (*.f64 (pow.f64 y 3) 1/6) (+.f64 y (*.f64 1/120 (pow.f64 y 5)))) y))
0.0b
(/.f64 (+.f64 (*.f64 (pow.f64 y 3) 1/6) (+.f64 y (*.f64 1/120 (pow.f64 y 5)))) y)
0.0b
(+.f64 (*.f64 (pow.f64 y 3) 1/6) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))
0.0b
(/.f64 (+.f64 (*.f64 (pow.f64 y 3) 1/6) (+.f64 y (*.f64 1/120 (pow.f64 y 5)))) y)
0.0b
(*.f64 (sin.f64 x) (/.f64 (+.f64 (*.f64 (pow.f64 y 3) 1/6) (+.f64 y (*.f64 1/120 (pow.f64 y 5)))) y))
0.0b
(*.f64 1/120 (pow.f64 y 5))
0.1b
(*.f64 (pow.f64 y 3) 1/6)

rewrite44.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
44×add-sqr-sqrt_binary64_2828
27×*-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
23×associate-*r*_binary64_2746
21×add-exp-log_binary64_2844
19×times-frac_binary64_2812
18×associate-*l*_binary64_2747
15×add-cbrt-cube_binary64_2842
9×unswap-sqr_binary64_2774
8×prod-exp_binary64_2855 unpow-prod-down_binary64_2885
6×pow1_binary64_2867
4×cube-prod_binary64_2834 cbrt-unprod_binary64_2839 add-log-exp_binary64_2845 sqr-pow_binary64_2778
3×*-commutative_binary64_2737 associate-/r*_binary64_2750 associate-/l*_binary64_2751
2×associate-/l/_binary64_2753 pow-exp_binary64_2874 div-inv_binary64_2803 div-exp_binary64_2857 cbrt-undiv_binary64_2840 pow-to-exp_binary64_2875
1×unpow3_binary64_2872 flip-+_binary64_2780 flip3-+_binary64_2809 cube-mult_binary64_2836 clear-num_binary64_2805 associate-*r/_binary64_2748 pow-prod-down_binary64_2877 frac-2neg_binary64_2817
Counts
4 → 117
Calls

8 calls:

13.0ms
(*.f64 (sin.f64 x) (/.f64 (+.f64 (*.f64 (pow.f64 y 3) 1/6) (+.f64 y (*.f64 1/120 (pow.f64 y 5)))) y))
9.0ms
(/.f64 (+.f64 (*.f64 (pow.f64 y 3) 1/6) (+.f64 y (*.f64 1/120 (pow.f64 y 5)))) y)
6.0ms
(*.f64 (pow.f64 y 3) 1/6)
5.0ms
(*.f64 1/120 (pow.f64 y 5))
0.0ms
(+.f64 (*.f64 (pow.f64 y 3) 1/6) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))

series703.0ms (0.7%)

Counts
4 → 30
Calls

4 calls:

435.0ms
(*.f64 (sin.f64 x) (/.f64 (+.f64 (*.f64 (pow.f64 y 3) 1/6) (+.f64 y (*.f64 1/120 (pow.f64 y 5)))) y))
193.0ms
(/.f64 (+.f64 (*.f64 (pow.f64 y 3) 1/6) (+.f64 y (*.f64 1/120 (pow.f64 y 5)))) y)
41.0ms
(*.f64 1/120 (pow.f64 y 5))
33.0ms
(*.f64 (pow.f64 y 3) 1/6)
Compiler

Compiled 849 to 715 computations (15.8% saved)

simplify81.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
147 → 147
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
049613232
149613232

localize8.0ms (0%)

Local error

Found 6 expressions with local error:

0.2b
(*.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 (sinh.f64 y)))
0.0b
(sinh.f64 y)
0.0b
(sinh.f64 y)
0.0b
(sinh.f64 y)
0.0b
(sinh.f64 y)
0.2b
(*.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 (sinh.f64 y)))

rewrite16.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
25×add-sqr-sqrt_binary64_2828
18×sqrt-prod_binary64_2822 pow1_binary64_2867
11×*-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
8×pow1/2_binary64_2886 sqrt-pow1_binary64_2824 swap-sqr_binary64_2773
6×associate-*l*_binary64_2747 associate-*r*_binary64_2746 sinh-def_binary64_2991
5×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842 pow-prod-up_binary64_2876
4×sqrt-div_binary64_2823 unswap-sqr_binary64_2774
3×pow-sqr_binary64_2779 add-log-exp_binary64_2845 pow-prod-down_binary64_2877
2×rem-sqrt-square_binary64_2819
1×frac-times_binary64_2816 sqr-abs_binary64_2821 *-commutative_binary64_2737 prod-exp_binary64_2855 cbrt-unprod_binary64_2839 sqrt-unprod_binary64_2826 rem-square-sqrt_binary64_2818 pow2_binary64_2887 associate-*r/_binary64_2748 associate-*l/_binary64_2749 pow-plus_binary64_2869
Counts
3 → 69
Calls

6 calls:

8.0ms
(*.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 (sinh.f64 y)))
1.0ms
(sinh.f64 y)
1.0ms
(sinh.f64 y)
0.0ms
(sinh.f64 y)
0.0ms
(*.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 (sinh.f64 y)))

series123.0ms (0.1%)

Counts
3 → 13
Calls

3 calls:

45.0ms
(*.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 (sinh.f64 y)))
42.0ms
(sinh.f64 y)
36.0ms
(sinh.f64 y)
Compiler

Compiled 364 to 304 computations (16.5% saved)

simplify59.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
82 → 82
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
04984591
14984591

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(sinh.f64 y)
0.0b
(/.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 y))
0.0b
(/.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 y))
0.0b
(*.f64 (/.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 y)) (/.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 y)))
0.0b
(/.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 y))
0.0b
(*.f64 (/.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 y)) (/.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 y)))
0.0b
(sinh.f64 y)
0.0b
(sinh.f64 y)

rewrite92.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
302×add-sqr-sqrt_binary64_2828
282×sqrt-prod_binary64_2822
276×times-frac_binary64_2812
148×*-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
68×swap-sqr_binary64_2773
40×associate-*l*_binary64_2747 associate-*r*_binary64_2746
25×unswap-sqr_binary64_2774
18×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842
11×pow1_binary64_2867
6×associate-/r*_binary64_2750 associate-/l*_binary64_2751
5×div-inv_binary64_2803 div-exp_binary64_2857 cbrt-undiv_binary64_2840 sqrt-undiv_binary64_2827
4×prod-exp_binary64_2855 cbrt-unprod_binary64_2839 add-log-exp_binary64_2845
3×sinh-def_binary64_2991
1×frac-times_binary64_2816 sqrt-div_binary64_2823 associate-/l/_binary64_2753 pow-sqr_binary64_2779 *-commutative_binary64_2737 pow-prod-up_binary64_2876 sqrt-unprod_binary64_2826 rem-square-sqrt_binary64_2818 pow2_binary64_2887 clear-num_binary64_2805 associate-*r/_binary64_2748 pow-prod-down_binary64_2877 associate-*l/_binary64_2749 pow-plus_binary64_2869 frac-2neg_binary64_2817
Counts
4 → 277
Calls

8 calls:

40.0ms
(*.f64 (/.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 y)) (/.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 y)))
6.0ms
(/.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 y))
1.0ms
(sinh.f64 y)
1.0ms
(sinh.f64 y)
0.0ms
(*.f64 (/.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 y)) (/.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 y)))

series200.0ms (0.2%)

Counts
4 → 17
Calls

4 calls:

62.0ms
(/.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 y))
62.0ms
(*.f64 (/.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 y)) (/.f64 (sqrt.f64 (sinh.f64 y)) (sqrt.f64 y)))
38.0ms
(sinh.f64 y)
38.0ms
(sinh.f64 y)
Compiler

Compiled 651 to 522 computations (19.8% saved)

simplify130.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
294 → 294
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
049536404
149536404

prune7.1s (7.2%)

Pruning

203 alts after pruning (197 fresh and 6 done)

PrunedKeptTotal
New480163643
Fresh93443
Picked000
Done066
Total489203692
Error
0b
Counts
692 → 203
Compiler

Compiled 12276 to 6460 computations (47.4% saved)

localize9.0ms (0%)

Local error

Found 6 expressions with local error:

0.0b
(*.f64 (sin.f64 x) (/.f64 (*.f64 (sqrt.f64 1) (sinh.f64 y)) y))
0.0b
(sinh.f64 y)
0.0b
(/.f64 (*.f64 (sqrt.f64 1) (sinh.f64 y)) y)
0.0b
(/.f64 (*.f64 (sqrt.f64 1) (sinh.f64 y)) y)
0.0b
(*.f64 (sin.f64 x) (/.f64 (*.f64 (sqrt.f64 1) (sinh.f64 y)) y))
0.0b
(sinh.f64 y)

rewrite19.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
17×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842
10×add-sqr-sqrt_binary64_2828
8×*-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
7×associate-*r*_binary64_2746
6×times-frac_binary64_2812
5×prod-exp_binary64_2855 cbrt-unprod_binary64_2839 pow1_binary64_2867
4×div-exp_binary64_2857 cbrt-undiv_binary64_2840
3×associate-*l*_binary64_2747 associate-/r*_binary64_2750 add-log-exp_binary64_2845
2×div-inv_binary64_2803 associate-*r/_binary64_2748 sinh-def_binary64_2991
1×associate-/l/_binary64_2753 *-commutative_binary64_2737 clear-num_binary64_2805 associate-/l*_binary64_2751 pow-prod-down_binary64_2877 unswap-sqr_binary64_2774 frac-2neg_binary64_2817
Counts
3 → 57
Calls

6 calls:

8.0ms
(*.f64 (sin.f64 x) (/.f64 (*.f64 (sqrt.f64 1) (sinh.f64 y)) y))
5.0ms
(/.f64 (*.f64 (sqrt.f64 1) (sinh.f64 y)) y)
1.0ms
(sinh.f64 y)
0.0ms
(/.f64 (*.f64 (sqrt.f64 1) (sinh.f64 y)) y)
0.0ms
(sinh.f64 y)

series347.0ms (0.4%)

Counts
3 → 19
Calls

3 calls:

228.0ms
(*.f64 (sin.f64 x) (/.f64 (*.f64 (sqrt.f64 1) (sinh.f64 y)) y))
71.0ms
(/.f64 (*.f64 (sqrt.f64 1) (sinh.f64 y)) y)
48.0ms
(sinh.f64 y)
Compiler

Compiled 567 to 464 computations (18.2% saved)

simplify67.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
05625849

localize4.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify7.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(*.f64 (sqrt.f64 (sinh.f64 y)) (sin.f64 x))
0.1b
(/.f64 (sqrt.f64 (sinh.f64 y)) y)
0.0b
(sinh.f64 y)
0.0b
(sinh.f64 y)
0.0b
(sinh.f64 y)
0.1b
(/.f64 (sqrt.f64 (sinh.f64 y)) y)
0.1b
(*.f64 (sqrt.f64 (sinh.f64 y)) (sin.f64 x))
2.0b
(*.f64 (*.f64 (sqrt.f64 (sinh.f64 y)) (sin.f64 x)) (/.f64 (sqrt.f64 (sinh.f64 y)) y))

rewrite33.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
39×add-sqr-sqrt_binary64_2828
36×times-frac_binary64_2812
35×*-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
25×sqrt-prod_binary64_2822 associate-*r*_binary64_2746
20×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842
11×pow1_binary64_2867
7×associate-*l*_binary64_2747 prod-exp_binary64_2855 cbrt-unprod_binary64_2839
6×associate-/l*_binary64_2751
5×sinh-def_binary64_2991
4×sqrt-div_binary64_2823 add-log-exp_binary64_2845 pow-prod-down_binary64_2877 associate-*l/_binary64_2749
3×div-exp_binary64_2857 cbrt-undiv_binary64_2840 associate-/r*_binary64_2750
2×div-inv_binary64_2803 *-commutative_binary64_2737 unswap-sqr_binary64_2774
1×frac-times_binary64_2816 associate-/l/_binary64_2753 clear-num_binary64_2805 associate-*r/_binary64_2748 frac-2neg_binary64_2817
Counts
4 → 115
Calls

8 calls:

12.0ms
(*.f64 (*.f64 (sqrt.f64 (sinh.f64 y)) (sin.f64 x)) (/.f64 (sqrt.f64 (sinh.f64 y)) y))
6.0ms
(*.f64 (sqrt.f64 (sinh.f64 y)) (sin.f64 x))
4.0ms
(/.f64 (sqrt.f64 (sinh.f64 y)) y)
1.0ms
(sinh.f64 y)
0.0ms
(sinh.f64 y)

series493.0ms (0.5%)

Counts
4 → 22
Calls

4 calls:

219.0ms
(*.f64 (*.f64 (sqrt.f64 (sinh.f64 y)) (sin.f64 x)) (/.f64 (sqrt.f64 (sinh.f64 y)) y))
161.0ms
(*.f64 (sqrt.f64 (sinh.f64 y)) (sin.f64 x))
73.0ms
(/.f64 (sqrt.f64 (sinh.f64 y)) y)
39.0ms
(sinh.f64 y)
Compiler

Compiled 778 to 622 computations (20.1% saved)

simplify101.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
137 → 137
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
049492176
149492176

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 1/120 (pow.f64 y 5))
0.0b
(*.f64 1/120 (pow.f64 y 5))
0.0b
(+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))
0.0b
(+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))
0.1b
(*.f64 1/6 (pow.f64 y 3))
0.1b
(*.f64 1/6 (pow.f64 y 3))
0.1b
(/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y)
0.1b
(*.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) (/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y))

rewrite67.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
72×add-sqr-sqrt_binary64_2828
46×associate-*r*_binary64_2746
42×*-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
40×times-frac_binary64_2812
29×sqrt-prod_binary64_2822
21×add-exp-log_binary64_2844
15×add-cbrt-cube_binary64_2842
14×unswap-sqr_binary64_2774
12×associate-*l*_binary64_2747
8×cube-prod_binary64_2834 prod-exp_binary64_2855 unpow-prod-down_binary64_2885
6×sqrt-div_binary64_2823 associate-/l*_binary64_2751 pow1_binary64_2867
4×cbrt-unprod_binary64_2839 add-log-exp_binary64_2845 sqr-pow_binary64_2778
3×*-commutative_binary64_2737 associate-/r*_binary64_2750 flip-+_binary64_2780 flip3-+_binary64_2809
2×frac-times_binary64_2816 associate-/l/_binary64_2753 pow-exp_binary64_2874 div-inv_binary64_2803 div-exp_binary64_2857 cbrt-undiv_binary64_2840 unpow3_binary64_2872 pow-to-exp_binary64_2875 cube-mult_binary64_2836 associate-*l/_binary64_2749
1×clear-num_binary64_2805 associate-*r/_binary64_2748 pow-prod-down_binary64_2877 frac-2neg_binary64_2817
Counts
4 → 155
Calls

8 calls:

22.0ms
(*.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) (/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y))
10.0ms
(/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y)
7.0ms
(*.f64 1/6 (pow.f64 y 3))
7.0ms
(*.f64 1/6 (pow.f64 y 3))
0.0ms
(+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))

series239.0ms (0.2%)

Counts
4 → 16
Calls

4 calls:

134.0ms
(*.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) (/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y))
39.0ms
(*.f64 1/6 (pow.f64 y 3))
35.0ms
(*.f64 1/6 (pow.f64 y 3))
31.0ms
(/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y)
Compiler

Compiled 674 to 576 computations (14.5% saved)

simplify92.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
171 → 171
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
049364359
149364359

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5)))) y)
0.0b
(+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))
0.0b
(+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))
0.0b
(+.f64 (*.f64 (pow.f64 y 3) 1/6) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))
0.0b
(*.f64 1/120 (pow.f64 y 5))
0.1b
(*.f64 (pow.f64 y 3) 1/6)
0.1b
(*.f64 1/6 (pow.f64 y 3))
0.1b
(*.f64 1/6 (pow.f64 y 3))

rewrite46.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
45×add-sqr-sqrt_binary64_2828
34×associate-*r*_binary64_2746
24×add-exp-log_binary64_2844
21×associate-*l*_binary64_2747
19×*-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
16×unpow-prod-down_binary64_2885
15×unswap-sqr_binary64_2774
12×add-cbrt-cube_binary64_2842 cube-prod_binary64_2834 prod-exp_binary64_2855
8×sqr-pow_binary64_2778
4×pow-exp_binary64_2874 *-commutative_binary64_2737 pow-to-exp_binary64_2875 cbrt-unprod_binary64_2839 add-log-exp_binary64_2845 pow1_binary64_2867
3×unpow3_binary64_2872 cube-mult_binary64_2836
Counts
4 → 118
Calls

8 calls:

7.0ms
(*.f64 1/6 (pow.f64 y 3))
7.0ms
(*.f64 1/6 (pow.f64 y 3))
6.0ms
(*.f64 (pow.f64 y 3) 1/6)
6.0ms
(*.f64 1/120 (pow.f64 y 5))
0.0ms
(+.f64 (*.f64 (pow.f64 y 3) 1/6) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))

series172.0ms (0.2%)

Counts
4 → 12
Calls

4 calls:

47.0ms
(*.f64 1/120 (pow.f64 y 5))
43.0ms
(*.f64 (pow.f64 y 3) 1/6)
42.0ms
(*.f64 1/6 (pow.f64 y 3))
39.0ms
(*.f64 1/6 (pow.f64 y 3))
Compiler

Compiled 1272 to 1008 computations (20.8% saved)

simplify58.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 0 (36.0ms)

IterNodesCost
048541191
148541191

prune14.8s (14.9%)

Pruning

315 alts after pruning (305 fresh and 10 done)

PrunedKeptTotal
New392122514
Fresh9183192
Picked000
Done11011
Total402315717
Error
0b
Counts
717 → 315
Compiler

Compiled 20656 to 14113 computations (31.7% saved)

localize10.0ms (0%)

Local error

Found 6 expressions with local error:

0.0b
(sinh.f64 y)
0.0b
(*.f64 (sin.f64 x) (pow.f64 (/.f64 (*.f64 (sqrt.f64 1) (sinh.f64 y)) y) 1))
0.0b
(/.f64 (*.f64 (sqrt.f64 1) (sinh.f64 y)) y)
0.0b
(/.f64 (*.f64 (sqrt.f64 1) (sinh.f64 y)) y)
0.0b
(sinh.f64 y)
0.0b
(*.f64 (sin.f64 x) (pow.f64 (/.f64 (*.f64 (sqrt.f64 1) (sinh.f64 y)) y) 1))

rewrite20.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
20×add-exp-log_binary64_2844
14×add-sqr-sqrt_binary64_2828
11×associate-*r*_binary64_2746
10×add-cbrt-cube_binary64_2842
9×*-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
8×unpow-prod-down_binary64_2885
7×prod-exp_binary64_2855
6×times-frac_binary64_2812
4×div-exp_binary64_2857 pow1_binary64_2867
3×associate-*l*_binary64_2747 pow-exp_binary64_2874 associate-/r*_binary64_2750 add-log-exp_binary64_2845 unswap-sqr_binary64_2774
2×div-inv_binary64_2803 cbrt-undiv_binary64_2840 cbrt-unprod_binary64_2839 sqr-pow_binary64_2778 sinh-def_binary64_2991
1×associate-/l/_binary64_2753 *-commutative_binary64_2737 pow-to-exp_binary64_2875 clear-num_binary64_2805 associate-*r/_binary64_2748 associate-/l*_binary64_2751 pow-prod-down_binary64_2877 frac-2neg_binary64_2817
Counts
3 → 62
Calls

6 calls:

8.0ms
(*.f64 (sin.f64 x) (pow.f64 (/.f64 (*.f64 (sqrt.f64 1) (sinh.f64 y)) y) 1))
6.0ms
(/.f64 (*.f64 (sqrt.f64 1) (sinh.f64 y)) y)
1.0ms
(sinh.f64 y)
0.0ms
(/.f64 (*.f64 (sqrt.f64 1) (sinh.f64 y)) y)
0.0ms
(*.f64 (sin.f64 x) (pow.f64 (/.f64 (*.f64 (sqrt.f64 1) (sinh.f64 y)) y) 1))

series340.0ms (0.3%)

Counts
3 → 19
Calls

3 calls:

229.0ms
(*.f64 (sin.f64 x) (pow.f64 (/.f64 (*.f64 (sqrt.f64 1) (sinh.f64 y)) y) 1))
67.0ms
(/.f64 (*.f64 (sqrt.f64 1) (sinh.f64 y)) y)
43.0ms
(sinh.f64 y)
Compiler

Compiled 599 to 496 computations (17.2% saved)

simplify68.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
04940961
14940961

localize5.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b
(/.f64 y (sinh.f64 y))
0.0b
(sinh.f64 y)
0.0b
(sinh.f64 y)
0.0b
(/.f64 y (sinh.f64 y))

rewrite7.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
10×add-sqr-sqrt_binary64_2828 *-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
9×times-frac_binary64_2812
4×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842
3×associate-/r*_binary64_2750 associate-/l*_binary64_2751
2×add-log-exp_binary64_2845 pow1_binary64_2867 sinh-def_binary64_2991
1×div-inv_binary64_2803 div-exp_binary64_2857 cbrt-undiv_binary64_2840 clear-num_binary64_2805 associate-/r/_binary64_2752 frac-2neg_binary64_2817
Counts
2 → 36
Calls

4 calls:

3.0ms
(/.f64 y (sinh.f64 y))
1.0ms
(sinh.f64 y)
0.0ms
(sinh.f64 y)
0.0ms
(/.f64 y (sinh.f64 y))

series141.0ms (0.1%)

Counts
2 → 10
Calls

2 calls:

97.0ms
(/.f64 y (sinh.f64 y))
43.0ms
(sinh.f64 y)
Compiler

Compiled 212 to 184 computations (13.2% saved)

simplify63.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
46 → 46
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
06103491

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(*.f64 1/720 (*.f64 (pow.f64 y 4) (pow.f64 x 3)))
0.1b
(*.f64 1/120 (*.f64 x (pow.f64 y 4)))
0.0b
(-.f64 (+.f64 (*.f64 1/6 (*.f64 (*.f64 y y) x)) (+.f64 x (*.f64 1/120 (*.f64 x (pow.f64 y 4))))) (+.f64 (*.f64 1/720 (*.f64 (pow.f64 y 4) (pow.f64 x 3))) (+.f64 (*.f64 1/36 (*.f64 (*.f64 y y) (pow.f64 x 3))) (*.f64 1/6 (pow.f64 x 3)))))
0.0b
(+.f64 (*.f64 1/6 (*.f64 (*.f64 y y) x)) (+.f64 x (*.f64 1/120 (*.f64 x (pow.f64 y 4)))))
4.0b
(*.f64 x (pow.f64 y 4))
8.2b
(*.f64 (*.f64 y y) x)
14.8b
(*.f64 (*.f64 y y) (pow.f64 x 3))
18.2b
(*.f64 (pow.f64 y 4) (pow.f64 x 3))

rewrite48.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
42×add-sqr-sqrt_binary64_2828
39×add-exp-log_binary64_2844
34×associate-*r*_binary64_2746
24×prod-exp_binary64_2855
21×unpow-prod-down_binary64_2885
20×unswap-sqr_binary64_2774
18×add-cbrt-cube_binary64_2842
16×*-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
13×sqr-pow_binary64_2778
12×associate-*l*_binary64_2747
10×cube-prod_binary64_2834
9×pow-exp_binary64_2874 pow-to-exp_binary64_2875 pow1_binary64_2867
8×cbrt-unprod_binary64_2839
4×*-commutative_binary64_2737 add-log-exp_binary64_2845
3×pow-prod-down_binary64_2877
2×unpow3_binary64_2872 cube-mult_binary64_2836
Counts
4 → 126
Calls

8 calls:

8.0ms
(*.f64 (pow.f64 y 4) (pow.f64 x 3))
8.0ms
(*.f64 (*.f64 y y) (pow.f64 x 3))
6.0ms
(*.f64 (*.f64 y y) x)
6.0ms
(*.f64 x (pow.f64 y 4))
0.0ms
(+.f64 (*.f64 1/6 (*.f64 (*.f64 y y) x)) (+.f64 x (*.f64 1/120 (*.f64 x (pow.f64 y 4)))))

series399.0ms (0.4%)

Counts
4 → 24
Calls

4 calls:

124.0ms
(*.f64 (pow.f64 y 4) (pow.f64 x 3))
109.0ms
(*.f64 (*.f64 y y) (pow.f64 x 3))
91.0ms
(*.f64 x (pow.f64 y 4))
75.0ms
(*.f64 (*.f64 y y) x)
Compiler

Compiled 2064 to 1584 computations (23.3% saved)

simplify98.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
150 → 150
Iterations

Useful iterations: 0 (75.0ms)

IterNodesCost
049481665
149481665

localize14.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(sqrt.f64 (sqrt.f64 (sinh.f64 y)))
0.1b
(sqrt.f64 (sqrt.f64 (sinh.f64 y)))
0.0b
(sinh.f64 y)
0.0b
(sinh.f64 y)
0.1b
(sqrt.f64 (sqrt.f64 (sinh.f64 y)))
0.1b
(/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (sinh.f64 y))) 3) y)
0.2b
(*.f64 (/.f64 (sqrt.f64 (sqrt.f64 (sinh.f64 y))) (sqrt.f64 1)) (/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (sinh.f64 y))) 3) y))
0.3b
(pow.f64 (sqrt.f64 (sqrt.f64 (sinh.f64 y))) 3)

rewrite170.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
455×add-sqr-sqrt_binary64_2828
430×sqrt-prod_binary64_2822
359×times-frac_binary64_2812
176×*-un-lft-identity_binary64_2806
149×add-cube-cbrt_binary64_2841
102×cube-prod_binary64_2834 unpow-prod-down_binary64_2885
90×unswap-sqr_binary64_2774
76×associate-*r*_binary64_2746
58×associate-*l*_binary64_2747
34×add-exp-log_binary64_2844
24×associate-/l*_binary64_2751
19×add-cbrt-cube_binary64_2842
18×sqr-pow_binary64_2778
13×div-exp_binary64_2857
11×pow1_binary64_2867
8×sqrt-pow1_binary64_2824 unpow3_binary64_2872 prod-exp_binary64_2855 cube-mult_binary64_2836
6×sqrt-div_binary64_2823
5×cbrt-undiv_binary64_2840 pow-pow_binary64_2878
4×pow-exp_binary64_2874 pow1/2_binary64_2886 pow-to-exp_binary64_2875 cbrt-unprod_binary64_2839 add-log-exp_binary64_2845
3×div-inv_binary64_2803 associate-/r*_binary64_2750 pow-unpow_binary64_2883 sinh-def_binary64_2991
2×rem-sqrt-square_binary64_2819 cube-div_binary64_2835
1×frac-times_binary64_2816 associate-/l/_binary64_2753 *-commutative_binary64_2737 sqrt-pow2_binary64_2825 clear-num_binary64_2805 associate-*r/_binary64_2748 pow-prod-down_binary64_2877 associate-*l/_binary64_2749 frac-2neg_binary64_2817 rem-cube-cbrt_binary64_2829
Counts
4 → 423
Calls

8 calls:

83.0ms
(*.f64 (/.f64 (sqrt.f64 (sqrt.f64 (sinh.f64 y))) (sqrt.f64 1)) (/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (sinh.f64 y))) 3) y))
10.0ms
(/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (sinh.f64 y))) 3) y)
5.0ms
(pow.f64 (sqrt.f64 (sqrt.f64 (sinh.f64 y))) 3)
2.0ms
(sqrt.f64 (sqrt.f64 (sinh.f64 y)))
0.0ms
(sinh.f64 y)

series764.0ms (0.8%)

Counts
4 → 17
Calls

4 calls:

337.0ms
(/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (sinh.f64 y))) 3) y)
208.0ms
(pow.f64 (sqrt.f64 (sqrt.f64 (sinh.f64 y))) 3)
140.0ms
(sqrt.f64 (sqrt.f64 (sinh.f64 y)))
77.0ms
(*.f64 (/.f64 (sqrt.f64 (sqrt.f64 (sinh.f64 y))) (sqrt.f64 1)) (/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (sinh.f64 y))) 3) y))
Compiler

Compiled 672 to 602 computations (10.4% saved)

simplify160.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
440 → 440
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
054488335

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 1/120 (pow.f64 y 5))
0.0b
(+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))
0.0b
(+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))
0.0b
(+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))
0.1b
(/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y)
0.1b
(/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y)
0.2b
(*.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y)))
0.2b
(*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y)))

rewrite129.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
101×sqrt-prod_binary64_2822
84×add-sqr-sqrt_binary64_2828
76×times-frac_binary64_2812
64×*-un-lft-identity_binary64_2806 add-cube-cbrt_binary64_2841
50×associate-*r*_binary64_2746
31×sqrt-div_binary64_2823
16×pow1_binary64_2867
15×add-exp-log_binary64_2844 add-cbrt-cube_binary64_2842
12×associate-/l*_binary64_2751
11×frac-times_binary64_2816 associate-*l/_binary64_2749
10×pow-prod-down_binary64_2877
8×flip-+_binary64_2780 flip3-+_binary64_2809 unswap-sqr_binary64_2774
7×associate-*l*_binary64_2747
6×associate-/r*_binary64_2750
5×pow1/2_binary64_2886 sqrt-pow1_binary64_2824
4×associate-/l/_binary64_2753 div-inv_binary64_2803 prod-exp_binary64_2855 cbrt-unprod_binary64_2839 add-log-exp_binary64_2845 associate-*r/_binary64_2748
3×sqrt-unprod_binary64_2826
2×div-exp_binary64_2857 *-commutative_binary64_2737 cbrt-undiv_binary64_2840 clear-num_binary64_2805 frac-2neg_binary64_2817
Counts
4 → 194
Calls

8 calls:

38.0ms
(*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y)))
26.0ms
(*.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y)))
10.0ms
(/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y)
10.0ms
(/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y)
0.0ms
(+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))

series311.0ms (0.3%)

Counts
4 → 16
Calls

4 calls:

168.0ms
(*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y)))
73.0ms
(*.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) (sqrt.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y)))
36.0ms
(/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y)
33.0ms
(/.f64 (sqrt.f64 (+.f64 (*.f64 1/6 (pow.f64 y 3)) (+.f64 y (*.f64 1/120 (pow.f64 y 5))))) y)
Compiler

Compiled 867 to 736 computations (15.1% saved)

simplify152.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
210 → 210
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
049259608
149259608

prune28.9s (29.2%)

Pruning

531 alts after pruning (517 fresh and 14 done)

PrunedKeptTotal
New674253927
Fresh36264300
Picked000
Done11415
Total7115311242
Error
0b
Counts
1242 → 531
Compiler

Compiled 18213 to 11422 computations (37.3% saved)

simplify786.0ms (0.8%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
0498654697
1498654697

regimes11.5s (11.6%)

Compiler

Compiled 138260 to 103374 computations (25.2% saved)

bsearch0.0ms (0%)

regimes97.0ms (0.1%)

Compiler

Compiled 486 to 475 computations (2.3% saved)

bsearch0.0ms (0%)

regimes65.0ms (0.1%)

Compiler

Compiled 240 to 250 computations (-4.2% saved)

bsearch0.0ms (0%)

regimes36.0ms (0%)

Compiler

Compiled 40 to 54 computations (-35% saved)

bsearch75.0ms (0.1%)

Steps
ItersRangePoint
9
40669462.89869475
10212276563696.275
572766408024.7566
9
-201419.4639625033
-0.005819223523949749
-4.409924039078042
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes32.0ms (0%)

Compiler

Compiled 22 to 38 computations (-72.7% saved)

bsearch79.0ms (0.1%)

Steps
ItersRangePoint
9
40669462.89869475
10212276563696.275
572766408024.7566
9
-201419.4639625033
-0.005819223523949749
-0.9994627164154166
Compiler

Compiled 1 to 2 computations (-100% saved)

regimes27.0ms (0%)

Accuracy

Total 0.0b remaining (99.3%)

Threshold costs 0.0b (99.3%)

Compiler

Compiled 10 to 24 computations (-140% saved)

bsearch77.0ms (0.1%)

Steps
ItersRangePoint
9
0.03049494159556509
40669462.89869475
1.0049213394714394
9
-201419.4639625033
-0.005819223523949749
-127.64612630914485
Compiler

Compiled 62 to 58 computations (6.5% saved)

simplify7.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
07387
17387

end0.0ms (0%)

sample27.4s (27.7%)

Algorithm
1×intervals
Results
437.0ms1987×body1024valid
398.0ms1947×body1024invalid
240.0ms4546×body128valid
151.0ms1007×body512valid
138.0ms978×body512invalid
130.0ms2453×body128invalid
54.0ms458×body256valid
50.0ms471×body256invalid
1.0ms2×body2048valid
Compiler

Compiled 27837 to 20845 computations (25.1% saved)

Pareto

0.43858542899208686

Profiling

Loading profile data...