Details

Time bar (total: 7.2s)

analyze804.0ms (11.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)

sample71.0ms (1%)

Algorithm
1×intervals
Results
35.0ms66×body1024valid
14.0ms137×body128valid
11.0ms33×body512valid
4.0ms20×body256valid
Compiler

Compiled 33 to 30 computations (9.1% saved)

simplify176.0ms (2.4%)

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: 14.4b

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)))
14.2b
(/.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-cbrt-cube_binary64_16960 add-exp-log_binary64_16962
10×pow1_binary64_16985 add-sqr-sqrt_binary64_16948
8×*-un-lft-identity_binary64_16927 add-cube-cbrt_binary64_16959
7×cbrt-unprod_binary64_16957 prod-exp_binary64_16973
6×associate-*l*_binary64_16870
4×pow-prod-down_binary64_16995 associate-*r*_binary64_16869
3×div-exp_binary64_16975 times-frac_binary64_16933 associate-/r*_binary64_16873 add-log-exp_binary64_16963 cbrt-undiv_binary64_16958
2×*-commutative_binary64_16860
1×unswap-sqr_binary64_16895 div-inv_binary64_16924 frac-2neg_binary64_16938 associate-/l*_binary64_16874 clear-num_binary64_16926
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)))

series205.0ms (2.9%)

Counts
3 → 9
Calls

3 calls:

120.0ms
(/.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) (*.f64 8/3 (sin.f64 (*.f64 x 1/2)))) (sin.f64 x))
52.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (*.f64 8/3 (sin.f64 (*.f64 x 1/2))))
32.0ms
(*.f64 8/3 (sin.f64 (*.f64 x 1/2)))

simplify83.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
049371066
149371066

prune108.0ms (1.5%)

Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New541468
Fresh000
Picked101
Done000
Total551469

Merged error: 0.1b

Counts
69 → 14
Compiler

Compiled 1387 to 1059 computations (23.6% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite26.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
19×add-cbrt-cube_binary64_16960 add-exp-log_binary64_16962
14×add-sqr-sqrt_binary64_16948
10×*-un-lft-identity_binary64_16927 add-cube-cbrt_binary64_16959 associate-*r*_binary64_16869
7×pow1_binary64_16985
6×cbrt-unprod_binary64_16957 associate-*l*_binary64_16870 prod-exp_binary64_16973 times-frac_binary64_16933
4×div-exp_binary64_16975 cbrt-undiv_binary64_16958
3×associate-/r*_binary64_16873 add-log-exp_binary64_16963
2×unswap-sqr_binary64_16895 div-inv_binary64_16924 pow-prod-down_binary64_16995 *-commutative_binary64_16860
1×associate-*r/_binary64_16871 frac-2neg_binary64_16938 associate-/l*_binary64_16874 clear-num_binary64_16926
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)))
6.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)

series241.0ms (3.3%)

Counts
3 → 9
Calls

3 calls:

124.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3) (sin.f64 x)))
82.0ms
(/.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) 8/3) (sin.f64 x))
34.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) 8/3)

simplify68.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
75 → 75
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
049191245
149191245

prune106.0ms (1.5%)

Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New67875
Fresh7613
Picked011
Done000
Total741589

Merged error: 0.0b

Counts
89 → 15
Compiler

Compiled 1629 to 1227 computations (24.7% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite51.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
34×add-cbrt-cube_binary64_16960 add-exp-log_binary64_16962
20×add-sqr-sqrt_binary64_16948
19×associate-*r*_binary64_16869
14×cbrt-unprod_binary64_16957 *-un-lft-identity_binary64_16927 prod-exp_binary64_16973 add-cube-cbrt_binary64_16959
13×pow1_binary64_16985
7×associate-*l*_binary64_16870 sqrt-prod_binary64_16942
6×div-exp_binary64_16975 times-frac_binary64_16933 cbrt-undiv_binary64_16958
5×pow-prod-down_binary64_16995
4×add-log-exp_binary64_16963
3×unswap-sqr_binary64_16895 *-commutative_binary64_16860 associate-/r*_binary64_16873
2×div-inv_binary64_16924
1×associate-*r/_binary64_16871 frac-2neg_binary64_16938 associate-/l*_binary64_16874 clear-num_binary64_16926
Counts
4 → 95
Calls

4 calls:

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

series479.0ms (6.7%)

Counts
4 → 12
Calls

4 calls:

180.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (/.f64 (*.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3)) (sqrt.f64 8/3)) (sin.f64 x)))
168.0ms
(/.f64 (*.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3)) (sqrt.f64 8/3)) (sin.f64 x))
78.0ms
(*.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3)) (sqrt.f64 8/3))
53.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3))

simplify90.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
049081753
149081753

prune146.0ms (2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1043107
Fresh7613
Picked101
Done011
Total11210122

Merged error: 0.0b

Counts
122 → 10
Compiler

Compiled 2284 to 1772 computations (22.4% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite62.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
105×add-exp-log_binary64_16962
64×prod-exp_binary64_16973
61×add-cbrt-cube_binary64_16960
34×cbrt-unprod_binary64_16957
33×pow1_binary64_16985
22×*-un-lft-identity_binary64_16927 add-sqr-sqrt_binary64_16948 add-cube-cbrt_binary64_16959
20×associate-*r*_binary64_16869
19×pow-prod-down_binary64_16995
18×times-frac_binary64_16933
14×div-exp_binary64_16975
7×1-exp_binary64_16968 rec-exp_binary64_16974 cbrt-undiv_binary64_16958
5×associate-*l*_binary64_16870
4×associate-*r/_binary64_16871 add-log-exp_binary64_16963
3×*-commutative_binary64_16860 sqrt-prod_binary64_16942 associate-/r*_binary64_16873 associate-/l*_binary64_16874
2×div-inv_binary64_16924 un-div-inv_binary64_16925
1×inv-pow_binary64_17009 pow-flip_binary64_16998 frac-2neg_binary64_16938 clear-num_binary64_16926
Counts
4 → 135
Calls

4 calls:

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

series476.0ms (6.6%)

Counts
4 → 12
Calls

4 calls:

197.0ms
(*.f64 (sin.f64 (*.f64 x 1/2)) (*.f64 (*.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3)) (sqrt.f64 8/3)) (/.f64 1 (sin.f64 x))))
161.0ms
(*.f64 (*.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3)) (sqrt.f64 8/3)) (/.f64 1 (sin.f64 x)))
85.0ms
(*.f64 (*.f64 (sin.f64 (*.f64 x 1/2)) (sqrt.f64 8/3)) (sqrt.f64 8/3))
34.0ms
(/.f64 1 (sin.f64 x))

simplify86.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
147 → 147
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
049542166
149542166

prune181.0ms (2.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New1470147
Fresh088
Picked011
Done011
Total14710157

Merged error: 0.0b

Counts
157 → 10
Compiler

Compiled 2848 to 2170 computations (23.8% saved)

regimes218.0ms (3%)

Compiler

Compiled 1940 to 1656 computations (14.6% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01629
11629

end0.0ms (0%)

sample3.4s (47.8%)

Algorithm
1×intervals
Results
1.1s2009×body1024valid
494.0ms4497×body128valid
325.0ms990×body512valid
117.0ms499×body256valid
6.0ms5×body2048valid
Compiler

Compiled 1004 to 859 computations (14.4% saved)

Profiling

Loading profile data...