Details

Time bar (total: 19.9s)

analyze784.0ms (3.9%)

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
21.9%78%0.1%7
23.4%76.5%0.1%8
35.1%64.8%0.1%9
36.3%63.6%0.1%10
42.3%57.6%0.1%11
43%56.9%0.1%12
46.1%53.8%0.1%13
46.5%53.4%0.1%14
Compiler

Compiled 17 to 11 computations (35.3% saved)

sample4.7s (23.8%)

Results
1.7s1015×body2048valid
1.1s1798×body1024valid
846.0ms4361×body128valid
355.0ms729×body512valid
325.0ms54×body4096valid
96.0ms299×body256valid
10.0ms6×body8192exit
Compiler

Compiled 50 to 32 computations (36% saved)

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

prune6.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

localize14.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.8b
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))
✓31.2b
(tan.f64 (*.f64 (PI.f64) l))

series219.0ms (1.1%)

Counts
4 → 60
Calls

4 calls:

102.0ms
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))
75.0ms
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
37.0ms
(tan.f64 (*.f64 (PI.f64) l))
4.0ms
(*.f64 (PI.f64) l)

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

10.0ms
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
8.0ms
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))
5.0ms
(*.f64 (PI.f64) l)
2.0ms
(tan.f64 (*.f64 (PI.f64) l))

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

prune385.0ms (1.9%)

Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New12617143
Fresh101
Picked101
Done000
Total12817145
Error
10.4b
Counts
145 → 17
Alt Table
StatusErrorProgram
36.9b
(-.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)))
38.4b
(/.f64 (-.f64 (*.f64 (*.f64 (PI.f64) l) (*.f64 (PI.f64) l)) (*.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))))
30.2b
(expm1.f64 (log1p.f64 (-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))))
14.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)))
25.6b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (expm1.f64 (log1p.f64 (*.f64 (PI.f64) l)))) (*.f64 F F)))
14.4b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (sqrt.f64 (PI.f64)) (*.f64 (sqrt.f64 (PI.f64)) l))) (*.f64 F F)))
▶10.9b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F))
14.5b
(-.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)))
38.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))))))
39.3b
(-.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)))
36.8b
(*.f64 (sqrt.f64 (-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))) (sqrt.f64 (-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))))
15.1b
(-.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)))
14.4b
(-.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)))
11.1b
(-.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)))
14.5b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))) (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))) (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))))
39.1b
(-.f64 (*.f64 (*.f64 (PI.f64) (sqrt.f64 l)) (sqrt.f64 l)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
15.0b
(-.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)))
Compiler

Compiled 3922 to 1185 computations (69.8% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)
✓0.2b
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)
0.2b
(*.f64 (PI.f64) l)
31.2b
(tan.f64 (*.f64 (PI.f64) l))

series198.0ms (1%)

Counts
2 → 48
Calls

2 calls:

100.0ms
(/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)
98.0ms
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)

rewrite20.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
84×times-frac_binary64
52×*-un-lft-identity_binary64
52×add-sqr-sqrt_binary64
52×add-cube-cbrt_binary64
16×associate-/l*_binary64
Counts
2 → 102
Calls

2 calls:

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

simplify294.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
699×times-frac_binary64
602×unswap-sqr_binary64
440×associate-/l/_binary64
422×associate-/l*_binary64
359×associate-/r*_binary64
Counts
150 → 164
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01913604
14303466
29863390
336793366
441973361
551413361

prune733.0ms (3.7%)

Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New21212224
Fresh10616
Picked101
Done000
Total22318241
Error
10.4b
Counts
241 → 18
Alt Table
StatusErrorProgram
11.0b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (*.f64 (sqrt.f64 (PI.f64)) (*.f64 l (sqrt.f64 (PI.f64))))) F) F))
36.8b
(*.f64 (sqrt.f64 (-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))) (sqrt.f64 (-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))))
37.6b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 (PI.f64) l))) 1) 1) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 (PI.f64) l))) F) F)))
15.1b
(-.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)))
▶10.9b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l)))) F))
14.4b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (/.f64 F (/.f64 1 F))))
38.4b
(/.f64 (-.f64 (*.f64 (*.f64 (PI.f64) l) (*.f64 (PI.f64) l)) (*.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))))
11.0b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (PI.f64) l)) (cbrt.f64 (*.f64 (PI.f64) l))) (cbrt.f64 (*.f64 (PI.f64) l)))) F) F))
11.1b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (*.f64 (cbrt.f64 (tan.f64 (*.f64 (PI.f64) l))) (/.f64 (cbrt.f64 (tan.f64 (*.f64 (PI.f64) l))) F)) (/.f64 (cbrt.f64 (tan.f64 (*.f64 (PI.f64) l))) F)))
11.1b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))) (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))) F))
22.1b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (expm1.f64 (log1p.f64 (*.f64 (PI.f64) l)))) F) F))
14.4b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (cbrt.f64 (pow.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) 3)) F))
15.0b
(-.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)))
16.4b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (expm1.f64 (log1p.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))) F))
11.1b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (*.f64 (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (*.f64 l (cbrt.f64 (PI.f64))))) F) F))
35.8b
(-.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (*.f64 (*.f64 l l) l))) (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F))
39.1b
(-.f64 (*.f64 (*.f64 (PI.f64) (sqrt.f64 l)) (sqrt.f64 l)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
14.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)))
Compiler

Compiled 5627 to 1630 computations (71% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(/.f64 F (tan.f64 (*.f64 (PI.f64) l)))
0.2b
(*.f64 (PI.f64) l)
✓0.8b
(/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l))))
31.2b
(tan.f64 (*.f64 (PI.f64) l))

series239.0ms (1.2%)

Counts
2 → 48
Calls

2 calls:

149.0ms
(/.f64 F (tan.f64 (*.f64 (PI.f64) l)))
89.0ms
(/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l))))

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

10.0ms
(/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l))))
5.0ms
(/.f64 F (tan.f64 (*.f64 (PI.f64) l)))

simplify275.0ms (1.4%)

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

prune533.0ms (2.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New2193222
Fresh8917
Picked101
Done000
Total22812240
Error
1.1b
Counts
240 → 12
Alt Table
StatusErrorProgram
37.3b
(-.f64 (*.f64 (*.f64 (PI.f64) (sqrt.f64 l)) (sqrt.f64 l)) (/.f64 (/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l)))) F))
36.8b
(*.f64 (sqrt.f64 (-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))) (sqrt.f64 (-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F 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) (*.f64 (pow.f64 l 5) F))) (*.f64 1/45 (*.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 l 3) F))))))) F))
37.6b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 (PI.f64) l))) 1) 1) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 (PI.f64) l))) F) F)))
15.1b
(-.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)))
14.4b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (/.f64 F (/.f64 1 F))))
38.4b
(/.f64 (-.f64 (*.f64 (*.f64 (PI.f64) l) (*.f64 (PI.f64) l)) (*.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))))
14.4b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (cbrt.f64 (pow.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) 3)) F))
15.0b
(-.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)))
14.4b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (/.f64 1 (cbrt.f64 (pow.f64 (/.f64 F (tan.f64 (*.f64 (PI.f64) l))) 3))) F))
35.8b
(-.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (*.f64 (*.f64 l l) l))) (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F))
11.1b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))) (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))) F))
Compiler

Compiled 5636 to 2086 computations (63% saved)

localize143.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

series1.1s (5.4%)

Counts
4 → 48
Calls

4 calls:

954.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))))))) F)
96.0ms
(*.f64 (pow.f64 l 5) F)
24.0ms
(*.f64 (pow.f64 l 3) F)
0.0ms
(pow.f64 (PI.f64) 5)

rewrite134.0ms (0.7%)

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:

39.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))))))) F)
8.0ms
(*.f64 (pow.f64 l 3) F)
7.0ms
(*.f64 (pow.f64 l 5) F)
2.0ms
(pow.f64 (PI.f64) 5)

simplify668.0ms (3.3%)

Algorithm
1×egg-herbie
Rules
417×unswap-sqr_binary64
333×associate-*l*_binary64
310×associate-*r*_binary64
215×fma-neg_binary64
181×*-commutative_binary64
Counts
241 → 287
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
035614854
194513720
2360513688
3499513688
4495113688

prune1.5s (7.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New2861287
Fresh01111
Picked101
Done000
Total28712299
Error
0.6b
Counts
299 → 12
Alt Table
StatusErrorProgram
37.3b
(-.f64 (*.f64 (*.f64 (PI.f64) (sqrt.f64 l)) (sqrt.f64 l)) (/.f64 (/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l)))) F))
36.8b
(*.f64 (sqrt.f64 (-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))) (sqrt.f64 (-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))))
37.6b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 (PI.f64) l))) 1) 1) (/.f64 (/.f64 (sqrt.f64 (tan.f64 (*.f64 (PI.f64) l))) F) F)))
15.1b
(-.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)))
14.4b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (/.f64 F (/.f64 1 F))))
38.4b
(/.f64 (-.f64 (*.f64 (*.f64 (PI.f64) l) (*.f64 (PI.f64) l)) (*.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))))
1.6b
(-.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) (log.f64 (exp.f64 (*.f64 (pow.f64 l 5) F))))) (*.f64 1/45 (*.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 l 3) F))))))) F))
14.4b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (/.f64 1 (cbrt.f64 (pow.f64 (/.f64 F (tan.f64 (*.f64 (PI.f64) l))) 3))) F))
14.4b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (cbrt.f64 (pow.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) 3)) F))
15.0b
(-.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)))
35.8b
(-.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (*.f64 (*.f64 l l) l))) (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F))
11.1b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)) (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))) (cbrt.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))) F))
Compiler

Compiled 21950 to 12448 computations (43.3% saved)

regimes7.2s (36%)

Accuracy

Total 1.2b remaining (51.9%)

Threshold costs 0b (0%)

Counts
320 → 1
Compiler

Compiled 48721 to 29586 computations (39.3% saved)

simplify7.0ms (0%)

Algorithm
1×egg-herbie
Rules
9×*-commutative_binary64
5×+-commutative_binary64
5×sub-neg_binary64
3×neg-sub0_binary64
3×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02765
13865
24765
35565
45965
56065
65865

end418.0ms (2.1%)

Compiler

Compiled 401 to 217 computations (45.9% saved)

Profiling

Loading profile data...