Details

Time bar (total: 10.7s)

analyze1.1s (10%)

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
18.7%81.2%0.1%8
29.7%69.5%0.9%9
30.4%67.9%1.7%10
36.3%61.1%2.6%11
36.9%59.5%3.6%12
39.9%55.9%4.2%13
40.2%54.9%4.9%14
Compiler

Compiled 17 to 11 computations (35.3% saved)

sample3.6s (33.7%)

Results
1.2s1041×body2048valid
1.0s1943×body1024valid
582.0ms4204×body128valid
355.0ms727×body512valid
167.0ms46×body4096valid
77.0ms295×body256valid
27.0ms197×body128invalid
7.0ms11×body2048invalid
4.0ms5×body8192exit
Compiler

Compiled 50 to 32 computations (36% saved)

simplify22.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
297×fma-def_binary64
157×fma-neg_binary64
50×cancel-sign-sub-inv_binary64
37×associate-/l*_binary64
33×sub-neg_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01123
12520
25020
312120
418120
524720
632120
738420
847020
948320
1050920
1146220

prune8.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
17.5b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶17.5b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
18.0b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 (PI.f64) l))))
Compiler

Compiled 88 to 48 computations (45.5% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
✓0.3b
(*.f64 (PI.f64) l)
✓3.6b
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))
✓33.8b
(tan.f64 (*.f64 (PI.f64) l))

series120.0ms (1.1%)

Counts
4 → 60
Calls

4 calls:

59.0ms
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))
45.0ms
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
13.0ms
(tan.f64 (*.f64 (PI.f64) l))
2.0ms
(*.f64 (PI.f64) l)

rewrite16.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
14×add-sqr-sqrt_binary64
12×*-un-lft-identity_binary64
12×add-cube-cbrt_binary64
11×add-cbrt-cube_binary64
11×add-exp-log_binary64
Counts
4 → 82
Calls

4 calls:

5.0ms
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
4.0ms
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))
3.0ms
(*.f64 (PI.f64) l)
1.0ms
(tan.f64 (*.f64 (PI.f64) l))

simplify111.0ms (1%)

Algorithm
1×egg-herbie
Rules
782×times-frac_binary64
624×fma-def_binary64
610×associate-/l*_binary64
223×fma-neg_binary64
147×cancel-sign-sub-inv_binary64
Counts
142 → 122
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01923051
14782877
215442771
349222768
448812768

prune191.0ms (1.8%)

Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New12716143
Fresh101
Picked101
Done000
Total12916145
Error
13.6b
Counts
145 → 16
Alt Table
StatusErrorProgram
39.4b
(-.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) l)) (sqrt.f64 (*.f64 (PI.f64) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
▶14.0b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))))
43.8b
(-.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (*.f64 (*.f64 l l) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
38.7b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 (PI.f64) l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 (PI.f64) l))) F)))
17.6b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (*.f64 (PI.f64) (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))) (*.f64 F F)))
39.6b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 l)))) (*.f64 F F)))
43.7b
(-.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (PI.f64) l) (*.f64 (PI.f64) l)) (*.f64 (PI.f64) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
40.7b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (sqrt.f64 (tan.f64 (*.f64 (PI.f64) l))) (/.f64 (*.f64 F F) (sqrt.f64 (tan.f64 (*.f64 (PI.f64) l))))))
14.0b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))
18.2b
(-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (PI.f64) l)) (cbrt.f64 (*.f64 (PI.f64) l))) (cbrt.f64 (*.f64 (PI.f64) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
17.7b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (PI.f64) l)) (cbrt.f64 (*.f64 (PI.f64) l))) (cbrt.f64 (*.f64 (PI.f64) l)))) (*.f64 F F)))
22.4b
(*.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (pow.f64 F 2))))
21.4b
(-.f64 (*.f64 (PI.f64) l) (expm1.f64 (log1p.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))))
39.4b
(-.f64 (*.f64 (*.f64 (PI.f64) (sqrt.f64 l)) (sqrt.f64 l)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
18.2b
(-.f64 (*.f64 (*.f64 (PI.f64) (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
17.6b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (*.f64 (cbrt.f64 (PI.f64)) l))) (*.f64 F F)))
Compiler

Compiled 3770 to 1161 computations (69.2% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)
0.3b
(*.f64 (PI.f64) l)
✓0.4b
(/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))
33.8b
(tan.f64 (*.f64 (PI.f64) l))

series135.0ms (1.3%)

Counts
2 → 48
Calls

2 calls:

76.0ms
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)
59.0ms
(/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))

rewrite46.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
405×times-frac_binary64
195×*-un-lft-identity_binary64
195×add-sqr-sqrt_binary64
195×add-cube-cbrt_binary64
47×associate-/r*_binary64
Counts
2 → 236
Calls

2 calls:

9.0ms
(/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))
3.0ms
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)

simplify366.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
587×fma-neg_binary64
352×*-commutative_binary64
291×fma-def_binary64
278×associate-/r/_binary64
242×unswap-sqr_binary64
Counts
284 → 341
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
02808467
15867416
218057073
321937067
428247067
540816913
644846901
749786901
848946901

prune652.0ms (6.1%)

Pruning

19 alts after pruning (18 fresh and 1 done)

PrunedKeptTotal
New3956401
Fresh31215
Picked011
Done000
Total39819417
Error
13.6b
Counts
417 → 19
Alt Table
StatusErrorProgram
39.4b
(-.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) l)) (sqrt.f64 (*.f64 (PI.f64) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
✓14.0b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))))
43.8b
(-.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (*.f64 (*.f64 l l) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
38.7b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 (PI.f64) l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 (PI.f64) l))) F)))
37.8b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (exp.f64 (log.f64 (*.f64 (PI.f64) l)))) F))))
17.7b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (PI.f64) l)) (cbrt.f64 (*.f64 (PI.f64) l))) (cbrt.f64 (*.f64 (PI.f64) l)))) (*.f64 F F)))
22.4b
(*.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (pow.f64 F 2))))
▶14.0b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l)))) (/.f64 1 F)))
14.2b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (PI.f64) l)) (cbrt.f64 (*.f64 (PI.f64) l))) (cbrt.f64 (*.f64 (PI.f64) l)))) F))))
37.5b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (sqrt.f64 F)) (/.f64 1 (pow.f64 F 3/2))))
14.1b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 (*.f64 (PI.f64) (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))) F))))
17.6b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (*.f64 (PI.f64) (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l))) (*.f64 F F)))
18.2b
(-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (PI.f64) l)) (cbrt.f64 (*.f64 (PI.f64) l))) (cbrt.f64 (*.f64 (PI.f64) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
21.4b
(-.f64 (*.f64 (PI.f64) l) (expm1.f64 (log1p.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))))
14.1b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (*.f64 l (cbrt.f64 (PI.f64))))) F))))
39.4b
(-.f64 (*.f64 (*.f64 (PI.f64) (sqrt.f64 l)) (sqrt.f64 l)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
18.2b
(-.f64 (*.f64 (*.f64 (PI.f64) (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
43.7b
(-.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (PI.f64) l) (*.f64 (PI.f64) l)) (*.f64 (PI.f64) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
17.6b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (*.f64 (cbrt.f64 (PI.f64)) l))) (*.f64 F F)))
Compiler

Compiled 11269 to 3645 computations (67.7% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(/.f64 F (tan.f64 (*.f64 (PI.f64) l)))
0.3b
(*.f64 (PI.f64) l)
✓0.7b
(/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l))))
33.8b
(tan.f64 (*.f64 (PI.f64) l))

series113.0ms (1.1%)

Counts
2 → 48
Calls

2 calls:

70.0ms
(/.f64 F (tan.f64 (*.f64 (PI.f64) l)))
42.0ms
(/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l))))

rewrite16.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
87×times-frac_binary64
53×*-un-lft-identity_binary64
53×add-sqr-sqrt_binary64
53×add-cube-cbrt_binary64
17×associate-/r*_binary64
Counts
2 → 112
Calls

2 calls:

6.0ms
(/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l))))
3.0ms
(/.f64 F (tan.f64 (*.f64 (PI.f64) l)))

simplify138.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
495×distribute-rgt-neg-in_binary64
469×distribute-lft-neg-in_binary64
412×associate-*l*_binary64
397×associate-*r*_binary64
312×fma-neg_binary64
Counts
160 → 162
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01583444
13273146
29403099
330823095
448153095
550303095

prune294.0ms (2.8%)

Pruning

13 alts after pruning (12 fresh and 1 done)

PrunedKeptTotal
New2184222
Fresh9817
Picked101
Done011
Total22813241
Error
1.3b
Counts
241 → 13
Alt Table
StatusErrorProgram
39.4b
(-.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) l)) (sqrt.f64 (*.f64 (PI.f64) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
✓14.0b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))))
43.8b
(-.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (*.f64 (*.f64 l l) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
38.7b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 (PI.f64) l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 (PI.f64) l))) F)))
21.4b
(-.f64 (*.f64 (PI.f64) l) (expm1.f64 (log1p.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))))
14.2b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (/.f64 F (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (PI.f64) l)) (cbrt.f64 (*.f64 (PI.f64) l))) (cbrt.f64 (*.f64 (PI.f64) l)))))) (/.f64 1 F)))
14.7b
(-.f64 (*.f64 (*.f64 (PI.f64) (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)) (*.f64 (/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l)))) (/.f64 1 F)))
43.7b
(-.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (PI.f64) l) (*.f64 (PI.f64) l)) (*.f64 (PI.f64) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
18.2b
(-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (PI.f64) l)) (cbrt.f64 (*.f64 (PI.f64) l))) (cbrt.f64 (*.f64 (PI.f64) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
22.4b
(*.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (pow.f64 F 2))))
37.5b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (sqrt.f64 F)) (/.f64 1 (pow.f64 F 3/2))))
▶1.5b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (-.f64 (/.f64 F (*.f64 (PI.f64) l)) (+.f64 (*.f64 1/3 (*.f64 (PI.f64) (*.f64 F l))) (+.f64 (*.f64 2/945 (*.f64 (pow.f64 (PI.f64) 5) (*.f64 (pow.f64 l 5) F))) (*.f64 1/45 (*.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 l 3) F))))))) (/.f64 1 F)))
37.4b
(-.f64 (*.f64 (*.f64 (PI.f64) (sqrt.f64 l)) (sqrt.f64 l)) (*.f64 (/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l)))) (/.f64 1 F)))
Compiler

Compiled 6036 to 2546 computations (57.8% saved)

localize28.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓1.0b
(pow.f64 (PI.f64) 5)
✓2.1b
(*.f64 (/.f64 1 (-.f64 (/.f64 F (*.f64 (PI.f64) l)) (+.f64 (*.f64 1/3 (*.f64 (PI.f64) (*.f64 F l))) (+.f64 (*.f64 2/945 (*.f64 (pow.f64 (PI.f64) 5) (*.f64 (pow.f64 l 5) F))) (*.f64 1/45 (*.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 l 3) F))))))) (/.f64 1 F))
✓2.9b
(*.f64 (pow.f64 l 5) F)
✓5.2b
(*.f64 (pow.f64 l 3) F)

series520.0ms (4.9%)

Counts
4 → 48
Calls

4 calls:

492.0ms
(*.f64 (/.f64 1 (-.f64 (/.f64 F (*.f64 (PI.f64) l)) (+.f64 (*.f64 1/3 (*.f64 (PI.f64) (*.f64 F l))) (+.f64 (*.f64 2/945 (*.f64 (pow.f64 (PI.f64) 5) (*.f64 (pow.f64 l 5) F))) (*.f64 1/45 (*.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 l 3) F))))))) (/.f64 1 F))
16.0ms
(*.f64 (pow.f64 l 5) F)
11.0ms
(*.f64 (pow.f64 l 3) F)
0.0ms
(pow.f64 (PI.f64) 5)

rewrite59.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
71×add-sqr-sqrt_binary64
55×add-exp-log_binary64
42×associate-*l*_binary64
41×*-un-lft-identity_binary64
36×times-frac_binary64
Counts
4 → 161
Calls

4 calls:

27.0ms
(*.f64 (/.f64 1 (-.f64 (/.f64 F (*.f64 (PI.f64) l)) (+.f64 (*.f64 1/3 (*.f64 (PI.f64) (*.f64 F l))) (+.f64 (*.f64 2/945 (*.f64 (pow.f64 (PI.f64) 5) (*.f64 (pow.f64 l 5) F))) (*.f64 1/45 (*.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 l 3) F))))))) (/.f64 1 F))
5.0ms
(*.f64 (pow.f64 l 3) F)
4.0ms
(*.f64 (pow.f64 l 5) F)
1.0ms
(pow.f64 (PI.f64) 5)

simplify216.0ms (2%)

Algorithm
1×egg-herbie
Rules
808×times-frac_binary64
732×fma-def_binary64
357×associate-*l*_binary64
329×associate-*r*_binary64
181×*-commutative_binary64
Counts
209 → 252
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03018648
17827912
229857853
352727853

prune540.0ms (5.1%)

Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New2493252
Fresh01111
Picked101
Done011
Total25015265
Error
0.8b
Counts
265 → 15
Alt Table
StatusErrorProgram
39.4b
(-.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) l)) (sqrt.f64 (*.f64 (PI.f64) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
✓14.0b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))))
43.8b
(-.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (*.f64 (*.f64 l l) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
38.7b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 (PI.f64) l))) F) (/.f64 (sqrt.f64 (tan.f64 (*.f64 (PI.f64) l))) F)))
21.4b
(-.f64 (*.f64 (PI.f64) l) (expm1.f64 (log1p.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))))
14.2b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (/.f64 F (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (PI.f64) l)) (cbrt.f64 (*.f64 (PI.f64) l))) (cbrt.f64 (*.f64 (PI.f64) l)))))) (/.f64 1 F)))
5.1b
(-.f64 (*.f64 (PI.f64) l) (expm1.f64 (log1p.f64 (/.f64 (/.f64 1 (-.f64 (/.f64 F (*.f64 l (PI.f64))) (fma.f64 1/3 (*.f64 F (*.f64 l (PI.f64))) (fma.f64 2/945 (*.f64 F (*.f64 (pow.f64 l 5) (pow.f64 (PI.f64) 5))) (*.f64 1/45 (*.f64 F (*.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)))))))) F))))
14.7b
(-.f64 (*.f64 (*.f64 (PI.f64) (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (cbrt.f64 l)) (*.f64 (/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l)))) (/.f64 1 F)))
43.7b
(-.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (PI.f64) l) (*.f64 (PI.f64) l)) (*.f64 (PI.f64) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
18.2b
(-.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (PI.f64) l)) (cbrt.f64 (*.f64 (PI.f64) l))) (cbrt.f64 (*.f64 (PI.f64) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
22.4b
(*.f64 l (-.f64 (PI.f64) (/.f64 (PI.f64) (pow.f64 F 2))))
37.5b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (sqrt.f64 F)) (/.f64 1 (pow.f64 F 3/2))))
47.5b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (-.f64 (/.f64 F (*.f64 (PI.f64) l)) (+.f64 (*.f64 1/3 (*.f64 (PI.f64) (*.f64 F l))) (+.f64 (*.f64 2/945 (*.f64 (pow.f64 (PI.f64) 5) (exp.f64 (+.f64 (*.f64 (log.f64 l) 5) (log.f64 F))))) (*.f64 1/45 (*.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 l 3) F))))))) (/.f64 1 F)))
1.5b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (-.f64 (/.f64 F (*.f64 (PI.f64) l)) (+.f64 (*.f64 1/3 (*.f64 (PI.f64) (*.f64 F l))) (+.f64 (*.f64 2/945 (*.f64 (pow.f64 (PI.f64) 5) (log1p.f64 (expm1.f64 (*.f64 (pow.f64 l 5) F))))) (*.f64 1/45 (*.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 l 3) F))))))) (/.f64 1 F)))
37.4b
(-.f64 (*.f64 (*.f64 (PI.f64) (sqrt.f64 l)) (sqrt.f64 l)) (*.f64 (/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l)))) (/.f64 1 F)))
Compiler

Compiled 16268 to 9592 computations (41% saved)

regimes2.1s (19.8%)

Accuracy

Total 1.0b remaining (44.8%)

Threshold costs 1.0b (44.8%)

Counts
261 → 1
Compiler

Compiled 44759 to 28079 computations (37.3% saved)

simplify4.0ms (0%)

Algorithm
1×egg-herbie
Rules
10×*-commutative_binary64
4×+-commutative_binary64
4×sub-neg_binary64
2×neg-sub0_binary64
2×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02968
14068
24768
35168
45368
55368

end264.0ms (2.5%)

Compiler

Compiled 490 to 305 computations (37.8% saved)

Profiling

Loading profile data...