Details

Time bar (total: 7.7s)

analyze933.0ms (12.1%)

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
0%99.9%0.1%5
0%99.9%0.1%6
18.7%81.2%0.1%7
32.8%67.1%0.1%8
38.2%61.7%0.1%9
41%58.9%0.1%10
43.9%56%0.1%11
45.4%54.5%0.1%12
46.9%53%0.1%13
47.6%52.3%0.1%14
Compiler

Compiled 14 to 12 computations (14.3% saved)

sample58.0ms (0.8%)

Algorithm
1×intervals
Results
16.0ms32×body2048valid
13.0ms42×body1024valid
11.0ms135×body128valid
6.0ms27×body512valid
3.0ms20×body256valid
Compiler

Compiled 27 to 25 computations (7.4% saved)

simplify109.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
01420
11420

prune8.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 34.1b

Counts
2 → 1
Compiler

Compiled 26 to 22 computations (15.4% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b
(/.f64 x (*.f64 y 2))
5.5b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
28.2b
(sin.f64 (/.f64 x (*.f64 y 2)))
28.5b
(tan.f64 (/.f64 x (*.f64 y 2)))

rewrite18.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
14×*-un-lft-identity_binary64_18151 add-sqr-sqrt_binary64_18173 add-cube-cbrt_binary64_18186
12×times-frac_binary64_18157
11×add-cbrt-cube_binary64_18187 add-exp-log_binary64_18189
6×associate-/l*_binary64_18096
4×pow1_binary64_18212 add-log-exp_binary64_18190 associate-/r*_binary64_18095
3×div-exp_binary64_18202 cbrt-undiv_binary64_18185
2×div-inv_binary64_18148 tan-quot_binary64_18310 clear-num_binary64_18150 frac-2neg_binary64_18162
1×associate-/l/_binary64_18098 prod-exp_binary64_18200 cbrt-unprod_binary64_18184
Counts
4 → 64
Calls

4 calls:

5.0ms
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
4.0ms
(/.f64 x (*.f64 y 2))
2.0ms
(tan.f64 (/.f64 x (*.f64 y 2)))
2.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))

series172.0ms (2.2%)

Counts
4 → 12
Calls

4 calls:

84.0ms
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
55.0ms
(tan.f64 (/.f64 x (*.f64 y 2)))
22.0ms
(/.f64 x (*.f64 y 2))
12.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))

simplify83.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
049291361
149291361

prune183.0ms (2.4%)

Pruning

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New562076
Fresh000
Picked101
Done000
Total572077

Merged error: 25.3b

Counts
77 → 20
Compiler

Compiled 1845 to 1354 computations (26.6% saved)

localize1.0ms (0%)

rewrite0.0ms (0%)

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

series0.0ms (0%)

Counts
0 → 0

simplify12.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune24.0ms (0.3%)

Pruning

20 alts after pruning (19 fresh and 1 done)

PrunedKeptTotal
New000
Fresh01919
Picked011
Done000
Total02020

Merged error: 25.3b

Counts
20 → 20
Compiler

Compiled 425 to 345 computations (18.8% saved)

localize21.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.4b
(pow.f64 (/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2)))) 3)
5.5b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
28.2b
(sin.f64 (/.f64 x (*.f64 y 2)))
28.5b
(tan.f64 (/.f64 x (*.f64 y 2)))

rewrite31.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
27×*-un-lft-identity_binary64_18151 times-frac_binary64_18157 add-sqr-sqrt_binary64_18173 add-cube-cbrt_binary64_18186
13×unpow-prod-down_binary64_18230 cube-prod_binary64_18179
9×add-cbrt-cube_binary64_18187 add-exp-log_binary64_18189
5×pow1_binary64_18212
4×add-log-exp_binary64_18190
3×pow-unpow_binary64_18228 div-inv_binary64_18148 associate-/l*_binary64_18096 associate-/r*_binary64_18095
2×div-exp_binary64_18202 pow-exp_binary64_18219 rem-cube-cbrt_binary64_18174 tan-quot_binary64_18310 cbrt-undiv_binary64_18185
1×pow-to-exp_binary64_18220 associate-/l/_binary64_18098 unpow3_binary64_18217 pow-pow_binary64_18223 sqr-pow_binary64_18123 cube-mult_binary64_18181 clear-num_binary64_18150 cube-div_binary64_18180 frac-2neg_binary64_18162
Counts
4 → 89
Calls

4 calls:

9.0ms
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
6.0ms
(pow.f64 (/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2)))) 3)
4.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))
4.0ms
(tan.f64 (/.f64 x (*.f64 y 2)))

series281.0ms (3.6%)

Counts
4 → 12
Calls

4 calls:

128.0ms
(pow.f64 (/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2)))) 3)
77.0ms
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
62.0ms
(tan.f64 (/.f64 x (*.f64 y 2)))
14.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))

simplify85.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
101 → 101
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
055202665

prune201.0ms (2.6%)

Pruning

20 alts after pruning (19 fresh and 1 done)

PrunedKeptTotal
New956101
Fresh51318
Picked101
Done011
Total10120121

Merged error: 25.3b

Counts
121 → 20
Compiler

Compiled 2913 to 2235 computations (23.3% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

5.5b
(/.f64 (/.f64 (sin.f64 (/.f64 x (*.f64 y 2))) (cos.f64 (/.f64 x (*.f64 y 2)))) (sin.f64 (/.f64 x (*.f64 y 2))))
28.2b
(sin.f64 (/.f64 x (*.f64 y 2)))
28.2b
(sin.f64 (/.f64 x (*.f64 y 2)))
28.4b
(cos.f64 (/.f64 x (*.f64 y 2)))

rewrite27.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
75×times-frac_binary64_18157
46×*-un-lft-identity_binary64_18151 add-sqr-sqrt_binary64_18173 add-cube-cbrt_binary64_18186
13×associate-/l*_binary64_18096
9×add-cbrt-cube_binary64_18187 add-exp-log_binary64_18189
5×div-inv_binary64_18148
4×pow1_binary64_18212 add-log-exp_binary64_18190
3×div-exp_binary64_18202 cbrt-undiv_binary64_18185 associate-/r*_binary64_18095
1×associate-/l/_binary64_18098 clear-num_binary64_18150 frac-2neg_binary64_18162
Counts
4 → 91
Calls

4 calls:

10.0ms
(/.f64 (/.f64 (sin.f64 (/.f64 x (*.f64 y 2))) (cos.f64 (/.f64 x (*.f64 y 2)))) (sin.f64 (/.f64 x (*.f64 y 2))))
2.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
2.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))
2.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))

series94.0ms (1.2%)

Counts
4 → 12
Calls

4 calls:

47.0ms
(/.f64 (/.f64 (sin.f64 (/.f64 x (*.f64 y 2))) (cos.f64 (/.f64 x (*.f64 y 2)))) (sin.f64 (/.f64 x (*.f64 y 2))))
19.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))
15.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
13.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))

simplify124.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 0 (92.0ms)

IterNodesCost
049313321
149313321

prune198.0ms (2.6%)

Pruning

23 alts after pruning (22 fresh and 1 done)

PrunedKeptTotal
New958103
Fresh41418
Picked101
Done011
Total10023123

Merged error: 25.3b

Counts
123 → 23
Compiler

Compiled 3250 to 2470 computations (24% saved)

regimes911.0ms (11.8%)

Compiler

Compiled 8272 to 6870 computations (16.9% saved)

bsearch3.0ms (0%)

Compiler

Compiled 13 to 11 computations (15.4% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02262
12262

end0.0ms (0%)

sample4.1s (53.4%)

Algorithm
1×intervals
Results
601.0ms1100×body2048valid
490.0ms1349×body1024valid
389.0ms4258×body128valid
216.0ms831×body512valid
89.0ms459×body256valid
3.0ms3×body4096valid
Compiler

Compiled 1693 to 1405 computations (17% saved)

Profiling

Loading profile data...