Details

Time bar (total: 8.7s)

analyze959.0ms (11.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
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)

sample219.0ms (2.5%)

Algorithm
1×intervals
Results
31.0ms33×body2048valid
18.0ms54×body1024valid
9.0ms20×body256valid
9.0ms131×body128valid
4.0ms1×body4096valid
4.0ms17×body512valid
0.0ms3×body128invalid
Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify23.0ms (0.3%)

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
17.7b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶17.7b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
18.1b
(-.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.2b
(*.f64 (PI.f64) l)
✓4.8b
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))
✓31.5b
(tan.f64 (*.f64 (PI.f64) l))

series155.0ms (1.8%)

Counts
4 → 60
Calls

4 calls:

94.0ms
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F))
44.0ms
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
14.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))

simplify108.0ms (1.3%)

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

prune214.0ms (2.5%)

Pruning

20 alts after pruning (20 fresh and 0 done)

PrunedKeptTotal
New12320143
Fresh101
Picked101
Done000
Total12520145
Error
12.7b
Counts
145 → 20
Alt Table
StatusErrorProgram
31.3b
(expm1.f64 (log1p.f64 (-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))))
17.8b
(-.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)))
17.6b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (sqrt.f64 (PI.f64)) (*.f64 (sqrt.f64 (PI.f64)) l))) (*.f64 F F)))
41.1b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 l)))) (*.f64 F F)))
22.3b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (cbrt.f64 (pow.f64 (tan.f64 (*.f64 (PI.f64) l)) 3)) (*.f64 F F)))
▶13.1b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F))
24.9b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (log.f64 (exp.f64 (tan.f64 (*.f64 (PI.f64) l)))) (*.f64 F F)))
43.9b
(/.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.1b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))
40.9b
(-.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)))
13.3b
(-.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)))
18.4b
(-.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)))
40.9b
(-.f64 (cbrt.f64 (pow.f64 (*.f64 (PI.f64) l) 3)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
41.0b
(-.f64 (*.f64 (*.f64 (PI.f64) (sqrt.f64 l)) (sqrt.f64 l)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
40.9b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (*.f64 (PI.f64) (sqrt.f64 l)) (sqrt.f64 l))) (*.f64 F F)))
18.4b
(-.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.7b
(-.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)))
17.8b
(-.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)))
13.1b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))))
41.0b
(-.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) l)) (sqrt.f64 (*.f64 (PI.f64) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
Compiler

Compiled 3986 to 1267 computations (68.2% saved)

localize7.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 (PI.f64) l)
✓0.3b
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)
31.5b
(tan.f64 (*.f64 (PI.f64) l))

series163.0ms (1.9%)

Counts
2 → 48
Calls

2 calls:

119.0ms
(/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)
44.0ms
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)

rewrite17.0ms (0.2%)

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)

simplify140.0ms (1.6%)

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

prune521.0ms (6%)

Pruning

21 alts after pruning (20 fresh and 1 done)

PrunedKeptTotal
New2195224
Fresh41519
Picked011
Done000
Total22321244
Error
12.7b
Counts
244 → 21
Alt Table
StatusErrorProgram
▶13.1b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (*.f64 F (/.f64 F (tan.f64 (*.f64 (PI.f64) l))))))
40.9b
(-.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)))
13.2b
(-.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))
13.1b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (*.f64 (tan.f64 (*.f64 (PI.f64) l)) (/.f64 1 F)) F))
18.4b
(-.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.3b
(-.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))
31.3b
(expm1.f64 (log1p.f64 (-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))))
13.1b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (*.f64 (sqrt.f64 (PI.f64)) (*.f64 l (sqrt.f64 (PI.f64))))) F) F))
40.9b
(-.f64 (cbrt.f64 (pow.f64 (*.f64 (PI.f64) l) 3)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
17.6b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (sqrt.f64 (PI.f64)) (*.f64 (sqrt.f64 (PI.f64)) l))) (*.f64 F F)))
41.1b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 l)))) (*.f64 F F)))
✓13.1b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F))
24.9b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (log.f64 (exp.f64 (tan.f64 (*.f64 (PI.f64) l)))) (*.f64 F F)))
43.9b
(/.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.1b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))
41.0b
(-.f64 (*.f64 (*.f64 (PI.f64) (sqrt.f64 l)) (sqrt.f64 l)) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
40.9b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (tan.f64 (*.f64 (*.f64 (PI.f64) (sqrt.f64 l)) (sqrt.f64 l))) (*.f64 F F)))
18.4b
(-.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.7b
(-.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)))
17.8b
(-.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)))
41.0b
(-.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) l)) (sqrt.f64 (*.f64 (PI.f64) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
Compiler

Compiled 5671 to 1692 computations (70.2% saved)

localize10.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.4b
(/.f64 1 (*.f64 F (/.f64 F (tan.f64 (*.f64 (PI.f64) l)))))
31.5b
(tan.f64 (*.f64 (PI.f64) l))

series135.0ms (1.6%)

Counts
2 → 48
Calls

2 calls:

74.0ms
(/.f64 F (tan.f64 (*.f64 (PI.f64) l)))
61.0ms
(/.f64 1 (*.f64 F (/.f64 F (tan.f64 (*.f64 (PI.f64) l)))))

rewrite14.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
25×add-exp-log_binary64
13×add-cbrt-cube_binary64
12×*-un-lft-identity_binary64
12×times-frac_binary64
12×add-sqr-sqrt_binary64
Counts
2 → 65
Calls

2 calls:

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

simplify174.0ms (2%)

Algorithm
1×egg-herbie
Rules
489×associate-*l*_binary64
448×associate-*r*_binary64
389×unswap-sqr_binary64
386×associate-/l*_binary64
386×times-frac_binary64
Counts
113 → 97
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01522341
13312161
210432083
343532083
452632083

prune199.0ms (2.3%)

Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New1525157
Fresh11819
Picked101
Done011
Total16414178
Error
2.0b
Counts
178 → 14
Alt Table
StatusErrorProgram
2.2b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (*.f64 F (-.f64 (/.f64 F (*.f64 (PI.f64) l)) (fma.f64 (PI.f64) (*.f64 (*.f64 l F) 1/3) (*.f64 F (+.f64 (*.f64 1/45 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (*.f64 2/945 (*.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))))))))))
40.9b
(-.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)))
13.2b
(-.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))
13.1b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (*.f64 (tan.f64 (*.f64 (PI.f64) l)) (/.f64 1 F)) F))
18.4b
(-.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)))
▶2.2b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (*.f64 F (-.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)))))))))
13.1b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 F) (/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l))))))
36.3b
(-.f64 (cbrt.f64 (pow.f64 (*.f64 (PI.f64) l) 3)) (/.f64 1 (*.f64 F (/.f64 F (tan.f64 (*.f64 (PI.f64) l))))))
18.4b
(-.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 (sqrt.f64 (PI.f64)) (*.f64 (sqrt.f64 (PI.f64)) l))) (*.f64 F F)))
38.7b
(-.f64 (*.f64 (*.f64 (PI.f64) (sqrt.f64 l)) (sqrt.f64 l)) (/.f64 1 (*.f64 F (/.f64 F (tan.f64 (*.f64 (PI.f64) l))))))
✓13.1b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F))
41.0b
(-.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) l)) (sqrt.f64 (*.f64 (PI.f64) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
43.9b
(/.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))))))
Compiler

Compiled 3991 to 1584 computations (60.3% saved)

localize81.0ms (0.9%)

Local error

Found 4 expressions with local error:

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

series229.0ms (2.6%)

Counts
4 → 48
Calls

4 calls:

195.0ms
(*.f64 F (-.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)))))))
21.0ms
(*.f64 (pow.f64 l 5) F)
12.0ms
(*.f64 (pow.f64 l 3) F)
0.0ms
(pow.f64 (PI.f64) 5)

rewrite66.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
59×add-sqr-sqrt_binary64
45×*-un-lft-identity_binary64
43×add-cube-cbrt_binary64
42×prod-diff_binary64
25×distribute-lft-in_binary64
Counts
4 → 155
Calls

4 calls:

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

simplify248.0ms (2.9%)

Algorithm
1×egg-herbie
Rules
664×times-frac_binary64
462×associate-*l*_binary64
455×associate-*r*_binary64
341×fma-neg_binary64
208×*-commutative_binary64
Counts
203 → 226
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
034911271
17338589
232438543
350418543

prune613.0ms (7.1%)

Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New2233226
Fresh21012
Picked101
Done011
Total22614240
Error
1.3b
Counts
240 → 14
Alt Table
StatusErrorProgram
13.2b
(-.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))
18.4b
(-.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)))
36.3b
(-.f64 (cbrt.f64 (pow.f64 (*.f64 (PI.f64) l) 3)) (/.f64 1 (*.f64 F (/.f64 F (tan.f64 (*.f64 (PI.f64) l))))))
1.5b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (*.f64 F (-.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)))))))))
51.0b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (*.f64 F (-.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)))))))))
✓13.1b
(-.f64 (*.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F))
41.0b
(-.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) l)) (sqrt.f64 (*.f64 (PI.f64) l))) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) (*.f64 F F)))
8.9b
(-.f64 (*.f64 (PI.f64) l) (/.f64 1 (cbrt.f64 (pow.f64 (*.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)))))))) 3))))
40.9b
(-.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)))
13.1b
(-.f64 (*.f64 (PI.f64) l) (*.f64 (/.f64 1 F) (/.f64 1 (/.f64 F (tan.f64 (*.f64 (PI.f64) l))))))
18.4b
(-.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 (sqrt.f64 (PI.f64)) (*.f64 (sqrt.f64 (PI.f64)) l))) (*.f64 F F)))
38.7b
(-.f64 (*.f64 (*.f64 (PI.f64) (sqrt.f64 l)) (sqrt.f64 l)) (/.f64 1 (*.f64 F (/.f64 F (tan.f64 (*.f64 (PI.f64) l))))))
43.9b
(/.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))))))
Compiler

Compiled 20276 to 12155 computations (40.1% saved)

regimes1.5s (17.1%)

Accuracy

Total 0.6b remaining (31%)

Threshold costs 0.6b (31%)

Counts
178 → 1
Compiler

Compiled 28308 to 17151 computations (39.4% saved)

simplify7.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
29×*-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
03376
15276
26576
38676
412076
515476
618276
720076
820876
920976
1020476

end1.0ms (0%)

Compiler

Compiled 49 to 34 computations (30.6% saved)

sample2.8s (32.9%)

Algorithm
1×intervals
Results
956.0ms974×body2048valid
592.0ms1814×body1024valid
294.0ms4109×body128valid
240.0ms66×body4096valid
163.0ms722×body512valid
49.0ms315×body256valid
13.0ms172×body128invalid
4.0ms9×body2048invalid
1.0ms3×body8192exit
Compiler

Compiled 473 to 279 computations (41% saved)

Profiling

Loading profile data...