Details

Time bar (total: 16.2s)

analyze4.8s (29.6%)

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
12.5%87.4%0.1%7
12.5%87.4%0.1%8
31.2%68.6%0.1%9
31.2%68.6%0.1%10
31.2%68.6%0.1%11
40.6%59.3%0.1%12
40.6%59.3%0.1%13
40.6%59.3%0.1%14
Compiler

Compiled 34 to 19 computations (44.1% saved)

sample293.0ms (1.8%)

Algorithm
1×intervals
Results
153.0ms66×body1024valid
54.0ms136×body128valid
51.0ms38×body512valid
15.0ms16×body256valid
Compiler

Compiled 70 to 40 computations (42.9% saved)

simplify321.0ms (2%)

Algorithm
1×egg-herbie
Rules
1350×fma-def_binary64
1306×fma-neg_binary64
889×div-sub_binary64
757×associate-/r/_binary64
558×associate-/l*_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01950
14450
210950
322950
433350
551550
671750
798450
8130850
9163350
10158950
11159150
12162350
13167150
14167150
15210350
16259150
17255950
18261550
19278350
20287950
21292750
22335150
23331950
24331950
25248750
26286350
27259150
28259150
29259150
30259150
31237650

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.1b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.1b
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
Compiler

Compiled 99 to 54 computations (45.5% saved)

localize42.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(*.f64 (neg.f64 eh) (tan.f64 t))
2.0b
(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓2.0b
(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓20.6b
(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

rewrite23.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
11×add-sqr-sqrt_binary64
10×associate-*l*_binary64
10×add-cbrt-cube_binary64
10×add-exp-log_binary64
9×*-un-lft-identity_binary64
Counts
3 → 65
Calls

3 calls:

8.0ms
(*.f64 (neg.f64 eh) (tan.f64 t))
8.0ms
(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
2.0ms
(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series482.0ms (3%)

Counts
3 → 96
Calls

3 calls:

259.0ms
(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
131.0ms
(*.f64 (neg.f64 eh) (tan.f64 t))
91.0ms
(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

simplify189.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
780×fma-def_binary64
734×times-frac_binary64
280×associate-/r*_binary64
249×associate-/l/_binary64
177×associate-/r/_binary64
Counts
161 → 306
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01502442
13812295
213152284
344242282
449712282

prune221.0ms (1.4%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New4210421
Fresh000
Picked011
Done000
Total4211422
Error
0.1b
Counts
422 → 1
Alt Table
StatusErrorProgram
✓0.1b
(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
Compiler

Compiled 6246 to 1417 computations (77.3% saved)

regimes217.0ms (1.3%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 959 to 613 computations (36.1% saved)

simplify11.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
19×*-commutative_binary64
15×+-commutative_binary64
15×sub-neg_binary64
13×neg-sub0_binary64
13×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01950
13750
26750
39650
411750
512850
613050
713050

end1.0ms (0%)

Compiler

Compiled 33 to 18 computations (45.5% saved)

sample9.6s (59.3%)

Algorithm
1×intervals
Results
5.1s2067×body1024valid
2.0s4459×body128valid
1.5s991×body512valid
424.0ms476×body256valid
32.0ms7×body2048valid
Compiler

Compiled 103 to 58 computations (43.7% saved)

Profiling

Loading profile data...