Details

Time bar (total: 6.3s)

analyze827.0ms (13.2%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%100%0%3
37.5%62.5%0%4
43.7%56.2%0%5
46.9%53.1%0%6
48.4%51.5%0%7
49.2%50.8%0%8
49.6%50.4%0%9
49.8%50.2%0%10
49.9%50.1%0%11
49.9%50%0%12
50%50%0%13
50%49.9%0%14
Compiler

Compiled 17 to 15 computations (11.8% saved)

sample67.0ms (1.1%)

Algorithm
1×intervals
Results
26.0ms61×body1024valid
19.0ms146×body128valid
9.0ms31×body512valid
4.0ms16×body256valid
2.0ms2×body2048valid
Compiler

Compiled 33 to 30 computations (9.1% saved)

simplify97.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
05022
15022

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 16.1b

Counts
2 → 1
Compiler

Compiled 28 to 24 computations (14.3% saved)

localize13.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.2b
(*.f64 (sin.f64 (*.f64 x 1/2)) (*.f64 8/3 (sin.f64 (*.f64 x 1/2))))
0.3b
(*.f64 8/3 (sin.f64 (*.f64 x 1/2)))
15.9b
(/.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) (*.f64 8/3 (sin.f64 (*.f64 x 1/2)))) (sin.f64 x))

rewrite26.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
19×add-exp-log_binary64_16825 add-cbrt-cube_binary64_16823
10×pow1_binary64_16848 add-sqr-sqrt_binary64_16809
8×add-cube-cbrt_binary64_16822 *-un-lft-identity_binary64_16787
7×cbrt-unprod_binary64_16820 prod-exp_binary64_16836
6×associate-*l*_binary64_16728
4×associate-*r*_binary64_16727 pow-prod-down_binary64_16858
3×cbrt-undiv_binary64_16821 add-log-exp_binary64_16826 times-frac_binary64_16793 div-exp_binary64_16838 associate-/r*_binary64_16731
2×*-commutative_binary64_16718
1×associate-/l*_binary64_16732 clear-num_binary64_16786 unswap-sqr_binary64_16755 frac-2neg_binary64_16798 div-inv_binary64_16784
Counts
3 → 59
Calls

3 calls:

9.0ms
(/.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) (*.f64 8/3 (sin.f64 (*.f64 x 1/2)))) (sin.f64 x))
7.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (*.f64 8/3 (sin.f64 (*.f64 x 1/2))))
5.0ms
(*.f64 8/3 (sin.f64 (*.f64 x 1/2)))

series171.0ms (2.7%)

Counts
3 → 18
Calls

3 calls:

82.0ms
(/.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) (*.f64 8/3 (sin.f64 (*.f64 x 1/2)))) (sin.f64 x))
53.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (*.f64 8/3 (sin.f64 (*.f64 x 1/2))))
36.0ms
(*.f64 8/3 (sin.f64 (*.f64 x 1/2)))
Compiler

Compiled 348 to 302 computations (13.2% saved)

simplify70.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
77 → 77
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
049011346
149011346

prune116.0ms (1.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New631477
Fresh000
Picked101
Done000
Total641478

Merged error: 0.1b

Counts
78 → 14
Compiler

Compiled 1633 to 1240 computations (24.1% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.3b
(*.f64 (sin.f64 (*.f64 x 1/2)) 8/3)
0.4b
(/.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3) (sin.f64 x))
0.4b
(*.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3) (sin.f64 x)))

rewrite27.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
19×add-exp-log_binary64_16825 add-cbrt-cube_binary64_16823
14×add-sqr-sqrt_binary64_16809
10×associate-*r*_binary64_16727 add-cube-cbrt_binary64_16822 *-un-lft-identity_binary64_16787
7×pow1_binary64_16848
6×cbrt-unprod_binary64_16820 times-frac_binary64_16793 prod-exp_binary64_16836 associate-*l*_binary64_16728
4×cbrt-undiv_binary64_16821 div-exp_binary64_16838
3×add-log-exp_binary64_16826 associate-/r*_binary64_16731
2×*-commutative_binary64_16718 unswap-sqr_binary64_16755 div-inv_binary64_16784 pow-prod-down_binary64_16858
1×associate-/l*_binary64_16732 clear-num_binary64_16786 associate-*r/_binary64_16729 frac-2neg_binary64_16798
Counts
3 → 66
Calls

3 calls:

9.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3) (sin.f64 x)))
5.0ms
(/.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3) (sin.f64 x))
5.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) 8/3)

series179.0ms (2.8%)

Counts
3 → 18
Calls

3 calls:

75.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3) (sin.f64 x)))
61.0ms
(/.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3) (sin.f64 x))
42.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) 8/3)
Compiler

Compiled 360 to 314 computations (12.8% saved)

simplify70.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
051261472

prune114.0ms (1.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New77784
Fresh8513
Picked101
Done000
Total861298

Merged error: 0.0b

Counts
98 → 12
Compiler

Compiled 1800 to 1355 computations (24.7% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.3b
(*.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 8/3 (sin.f64 x)))
0.4b
(/.f64 8/3 (sin.f64 x))
0.4b
(*.f64 (sin.f64 (*.f64 x 1/2)) (*.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))))

rewrite29.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
25×add-sqr-sqrt_binary64_16809
20×add-cube-cbrt_binary64_16822 *-un-lft-identity_binary64_16787
19×times-frac_binary64_16793 add-exp-log_binary64_16825 add-cbrt-cube_binary64_16823
14×associate-*r*_binary64_16727
10×pow1_binary64_16848
7×cbrt-unprod_binary64_16820 prod-exp_binary64_16836
6×associate-*l*_binary64_16728
4×pow-prod-down_binary64_16858
3×cbrt-undiv_binary64_16821 add-log-exp_binary64_16826 associate-/l*_binary64_16732 div-exp_binary64_16838 associate-*r/_binary64_16729 associate-/r*_binary64_16731
2×*-commutative_binary64_16718 unswap-sqr_binary64_16755 div-inv_binary64_16784
1×clear-num_binary64_16786 frac-2neg_binary64_16798
Counts
3 → 80
Calls

3 calls:

9.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (*.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))))
9.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 8/3 (sin.f64 x)))
4.0ms
(/.f64 8/3 (sin.f64 x))

series182.0ms (2.9%)

Counts
3 → 18
Calls

3 calls:

81.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (*.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 8/3 (sin.f64 x))))
62.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 8/3 (sin.f64 x)))
39.0ms
(/.f64 8/3 (sin.f64 x))
Compiler

Compiled 376 to 330 computations (12.2% saved)

simplify72.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
051931559

prune125.0ms (2%)

Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New96298
Fresh2911
Picked011
Done000
Total9812110

Merged error: 0.0b

Counts
110 → 12
Compiler

Compiled 2065 to 1530 computations (25.9% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b
(/.f64 1 (/.f64 (sin.f64 x) (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3)))
0.1b
(/.f64 (sin.f64 x) (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3))
0.3b
(*.f64 (sin.f64 (*.f64 x 1/2)) 8/3)
0.4b
(*.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 1 (/.f64 (sin.f64 x) (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3))))

rewrite53.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
68×times-frac_binary64_16793
64×add-exp-log_binary64_16825
48×add-sqr-sqrt_binary64_16809
40×*-un-lft-identity_binary64_16787
39×add-cube-cbrt_binary64_16822
34×add-cbrt-cube_binary64_16823
29×associate-*r*_binary64_16727
26×div-exp_binary64_16838
18×prod-exp_binary64_16836
12×cbrt-undiv_binary64_16821
10×div-inv_binary64_16784
9×pow1_binary64_16848
8×cbrt-unprod_binary64_16820 associate-/r*_binary64_16731
6×associate-/l*_binary64_16732 rec-exp_binary64_16837 1-exp_binary64_16831 associate-*l*_binary64_16728
4×add-log-exp_binary64_16826 unswap-sqr_binary64_16755
2×clear-num_binary64_16786 *-commutative_binary64_16718 associate-/r/_binary64_16733 frac-2neg_binary64_16798 pow-prod-down_binary64_16858
1×un-div-inv_binary64_16785 associate-*r/_binary64_16729 pow-flip_binary64_16861 inv-pow_binary64_16872
Counts
4 → 152
Calls

4 calls:

17.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 1 (/.f64 (sin.f64 x) (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3))))
7.0ms
(/.f64 1 (/.f64 (sin.f64 x) (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3)))
5.0ms
(/.f64 (sin.f64 x) (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3))
5.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) 8/3)

series234.0ms (3.7%)

Counts
4 → 24
Calls

4 calls:

78.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 1 (/.f64 (sin.f64 x) (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3))))
63.0ms
(/.f64 (sin.f64 x) (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3))
60.0ms
(/.f64 1 (/.f64 (sin.f64 x) (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3)))
33.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) 8/3)
Compiler

Compiled 516 to 456 computations (11.6% saved)

simplify93.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
176 → 176
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
049263503
149263503

prune223.0ms (3.6%)

Pruning

12 alts after pruning (10 fresh and 2 done)

PrunedKeptTotal
New1742176
Fresh2810
Picked011
Done011
Total17612188

Merged error: 0.0b

Counts
188 → 12
Compiler

Compiled 3645 to 2723 computations (25.3% saved)

regimes233.0ms (3.7%)

Compiler

Compiled 2248 to 1898 computations (15.6% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01322
11322

end0.0ms (0%)

sample3.2s (51.4%)

Algorithm
1×intervals
Results
904.0ms1988×body1024valid
493.0ms4521×body128valid
307.0ms994×body512valid
108.0ms487×body256valid
8.0ms10×body2048valid
Compiler

Compiled 1154 to 976 computations (15.4% saved)

Profiling

Loading profile data...