Details

Time bar (total: 16.2s)

analyze2.8s (17.3%)

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
0%99.9%0.1%7
1.6%98.3%0.1%8
2.3%97.5%0.1%9
7.4%90.9%1.7%10
9.2%87.4%3.5%11
11.7%83.5%4.8%12
15.2%76%8.8%13
16.4%72%11.6%14
Compiler

Compiled 29 to 22 computations (24.1% saved)

sample142.0ms (0.9%)

Algorithm
1×intervals
Results
76.0ms93×body1024valid
18.0ms114×body128valid
17.0ms35×body512valid
6.0ms42×body128invalid
5.0ms14×body256valid
3.0ms7×body512invalid
2.0ms5×body256invalid
1.0ms1×body1024invalid
Compiler

Compiled 60 to 46 computations (23.3% saved)

simplify61.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
627×distribute-rgt-in_binary64
623×distribute-lft-in_binary64
431×associate-/r/_binary64
404×associate-/r*_binary64
395×fma-def_binary64
Counts
1 → 1
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02038
15435
218135
389835
4326235
5486135
6493335
7515535

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
33.1b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶33.1b
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
Compiler

Compiled 82 to 61 computations (25.6% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.6b
(*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
3.4b
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k))
11.5b
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1))
21.0b
(/.f64 (pow.f64 t 3) (*.f64 l l))

rewrite374.0ms (2.3%)

Algorithm
1×rewrite-expression-head
Error
20.9b
Rules
52×pow1_binary64
36×add-exp-log_binary64
30×pow-prod-down_binary64
28×add-sqr-sqrt_binary64
26×associate-*l/_binary64
Counts
4 → 188
Calls

4 calls:

25.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1))
18.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
16.0ms
(/.f64 (pow.f64 t 3) (*.f64 l l))
15.0ms
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k))
Compiler

Compiled 5620 to 3197 computations (43.1% saved)

series305.0ms (1.9%)

Error
22.9b
Counts
4 → 43
Calls

4 calls:

137.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1))
78.0ms
(*.f64 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
46.0ms
(*.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k))
20.0ms
(/.f64 (pow.f64 t 3) (*.f64 l l))
Compiler

Compiled 2990 to 2302 computations (23% saved)

simplify164.0ms (1%)

Algorithm
1×egg-herbie
Rules
496×associate-*l*_binary64
426×associate-*r*_binary64
262×fma-neg_binary64
204×times-frac_binary64
197×associate-/l*_binary64
Counts
231 → 130
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02925437
18194803
243064801
350504801

prune128.0ms (0.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1219130
Fresh000
Picked101
Done000
Total1229131
Error
15.9b
Counts
131 → 9
Alt Table
StatusErrorProgram
35.2b
(/.f64 2 (/.f64 (*.f64 (pow.f64 t 3) (*.f64 (pow.f64 (sin.f64 k) 2) (+.f64 2 (pow.f64 (/.f64 k t) 2)))) (*.f64 (*.f64 l l) (cos.f64 k))))
38.5b
(/.f64 2 (+.f64 (/.f64 (*.f64 t (pow.f64 k 4)) (*.f64 l l)) (fma.f64 2 (/.f64 (*.f64 (pow.f64 t 3) (*.f64 k k)) (*.f64 l l)) (*.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) (pow.f64 k 4)) (*.f64 l l))))))
▶24.6b
(/.f64 2 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t t) l) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
31.6b
(/.f64 2 (*.f64 (/.f64 (*.f64 (pow.f64 t 3) (sin.f64 k)) (*.f64 (/.f64 l (/.f64 (sin.f64 k) l)) (cos.f64 k))) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
28.6b
(/.f64 2 (*.f64 (*.f64 (/.f64 (*.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k)) l) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
44.0b
(/.f64 2 (/.f64 (*.f64 (*.f64 (pow.f64 t 3) (sin.f64 k)) (sin.f64 k)) (/.f64 (*.f64 (*.f64 l l) (cos.f64 k)) (/.f64 (+.f64 1 (pow.f64 (+.f64 (pow.f64 (/.f64 k t) 2) 1) 3)) (fma.f64 (+.f64 (pow.f64 (/.f64 k t) 2) 1) (+.f64 (pow.f64 (/.f64 k t) 2) 1) (-.f64 0 (pow.f64 (/.f64 k t) 2)))))))
35.5b
(/.f64 2 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 (*.f64 l l) (cos.f64 k))) (*.f64 (pow.f64 (sin.f64 k) 2) (+.f64 2 (pow.f64 (/.f64 k t) 2)))))
33.2b
(/.f64 2 (/.f64 (*.f64 (*.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (*.f64 l l) (cos.f64 k))))
27.7b
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3) (/.f64 l (/.f64 t l))) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
Compiler

Compiled 3255 to 1955 computations (39.9% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.6b
(*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t t) l) (/.f64 t l)) (sin.f64 k)) (tan.f64 k))
3.4b
(*.f64 (*.f64 (/.f64 (*.f64 t t) l) (/.f64 t l)) (sin.f64 k))
10.0b
(/.f64 (*.f64 t t) l)
11.5b
(*.f64 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t t) l) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1))

rewrite404.0ms (2.5%)

Algorithm
1×rewrite-expression-head
Error
9.5b
Rules
67×pow1_binary64
56×add-exp-log_binary64
46×frac-times_binary64
45×pow-prod-down_binary64
28×add-sqr-sqrt_binary64
Counts
4 → 187
Calls

4 calls:

52.0ms
(*.f64 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t t) l) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1))
20.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t t) l) (/.f64 t l)) (sin.f64 k)) (tan.f64 k))
19.0ms
(*.f64 (*.f64 (/.f64 (*.f64 t t) l) (/.f64 t l)) (sin.f64 k))
15.0ms
(/.f64 (*.f64 t t) l)
Compiler

Compiled 5996 to 2252 computations (62.4% saved)

series267.0ms (1.6%)

Error
15.9b
Counts
4 → 43
Calls

4 calls:

131.0ms
(*.f64 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t t) l) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1))
60.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t t) l) (/.f64 t l)) (sin.f64 k)) (tan.f64 k))
43.0ms
(*.f64 (*.f64 (/.f64 (*.f64 t t) l) (/.f64 t l)) (sin.f64 k))
16.0ms
(/.f64 (*.f64 t t) l)
Compiler

Compiled 2989 to 2283 computations (23.6% saved)

simplify145.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
514×associate-*l*_binary64
425×associate-*r*_binary64
267×fma-neg_binary64
218×times-frac_binary64
207×associate-/l*_binary64
Counts
230 → 151
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02985618
18474697
242274695
350814695

prune176.0ms (1.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New1465151
Fresh088
Picked101
Done000
Total14713160
Error
11.8b
Counts
160 → 13
Alt Table
StatusErrorProgram
31.6b
(/.f64 2 (*.f64 (/.f64 (*.f64 (pow.f64 t 3) (sin.f64 k)) (*.f64 (/.f64 l (/.f64 (sin.f64 k) l)) (cos.f64 k))) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
28.7b
(/.f64 2 (*.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (/.f64 (*.f64 t t) l) 3)) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
28.6b
(/.f64 2 (*.f64 (*.f64 (/.f64 (*.f64 (/.f64 (pow.f64 t 3) l) (sin.f64 k)) l) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
24.6b
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t t) l) (/.f64 t l)) (sin.f64 k)) (*.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)) (tan.f64 k))))
22.4b
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t t) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
35.2b
(/.f64 2 (/.f64 (*.f64 (pow.f64 t 3) (*.f64 (pow.f64 (sin.f64 k) 2) (+.f64 2 (pow.f64 (/.f64 k t) 2)))) (*.f64 (*.f64 l l) (cos.f64 k))))
38.5b
(/.f64 2 (+.f64 (/.f64 (*.f64 t (pow.f64 k 4)) (*.f64 l l)) (fma.f64 2 (/.f64 (*.f64 (pow.f64 t 3) (*.f64 k k)) (*.f64 l l)) (*.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) (pow.f64 k 4)) (*.f64 l l))))))
▶19.8b
(/.f64 2 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t (/.f64 t (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (cbrt.f64 l)) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
30.1b
(/.f64 2 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 (/.f64 (pow.f64 t 3) l) l) (*.f64 (cbrt.f64 (sin.f64 k)) (cbrt.f64 (sin.f64 k)))) (cbrt.f64 (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
44.0b
(/.f64 2 (/.f64 (*.f64 (*.f64 (pow.f64 t 3) (sin.f64 k)) (sin.f64 k)) (/.f64 (*.f64 (*.f64 l l) (cos.f64 k)) (/.f64 (+.f64 1 (pow.f64 (+.f64 (pow.f64 (/.f64 k t) 2) 1) 3)) (fma.f64 (+.f64 (pow.f64 (/.f64 k t) 2) 1) (+.f64 (pow.f64 (/.f64 k t) 2) 1) (-.f64 0 (pow.f64 (/.f64 k t) 2)))))))
35.5b
(/.f64 2 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 (*.f64 l l) (cos.f64 k))) (*.f64 (pow.f64 (sin.f64 k) 2) (+.f64 2 (pow.f64 (/.f64 k t) 2)))))
33.2b
(/.f64 2 (/.f64 (*.f64 (*.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (*.f64 l l) (cos.f64 k))))
27.7b
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3) (/.f64 l (/.f64 t l))) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
Compiler

Compiled 4148 to 2432 computations (41.4% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.6b
(*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t (/.f64 t (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (cbrt.f64 l)) (/.f64 t l)) (sin.f64 k)) (tan.f64 k))
3.4b
(/.f64 (*.f64 t (/.f64 t (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (cbrt.f64 l))
3.4b
(*.f64 (*.f64 (/.f64 (*.f64 t (/.f64 t (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (cbrt.f64 l)) (/.f64 t l)) (sin.f64 k))
11.5b
(*.f64 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t (/.f64 t (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (cbrt.f64 l)) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1))

rewrite531.0ms (3.3%)

Algorithm
1×rewrite-expression-head
Error
9.2b
Rules
72×add-exp-log_binary64
67×pow1_binary64
46×frac-times_binary64
45×pow-prod-down_binary64
34×prod-exp_binary64
Counts
4 → 187
Calls

4 calls:

27.0ms
(*.f64 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t (/.f64 t (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (cbrt.f64 l)) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1))
22.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t (/.f64 t (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (cbrt.f64 l)) (/.f64 t l)) (sin.f64 k)) (tan.f64 k))
21.0ms
(*.f64 (*.f64 (/.f64 (*.f64 t (/.f64 t (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (cbrt.f64 l)) (/.f64 t l)) (sin.f64 k))
20.0ms
(/.f64 (*.f64 t (/.f64 t (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (cbrt.f64 l))
Compiler

Compiled 7590 to 2257 computations (70.3% saved)

series343.0ms (2.1%)

Error
11.8b
Counts
4 → 43
Calls

4 calls:

146.0ms
(*.f64 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t (/.f64 t (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (cbrt.f64 l)) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1))
81.0ms
(*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t (/.f64 t (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (cbrt.f64 l)) (/.f64 t l)) (sin.f64 k)) (tan.f64 k))
58.0ms
(*.f64 (*.f64 (/.f64 (*.f64 t (/.f64 t (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (cbrt.f64 l)) (/.f64 t l)) (sin.f64 k))
27.0ms
(/.f64 (*.f64 t (/.f64 t (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (cbrt.f64 l))
Compiler

Compiled 3206 to 2454 computations (23.5% saved)

simplify166.0ms (1%)

Algorithm
1×egg-herbie
Rules
527×associate-*l*_binary64
438×associate-*r*_binary64
262×associate-/l*_binary64
254×times-frac_binary64
207×fma-neg_binary64
Counts
230 → 164
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03217827
19585433
247875415
350565415

prune321.0ms (2%)

Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New15113164
Fresh4812
Picked101
Done000
Total15621177
Error
9.0b
Counts
177 → 21
Alt Table
StatusErrorProgram
25.1b
(/.f64 2 (*.f64 (*.f64 (/.f64 (*.f64 (*.f64 (/.f64 (*.f64 t t) l) t) (sin.f64 k)) l) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
19.6b
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t (/.f64 t (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (cbrt.f64 l)) (/.f64 t l)) (sin.f64 k)) (*.f64 (tan.f64 k) (+.f64 1 (+.f64 (pow.f64 (/.f64 k t) 2) 1)))))
31.6b
(/.f64 2 (*.f64 (/.f64 (*.f64 (pow.f64 t 3) (sin.f64 k)) (*.f64 (/.f64 l (/.f64 (sin.f64 k) l)) (cos.f64 k))) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
61.0b
(/.f64 2 (exp.f64 (+.f64 (+.f64 (-.f64 (fma.f64 2 (log.f64 t) (*.f64 -2 (log.f64 (cbrt.f64 l)))) (log.f64 (cbrt.f64 l))) (+.f64 (log.f64 (/.f64 t l)) (log.f64 (sin.f64 k)))) (+.f64 (log.f64 (tan.f64 k)) (log1p.f64 (+.f64 (pow.f64 (/.f64 k t) 2) 1))))))
22.4b
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t t) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
35.2b
(/.f64 2 (/.f64 (*.f64 (pow.f64 t 3) (*.f64 (pow.f64 (sin.f64 k) 2) (+.f64 2 (pow.f64 (/.f64 k t) 2)))) (*.f64 (*.f64 l l) (cos.f64 k))))
38.5b
(/.f64 2 (+.f64 (/.f64 (*.f64 t (pow.f64 k 4)) (*.f64 l l)) (fma.f64 2 (/.f64 (*.f64 (pow.f64 t 3) (*.f64 k k)) (*.f64 l l)) (*.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) (pow.f64 k 4)) (*.f64 l l))))))
42.8b
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t t) l) t) (/.f64 (pow.f64 (sin.f64 k) 2) (*.f64 l (cos.f64 k)))) (/.f64 (+.f64 1 (pow.f64 (+.f64 (pow.f64 (/.f64 k t) 2) 1) 3)) (fma.f64 (+.f64 (pow.f64 (/.f64 k t) 2) 1) (+.f64 (pow.f64 (/.f64 k t) 2) 1) (-.f64 0 (pow.f64 (/.f64 k t) 2))))))
17.9b
(/.f64 2 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 (/.f64 t (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 t (*.f64 (cbrt.f64 (cbrt.f64 l)) (cbrt.f64 (cbrt.f64 l))))) (cbrt.f64 (cbrt.f64 l))) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
▶17.3b
(/.f64 2 (*.f64 (*.f64 (*.f64 (*.f64 (neg.f64 (/.f64 t (neg.f64 (/.f64 l t)))) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
35.5b
(/.f64 2 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 (*.f64 l l) (cos.f64 k))) (*.f64 (pow.f64 (sin.f64 k) 2) (+.f64 2 (pow.f64 (/.f64 k t) 2)))))
41.8b
(/.f64 2 (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 t (/.f64 t (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) t) (sin.f64 k)) (sin.f64 k)) (/.f64 (*.f64 (cos.f64 k) (*.f64 l (cbrt.f64 l))) (/.f64 (+.f64 1 (pow.f64 (+.f64 (pow.f64 (/.f64 k t) 2) 1) 3)) (fma.f64 (+.f64 (pow.f64 (/.f64 k t) 2) 1) (+.f64 (pow.f64 (/.f64 k t) 2) 1) (-.f64 0 (pow.f64 (/.f64 k t) 2)))))))
17.5b
(/.f64 2 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 1 (/.f64 (/.f64 l t) t)) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
29.4b
(/.f64 2 (*.f64 (/.f64 1 (*.f64 (/.f64 l (*.f64 (/.f64 (*.f64 t t) l) t)) (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)))) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
17.7b
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t (/.f64 t (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (cbrt.f64 l)) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
29.7b
(/.f64 2 (*.f64 (*.f64 (/.f64 (*.f64 (sin.f64 k) (/.f64 (pow.f64 t 3) (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) (*.f64 (cbrt.f64 l) l)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
61.0b
(/.f64 2 (*.f64 (exp.f64 (+.f64 (+.f64 (-.f64 (fma.f64 2 (log.f64 t) (*.f64 -2 (log.f64 (cbrt.f64 l)))) (log.f64 (cbrt.f64 l))) (log.f64 (/.f64 t l))) (+.f64 (log.f64 (sin.f64 k)) (log.f64 (tan.f64 k))))) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
24.6b
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t t) l) (/.f64 t l)) (sin.f64 k)) (*.f64 (+.f64 2 (pow.f64 (/.f64 k t) 2)) (tan.f64 k))))
59.9b
(/.f64 2 (*.f64 (*.f64 (exp.f64 (+.f64 (-.f64 (fma.f64 2 (log.f64 t) (*.f64 -2 (log.f64 (cbrt.f64 l)))) (log.f64 (cbrt.f64 l))) (+.f64 (log.f64 (/.f64 t l)) (log.f64 (sin.f64 k))))) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
33.2b
(/.f64 2 (/.f64 (*.f64 (*.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))) (*.f64 (*.f64 l l) (cos.f64 k))))
27.7b
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3) (/.f64 l (/.f64 t l))) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
Compiler

Compiled 6000 to 2984 computations (50.3% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b
(/.f64 2 (*.f64 (*.f64 (*.f64 (*.f64 (neg.f64 (/.f64 t (neg.f64 (/.f64 l t)))) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
1.6b
(*.f64 (*.f64 (*.f64 (neg.f64 (/.f64 t (neg.f64 (/.f64 l t)))) (/.f64 t l)) (sin.f64 k)) (tan.f64 k))
3.4b
(*.f64 (*.f64 (neg.f64 (/.f64 t (neg.f64 (/.f64 l t)))) (/.f64 t l)) (sin.f64 k))
11.5b
(*.f64 (*.f64 (*.f64 (*.f64 (neg.f64 (/.f64 t (neg.f64 (/.f64 l t)))) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1))

rewrite684.0ms (4.2%)

Algorithm
1×rewrite-expression-head
Error
8.4b
Rules
67×pow1_binary64
52×frac-times_binary64
52×add-exp-log_binary64
45×distribute-lft-neg-out_binary64
45×pow-prod-down_binary64
Counts
4 → 203
Calls

4 calls:

52.0ms
(*.f64 (*.f64 (*.f64 (*.f64 (neg.f64 (/.f64 t (neg.f64 (/.f64 l t)))) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1))
25.0ms
(/.f64 2 (*.f64 (*.f64 (*.f64 (*.f64 (neg.f64 (/.f64 t (neg.f64 (/.f64 l t)))) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
21.0ms
(*.f64 (*.f64 (*.f64 (neg.f64 (/.f64 t (neg.f64 (/.f64 l t)))) (/.f64 t l)) (sin.f64 k)) (tan.f64 k))
18.0ms
(*.f64 (*.f64 (neg.f64 (/.f64 t (neg.f64 (/.f64 l t)))) (/.f64 t l)) (sin.f64 k))
Compiler

Compiled 7268 to 2529 computations (65.2% saved)

series404.0ms (2.5%)

Error
8.8b
Counts
4 → 47
Calls

4 calls:

136.0ms
(*.f64 (*.f64 (*.f64 (*.f64 (neg.f64 (/.f64 t (neg.f64 (/.f64 l t)))) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1))
100.0ms
(/.f64 2 (*.f64 (*.f64 (*.f64 (*.f64 (neg.f64 (/.f64 t (neg.f64 (/.f64 l t)))) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
88.0ms
(*.f64 (*.f64 (*.f64 (neg.f64 (/.f64 t (neg.f64 (/.f64 l t)))) (/.f64 t l)) (sin.f64 k)) (tan.f64 k))
45.0ms
(*.f64 (*.f64 (neg.f64 (/.f64 t (neg.f64 (/.f64 l t)))) (/.f64 t l)) (sin.f64 k))
Compiler

Compiled 3371 to 2582 computations (23.4% saved)

simplify148.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
609×associate-*l*_binary64
515×associate-*r*_binary64
290×times-frac_binary64
256×associate-/l*_binary64
237×associate-/r*_binary64
Counts
250 → 181
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
03328357
19857318
254057318

prune359.0ms (2.2%)

Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New16813181
Fresh11920
Picked101
Done000
Total18022202
Error
8.4b
Counts
202 → 22
Alt Table
StatusErrorProgram
44.7b
(*.f64 (/.f64 2 (*.f64 (*.f64 (pow.f64 (sin.f64 k) 2) (*.f64 t (neg.f64 t))) (+.f64 1 (pow.f64 (+.f64 (pow.f64 (/.f64 k t) 2) 1) 3)))) (*.f64 (*.f64 (*.f64 (neg.f64 (/.f64 l t)) l) (cos.f64 k)) (+.f64 (*.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) (+.f64 1 (pow.f64 (/.f64 k t) 2))) (-.f64 (*.f64 1 1) (*.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))))
17.0b
(/.f64 2 (*.f64 (*.f64 (*.f64 (neg.f64 (/.f64 t (neg.f64 (/.f64 l t)))) (/.f64 t l)) (sin.f64 k)) (*.f64 (tan.f64 k) (+.f64 1 (+.f64 (pow.f64 (/.f64 k t) 2) 1)))))
22.4b
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 t t) l) (*.f64 (sin.f64 k) (/.f64 t l))) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
38.5b
(/.f64 2 (+.f64 (/.f64 (*.f64 t (pow.f64 k 4)) (*.f64 l l)) (fma.f64 2 (/.f64 (*.f64 (pow.f64 t 3) (*.f64 k k)) (*.f64 l l)) (*.f64 1/3 (/.f64 (*.f64 (pow.f64 t 3) (pow.f64 k 4)) (*.f64 l l))))))
26.2b
(*.f64 (sqrt.f64 (/.f64 (/.f64 -2 (*.f64 (tan.f64 k) (*.f64 (sin.f64 k) (*.f64 (/.f64 t (neg.f64 (/.f64 l t))) (/.f64 t l))))) (+.f64 1 (+.f64 (pow.f64 (/.f64 k t) 2) 1)))) (sqrt.f64 (/.f64 (/.f64 -2 (*.f64 (tan.f64 k) (*.f64 (sin.f64 k) (*.f64 (/.f64 t (neg.f64 (/.f64 l t))) (/.f64 t l))))) (+.f64 1 (+.f64 (pow.f64 (/.f64 k t) 2) 1)))))
24.0b
(/.f64 2 (*.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 k) (*.f64 (*.f64 1 (/.f64 t (/.f64 l t))) (/.f64 t l))) 2)) (cbrt.f64 (*.f64 (sin.f64 k) (*.f64 (*.f64 1 (/.f64 t (/.f64 l t))) (/.f64 t l))))) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
35.5b
(/.f64 2 (*.f64 (/.f64 (pow.f64 t 3) (*.f64 (*.f64 l l) (cos.f64 k))) (*.f64 (pow.f64 (sin.f64 k) 2) (+.f64 2 (pow.f64 (/.f64 k t) 2)))))
41.8b
(/.f64 2 (/.f64 (*.f64 (*.f64 (*.f64 (*.f64 t (/.f64 t (*.f64 (cbrt.f64 l) (cbrt.f64 l)))) t) (sin.f64 k)) (sin.f64 k)) (/.f64 (*.f64 (cos.f64 k) (*.f64 l (cbrt.f64 l))) (/.f64 (+.f64 1 (pow.f64 (+.f64 (pow.f64 (/.f64 k t) 2) 1) 3)) (fma.f64 (+.f64 (pow.f64 (/.f64 k t) 2) 1) (+.f64 (pow.f64 (/.f64 k t) 2) 1) (-.f64 0 (pow.f64 (/.f64 k t) 2)))))))
20.6b
(/.f64 2 (*.f64 (*.f64 (*.f64 1 (/.f64 t (/.f64 l t))) (*.f64 (/.f64 t l) (*.f64 (sin.f64 k) (tan.f64 k)))) (+.f64 1 (+.f64 (pow.f64 (/.f64 k t) 2) 1))))
35.0b
(*.f64 2 (/.f64 (*.f64 (cos.f64 k) (*.f64 l l)) (*.f64 (pow.f64 t 3) (*.f64 (pow.f64 (sin.f64 k) 2) (+.f64 2 (pow.f64 (/.f64 k t) 2))))))
17.5b
(/.f64 2 (*.f64 (*.f64 (*.f64 (*.f64 (/.f64 1 (/.f64 (/.f64 l t) t)) (/.f64 t l)) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
43.0b
(*.f64 (*.f64 (/.f64 2 (+.f64 1 (pow.f64 (+.f64 (pow.f64 (/.f64 k t) 2) 1) 3))) (*.f64 (/.f64 l (*.f64 (*.f64 1 (/.f64 t (/.f64 l t))) t)) (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)))) (+.f64 (*.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) (+.f64 1 (pow.f64 (/.f64 k t) 2))) (-.f64 (*.f64 1 1) (*.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1))))
22.6b
(/.f64 2 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 1 (/.f64 t (/.f64 l t))) t) (/.f64 (sin.f64 k) l)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
27.7b
(/.f64 2 (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 t) (cbrt.f64 t)) 3) (/.f64 l (/.f64 t l))) (sin.f64 k)) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
33.1b
(*.f64 2 (/.f64 (*.f64 (cos.f64 k) (*.f64 l l)) (*.f64 (*.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))))
15.5b
(/.f64 2 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 1 (/.f64 t (/.f64 l t))) (*.f64 (/.f64 t l) (*.f64 (cbrt.f64 (sin.f64 k)) (cbrt.f64 (sin.f64 k))))) (cbrt.f64 (sin.f64 k))) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
17.9b
(*.f64 (*.f64 (cbrt.f64 (/.f64 (/.f64 -2 (*.f64 (tan.f64 k) (*.f64 (sin.f64 k) (*.f64 (/.f64 t (neg.f64 (/.f64 l t))) (/.f64 t l))))) (+.f64 1 (+.f64 (pow.f64 (/.f64 k t) 2) 1)))) (cbrt.f64 (/.f64 (/.f64 -2 (*.f64 (tan.f64 k) (*.f64 (sin.f64 k) (*.f64 (/.f64 t (neg.f64 (/.f64 l t))) (/.f64 t l))))) (+.f64 1 (+.f64 (pow.f64 (/.f64 k t) 2) 1))))) (cbrt.f64 (/.f64 (/.f64 -2 (*.f64 (tan.f64 k) (*.f64 (sin.f64 k) (*.f64 (/.f64 t (neg.f64 (/.f64 l t))) (/.f64 t l))))) (+.f64 1 (+.f64 (pow.f64 (/.f64 k t) 2) 1)))))
61.0b
(/.f64 2 (*.f64 (exp.f64 (+.f64 (+.f64 (-.f64 (fma.f64 2 (log.f64 t) (*.f64 -2 (log.f64 (cbrt.f64 l)))) (log.f64 (cbrt.f64 l))) (log.f64 (/.f64 t l))) (+.f64 (log.f64 (sin.f64 k)) (log.f64 (tan.f64 k))))) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
61.0b
(/.f64 2 (exp.f64 (+.f64 (+.f64 (-.f64 (fma.f64 2 (log.f64 t) (*.f64 -2 (log.f64 (cbrt.f64 l)))) (log.f64 (cbrt.f64 l))) (+.f64 (log.f64 (/.f64 t l)) (log.f64 (sin.f64 k)))) (+.f64 (log.f64 (tan.f64 k)) (log1p.f64 (+.f64 (pow.f64 (/.f64 k t) 2) 1))))))
25.6b
(cbrt.f64 (pow.f64 (/.f64 (/.f64 -2 (*.f64 (tan.f64 k) (*.f64 (sin.f64 k) (*.f64 (/.f64 t (neg.f64 (/.f64 l t))) (/.f64 t l))))) (+.f64 1 (+.f64 (pow.f64 (/.f64 k t) 2) 1))) 3))
25.8b
(/.f64 2 (*.f64 (/.f64 (*.f64 (*.f64 (neg.f64 t) t) (sin.f64 k)) (*.f64 (/.f64 (neg.f64 (/.f64 l t)) (/.f64 (sin.f64 k) l)) (cos.f64 k))) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
59.9b
(/.f64 2 (*.f64 (*.f64 (exp.f64 (+.f64 (-.f64 (fma.f64 2 (log.f64 t) (*.f64 -2 (log.f64 (cbrt.f64 l)))) (log.f64 (cbrt.f64 l))) (+.f64 (log.f64 (/.f64 t l)) (log.f64 (sin.f64 k))))) (tan.f64 k)) (+.f64 (+.f64 1 (pow.f64 (/.f64 k t) 2)) 1)))
Compiler

Compiled 6008 to 3016 computations (49.8% saved)

regimes3.4s (20.7%)

Accuracy

Total 3.8b remaining (28.5%)

Threshold costs 0b (0%)

Compiler

Compiled 62117 to 40597 computations (34.6% saved)

bsearch166.0ms (1%)

Steps
ItersRangePoint
5
2.7848474134140375e-56
6.12639946627306e-56
3.400435998125358e-56
7
-2.8187741786068707e-144
-2.793606350298349e-146
-4.995686352806614e-145
Compiler

Compiled 4 to 3 computations (25% saved)

simplify9.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
25×*-commutative_binary64
16×+-commutative_binary64
16×neg-sub0_binary64
16×neg-mul-1_binary64
14×sub-neg_binary64
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
03888
16488
28188
310688
412488
514086
615286
715886
816186
916286
1016086

end1.0ms (0%)

Compiler

Compiled 59 to 40 computations (32.2% saved)

sample4.7s (28.8%)

Algorithm
1×intervals
Results
2.0s2691×body1024valid
622.0ms1245×body512valid
580.0ms3476×body128valid
239.0ms1432×body128invalid
197.0ms581×body256valid
62.0ms122×body512invalid
46.0ms65×body1024invalid
35.0ms106×body256invalid
8.0ms7×body2048valid
Compiler

Compiled 1038 to 699 computations (32.7% saved)

Profiling

Loading profile data...