Details

Time bar (total: 8.3s)

analyze917.0ms (11%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05022
15022
011
111
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)

sample66.0ms (0.8%)

Algorithm
1×intervals
Results
29.0ms69×body1024valid
14.0ms138×body128valid
10.0ms35×body512valid
3.0ms14×body256valid
Compiler

Compiled 33 to 30 computations (9.1% saved)

simplify8.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
05022
15022

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
12.1b
Counts
2 → 1
Compiler

Compiled 28 to 24 computations (14.3% saved)

localize9.0ms (0.1%)

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.4b
(*.f64 8/3 (sin.f64 (*.f64 x 1/2)))
11.9b
(/.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) (*.f64 8/3 (sin.f64 (*.f64 x 1/2)))) (sin.f64 x))

rewrite123.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
0.1b
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×prod-exp_binary64_16836 cbrt-unprod_binary64_16820
6×associate-*l*_binary64_16728
4×pow-prod-down_binary64_16858 associate-*r*_binary64_16727
3×div-exp_binary64_16838 add-log-exp_binary64_16826 cbrt-undiv_binary64_16821 times-frac_binary64_16793 associate-/r*_binary64_16731
2×*-commutative_binary64_16718
1×frac-2neg_binary64_16798 clear-num_binary64_16786 div-inv_binary64_16784 associate-/l*_binary64_16732 unswap-sqr_binary64_16755
Counts
3 → 59
Calls

3 calls:

9.0ms
(*.f64 8/3 (sin.f64 (*.f64 x 1/2)))
8.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))))
Compiler

Compiled 1330 to 993 computations (25.3% saved)

series136.0ms (1.6%)

Error
0.3b
Counts
3 → 12
Calls

3 calls:

62.0ms
(/.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) (*.f64 8/3 (sin.f64 (*.f64 x 1/2)))) (sin.f64 x))
38.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (*.f64 8/3 (sin.f64 (*.f64 x 1/2))))
23.0ms
(*.f64 8/3 (sin.f64 (*.f64 x 1/2)))
Compiler

Compiled 398 to 327 computations (17.8% saved)

simplify85.0ms (1%)

Algorithm
1×egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
049941054
149941054

prune101.0ms (1.2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New581371
Fresh000
Picked101
Done000
Total591372
Error
0.1b
Counts
72 → 13
Compiler

Compiled 1391 to 1069 computations (23.1% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite114.0ms (1.4%)

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

3 calls:

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

Compiled 1482 to 1080 computations (27.1% saved)

series141.0ms (1.7%)

Error
0.1b
Counts
3 → 12
Calls

3 calls:

65.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 (*.f64 8/3 (sin.f64 (*.f64 x 1/2))) (sin.f64 x)))
42.0ms
(/.f64 (*.f64 8/3 (sin.f64 (*.f64 x 1/2))) (sin.f64 x))
25.0ms
(*.f64 8/3 (sin.f64 (*.f64 x 1/2)))
Compiler

Compiled 406 to 336 computations (17.2% saved)

simplify82.0ms (1%)

Algorithm
1×egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
049861232
149861232

prune102.0ms (1.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New72678
Fresh6612
Picked101
Done000
Total791291
Error
0.0b
Counts
91 → 12
Compiler

Compiled 1599 to 1208 computations (24.5% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite205.0ms (2.5%)

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

4 calls:

12.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 (*.f64 (sqrt.f64 8/3) (*.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3))) (sin.f64 x)))
9.0ms
(/.f64 (*.f64 (sqrt.f64 8/3) (*.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3))) (sin.f64 x))
8.0ms
(*.f64 (sqrt.f64 8/3) (*.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3)))
7.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3))
Compiler

Compiled 2640 to 2092 computations (20.8% saved)

series280.0ms (3.4%)

Error
0.0b
Counts
4 → 16
Calls

4 calls:

104.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 (*.f64 (sqrt.f64 8/3) (*.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3))) (sin.f64 x)))
76.0ms
(/.f64 (*.f64 (sqrt.f64 8/3) (*.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3))) (sin.f64 x))
48.0ms
(*.f64 (sqrt.f64 8/3) (*.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3)))
34.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3))
Compiler

Compiled 824 to 720 computations (12.6% saved)

simplify91.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
111 → 111
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
049671733
149671733

prune152.0ms (1.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New1074111
Fresh4711
Picked101
Done000
Total11211123
Error
0b
Counts
123 → 11
Compiler

Compiled 2353 to 1831 computations (22.2% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite127.0ms (1.5%)

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

3 calls:

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

Compiled 1819 to 1308 computations (28.1% saved)

series142.0ms (1.7%)

Error
0b
Counts
3 → 12
Calls

3 calls:

69.0ms
(*.f64 (*.f64 8/3 (sin.f64 (*.f64 x 1/2))) (/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x)))
39.0ms
(/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x))
25.0ms
(*.f64 8/3 (sin.f64 (*.f64 x 1/2)))
Compiler

Compiled 416 to 346 computations (16.8% saved)

simplify83.0ms (1%)

Algorithm
1×egg-herbie
Counts
90 → 90
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
049261507
149261507

prune100.0ms (1.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New89190
Fresh2810
Picked011
Done000
Total9110101
Error
0b
Counts
101 → 10
Compiler

Compiled 1658 to 1196 computations (27.9% saved)

regimes661.0ms (7.9%)

Accuracy

Total 0.4b remaining (99.6%)

Threshold costs 0.4b (99.6%)

Compiler

Compiled 5036 to 4234 computations (15.9% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01629
11629

end0.0ms (0%)

sample4.6s (54.8%)

Algorithm
1×intervals
Results
862.0ms1993×body1024valid
473.0ms4493×body128valid
310.0ms1005×body512valid
100.0ms504×body256valid
4.0ms5×body2048valid
Compiler

Compiled 2552 to 2148 computations (15.8% saved)

Profiling

Loading profile data...