Details

Time bar (total: 15.7s)

analyze1.2s (7.5%)

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)

sample266.0ms (1.7%)

Algorithm
1×intervals
Results
31.0ms31×body2048valid
23.0ms67×body1024valid
16.0ms4×body4096valid
9.0ms124×body128valid
7.0ms22×body512valid
1.0ms8×body256valid
Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify25.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

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
16.9b
Counts
3 → 2
Alt Table
StatusErrorProgram
17.2b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 (PI.f64) l))))
▶16.9b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
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.2b
(*.f64 (PI.f64) l)
✓3.3b
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))
✓32.3b
(tan.f64 (*.f64 (PI.f64) l))

series135.0ms (0.9%)

Counts
4 → 60
Calls

4 calls:

62.0ms
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))
54.0ms
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
16.0ms
(tan.f64 (*.f64 (PI.f64) l))
3.0ms
(*.f64 (PI.f64) l)

rewrite20.0ms (0.1%)

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:

7.0ms
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
5.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))

simplify124.0ms (0.8%)

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

prune343.0ms (2.2%)

Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New12518143
Fresh011
Picked101
Done000
Total12619145
Error
13.3b
Counts
145 → 19
Alt Table
StatusErrorProgram
33.4b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (sqrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))) (sqrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))))
42.1b
(-.f64 (*.f64 (*.f64 (PI.f64) (sqrt.f64 l)) (sqrt.f64 l)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
13.6b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F))
17.2b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 (PI.f64) l))))
17.1b
(-.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)))
38.3b
(/.f64 (-.f64 (*.f64 (*.f64 (PI.f64) l) (*.f64 (PI.f64) l)) (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))) 6)) (fma.f64 (PI.f64) l (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))))
17.0b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (sqrt.f64 (PI.f64)) (*.f64 (sqrt.f64 (PI.f64)) l))) (*.f64 F F)))
51.0b
(-.f64 (*.f64 (PI.f64) l) (exp.f64 (-.f64 (log.f64 (tan.f64 (*.f64 (PI.f64) l))) (+.f64 (log.f64 F) (log.f64 F)))))
▶13.6b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))))
45.8b
(/.f64 (-.f64 (pow.f64 (*.f64 (PI.f64) l) 3) (pow.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)) 3)) (+.f64 (*.f64 (*.f64 (PI.f64) l) (*.f64 (PI.f64) l)) (+.f64 (*.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))) (*.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))))))
17.6b
(-.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.0b
(-.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)))
41.4b
(-.f64 (cbrt.f64 (pow.f64 (*.f64 (PI.f64) l) 3)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
31.2b
(expm1.f64 (log1p.f64 (-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))))
25.4b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (log.f64 (exp.f64 (tan.f64 (*.f64 (PI.f64) l)))) (*.f64 F F)))
13.8b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 (PI.f64) l))) (cbrt.f64 (tan.f64 (*.f64 (PI.f64) l)))) F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 (PI.f64) l))) F)))
42.4b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 l)))) (*.f64 F F)))
17.6b
(-.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.1b
(-.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 3982 to 1245 computations (68.7% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series112.0ms (0.7%)

Counts
2 → 48
Calls

2 calls:

62.0ms
(/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))
50.0ms
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)

rewrite69.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:

18.0ms
(/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))
8.0ms
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)

simplify404.0ms (2.6%)

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

prune1.4s (9%)

Pruning

23 alts after pruning (23 fresh and 0 done)

PrunedKeptTotal
New3929401
Fresh41418
Picked101
Done000
Total39723420
Error
13.3b
Counts
420 → 23
Alt Table
StatusErrorProgram
25.3b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (/.f64 F (/.f64 (log.f64 (exp.f64 (tan.f64 (*.f64 (PI.f64) l)))) F))))
17.0b
(-.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)))
13.8b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))))) (/.f64 1 (/.f64 F (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))))))
13.7b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (/.f64 F (*.f64 (tan.f64 (*.f64 (PI.f64) l)) (/.f64 1 F)))))
41.4b
(-.f64 (cbrt.f64 (pow.f64 (*.f64 (PI.f64) l) 3)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
31.2b
(expm1.f64 (log1p.f64 (-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))))
▶13.6b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (/.f64 F (/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l)))))))
14.0b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 (PI.f64) l))) (cbrt.f64 (tan.f64 (*.f64 (PI.f64) l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 (PI.f64) l))) (cbrt.f64 F))))))
42.4b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 l)))) (*.f64 F F)))
17.2b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 (PI.f64) l))))
17.1b
(-.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)))
38.3b
(/.f64 (-.f64 (*.f64 (*.f64 (PI.f64) l) (*.f64 (PI.f64) l)) (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))) 6)) (fma.f64 (PI.f64) l (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))))
17.0b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (sqrt.f64 (PI.f64)) (*.f64 (sqrt.f64 (PI.f64)) l))) (*.f64 F F)))
17.6b
(-.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)))
13.6b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l)))) F))
45.8b
(/.f64 (-.f64 (pow.f64 (*.f64 (PI.f64) l) 3) (pow.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)) 3)) (+.f64 (*.f64 (*.f64 (PI.f64) l) (*.f64 (PI.f64) l)) (+.f64 (*.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))) (*.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))))))
13.8b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) 1)) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))))
13.8b
(-.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))))
42.1b
(-.f64 (*.f64 (*.f64 (PI.f64) (sqrt.f64 l)) (sqrt.f64 l)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
17.6b
(-.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.1b
(-.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)))
51.0b
(-.f64 (*.f64 (PI.f64) l) (exp.f64 (-.f64 (log.f64 (tan.f64 (*.f64 (PI.f64) l))) (+.f64 (log.f64 F) (log.f64 F)))))
19.4b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (/.f64 F (expm1.f64 (log1p.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))))))
Compiler

Compiled 11601 to 3797 computations (67.3% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series188.0ms (1.2%)

Counts
3 → 72
Calls

3 calls:

77.0ms
(/.f64 F (tan.f64 (*.f64 (PI.f64) l)))
62.0ms
(/.f64 1 (/.f64 F (/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l))))))
48.0ms
(/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l))))

rewrite295.0ms (1.9%)

Algorithm
1×rewrite-expression-head
Rules
1917×times-frac_binary64
825×*-un-lft-identity_binary64
825×add-sqr-sqrt_binary64
825×add-cube-cbrt_binary64
163×associate-/r*_binary64
Counts
3 → 742
Calls

3 calls:

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

simplify720.0ms (4.6%)

Algorithm
1×egg-herbie
Rules
792×fma-def_binary64
346×cancel-sign-sub-inv_binary64
315×associate-/r/_binary64
256×fma-neg_binary64
223×associate-*l/_binary64
Counts
814 → 964
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
038724917
176222325
2264421225
3346721189
4497821189

prune2.1s (13.6%)

Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New9793982
Fresh111122
Picked101
Done000
Total991141005
Error
2.4b
Counts
1005 → 14
Alt Table
StatusErrorProgram
13.8b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))))) (/.f64 1 (/.f64 F (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))))))
41.4b
(-.f64 (cbrt.f64 (pow.f64 (*.f64 (PI.f64) l) 3)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
13.6b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (/.f64 1 (/.f64 1 F))) (/.f64 1 (/.f64 F (/.f64 1 (/.f64 1 (tan.f64 (*.f64 (PI.f64) l))))))))
42.1b
(-.f64 (*.f64 (*.f64 (PI.f64) (sqrt.f64 l)) (sqrt.f64 l)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
17.6b
(-.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)))
13.6b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l)))) F))
45.8b
(/.f64 (-.f64 (pow.f64 (*.f64 (PI.f64) l) 3) (pow.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)) 3)) (+.f64 (*.f64 (*.f64 (PI.f64) l) (*.f64 (PI.f64) l)) (+.f64 (*.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))) (*.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))))))
31.2b
(expm1.f64 (log1p.f64 (-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))))
▶2.8b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (/.f64 F (/.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))))))))))
14.0b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 (PI.f64) l))) (cbrt.f64 (tan.f64 (*.f64 (PI.f64) l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 (PI.f64) l))) (cbrt.f64 F))))))
17.6b
(-.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)))
13.6b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (*.f64 F (/.f64 F (tan.f64 (*.f64 (PI.f64) l))))))
38.3b
(/.f64 (-.f64 (*.f64 (*.f64 (PI.f64) l) (*.f64 (PI.f64) l)) (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))) 6)) (fma.f64 (PI.f64) l (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))))
19.4b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (/.f64 F (expm1.f64 (log1p.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))))))
Compiler

Compiled 32609 to 13376 computations (59% saved)

localize31.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓1.0b
(pow.f64 (PI.f64) 5)
✓2.2b
(/.f64 F (/.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))))))))
✓2.7b
(*.f64 (pow.f64 l 5) F)
✓5.7b
(*.f64 (pow.f64 l 3) F)

series214.0ms (1.4%)

Counts
4 → 48
Calls

4 calls:

178.0ms
(/.f64 F (/.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))))))))
18.0ms
(*.f64 (pow.f64 l 5) F)
17.0ms
(*.f64 (pow.f64 l 3) F)
0.0ms
(pow.f64 (PI.f64) 5)

rewrite86.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
129×times-frac_binary64
109×add-sqr-sqrt_binary64
97×*-un-lft-identity_binary64
73×add-cube-cbrt_binary64
24×add-exp-log_binary64
Counts
4 → 193
Calls

4 calls:

24.0ms
(/.f64 F (/.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))))))))
11.0ms
(*.f64 (pow.f64 l 5) F)
5.0ms
(*.f64 (pow.f64 l 3) F)
2.0ms
(pow.f64 (PI.f64) 5)

simplify436.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
649×fma-neg_binary64
513×times-frac_binary64
373×associate-*r*_binary64
355×associate-*l*_binary64
186×*-commutative_binary64
Counts
241 → 288
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
033714302
183613188
2350613140
3498813138
4499513138
5533513138

prune924.0ms (5.9%)

Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New2853288
Fresh11213
Picked101
Done000
Total28715302
Error
1.4b
Counts
302 → 15
Alt Table
StatusErrorProgram
13.8b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))))) (/.f64 1 (/.f64 F (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))))))
41.4b
(-.f64 (cbrt.f64 (pow.f64 (*.f64 (PI.f64) l) 3)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
13.6b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (/.f64 1 (/.f64 1 F))) (/.f64 1 (/.f64 F (/.f64 1 (/.f64 1 (tan.f64 (*.f64 (PI.f64) l))))))))
42.1b
(-.f64 (*.f64 (*.f64 (PI.f64) (sqrt.f64 l)) (sqrt.f64 l)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
17.6b
(-.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)))
13.6b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l)))) F))
45.8b
(/.f64 (-.f64 (pow.f64 (*.f64 (PI.f64) l) 3) (pow.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)) 3)) (+.f64 (*.f64 (*.f64 (PI.f64) l) (*.f64 (PI.f64) l)) (+.f64 (*.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))) (*.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))))))
2.8b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (*.f64 F (-.f64 (/.f64 F (*.f64 l (PI.f64))) (fma.f64 1/3 (*.f64 F (*.f64 l (PI.f64))) (fma.f64 1/45 (*.f64 F (pow.f64 (*.f64 l (PI.f64)) 3)) (*.f64 2/945 (*.f64 F (*.f64 (pow.f64 l 5) (pow.f64 (PI.f64) 5))))))))))
31.2b
(expm1.f64 (log1p.f64 (-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))))
49.7b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (/.f64 F (/.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))))))))))
1.9b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (/.f64 F (/.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))))))))))
14.0b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 F) (cbrt.f64 F)) (/.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 (PI.f64) l))) (cbrt.f64 (tan.f64 (*.f64 (PI.f64) l)))) (*.f64 (cbrt.f64 F) (cbrt.f64 F))))) (/.f64 1 (/.f64 (cbrt.f64 F) (/.f64 (cbrt.f64 (tan.f64 (*.f64 (PI.f64) l))) (cbrt.f64 F))))))
17.6b
(-.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)))
38.3b
(/.f64 (-.f64 (*.f64 (*.f64 (PI.f64) l) (*.f64 (PI.f64) l)) (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))) 6)) (fma.f64 (PI.f64) l (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))))
19.4b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (/.f64 F (expm1.f64 (log1p.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))))))
Compiler

Compiled 22547 to 12951 computations (42.6% saved)

regimes3.4s (21.9%)

Accuracy

Total 0.6b remaining (34.5%)

Threshold costs 0.6b (34.5%)

Counts
291 → 1
Compiler

Compiled 51478 to 31021 computations (39.7% saved)

simplify87.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
28×*-commutative_binary64
22×+-commutative_binary64
20×sub-neg_binary64
18×neg-sub0_binary64
18×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03479
15279
26579
38679
412079
515479
618279
720079
820879
920979
1020479

end1.0ms (0%)

Compiler

Compiled 51 to 36 computations (29.4% saved)

sample3.0s (19.2%)

Algorithm
1×intervals
Results
1.0s1018×body2048valid
643.0ms1846×body1024valid
301.0ms4084×body128valid
191.0ms50×body4096valid
159.0ms684×body512valid
49.0ms318×body256valid
17.0ms197×body128invalid
4.0ms7×body2048invalid
3.0ms7×body8192exit
Compiler

Compiled 545 to 314 computations (42.4% saved)

Profiling

Loading profile data...