Details

Time bar (total: 1.0min)

analyze2.4s (3.8%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%74.9%25.1%0
0%74.9%25.1%1
0%74.9%25.1%2
18.7%56.2%25.1%3
37.5%37.5%25.1%4
42.1%32.8%25.1%5
46.8%28.1%25.1%6
48%26.9%25.1%7
49.2%25.8%25.1%8
49.5%25.5%25.1%9
49.8%25.2%25.1%10
49.8%25.2%25.1%11
49.8%25.1%25.1%12
49.9%25%25.1%13
49.9%25%25.1%14
Compiler

Compiled 127 to 112 computations (11.8% saved)

sample54.9s (87.7%)

Results
50.7s3898×body8192exit
4.1s8256×body128valid
54.0ms93×body128invalid
Compiler

Compiled 378 to 334 computations (11.6% saved)

simplify27.0ms (0%)

Algorithm
1×egg-herbie
Rules
343×associate-+l+_binary64
293×associate-+r+_binary64
271×distribute-rgt-in_binary64
266×distribute-lft-in_binary64
222×associate-*r*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
061156
1160147
2637119
34406115
Stop Event
1×node limit
Counts
1 → 2

prune12.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.5b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.5b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
1.7b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (+.f64 (-.f64 (-.f64 1 z) 1) 1/2))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 1))) (/.f64 -3147848041806007/2500000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 2))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 3))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 4))) (/.f64 2501468655737381/200000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 5))) (/.f64 -3464277381643003/25000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 6))) (/.f64 2496092394504893/250000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 7))) (/.f64 3764081837873279/25000000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 8)))))
Compiler

Compiled 596 to 508 computations (14.8% saved)

localize49.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.9b
(/.f64 7713234287776531/10000000000000 (-.f64 3 z))
✓1.0b
(/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))
✓1.0b
(+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))
✓1.0b
(sqrt.f64 (*.f64 (PI.f64) 2))

series22.0ms (0%)

Counts
4 → 28
Calls

4 calls:

17.0ms
(/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))
3.0ms
(+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))
2.0ms
(/.f64 7713234287776531/10000000000000 (-.f64 3 z))
0.0ms
(sqrt.f64 (*.f64 (PI.f64) 2))

rewrite38.0ms (0.1%)

Algorithm
1×batch-egg-rewrite
Rules
252×add-sqr-sqrt_binary64
248×log1p-expm1-u_binary64
248×expm1-log1p-u_binary64
243×add-cbrt-cube_binary64
242×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02248
152048
Stop Event
1×node limit
Counts
4 → 82
Calls

4 calls:

36.0ms
(/.f64 7713234287776531/10000000000000 (-.f64 3 z))
36.0ms
(/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))
36.0ms
(+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))
36.0ms
(sqrt.f64 (*.f64 (PI.f64) 2))

simplify29.0ms (0%)

Algorithm
1×egg-herbie
Rules
378×associate-*r*_binary64
369×fma-def_binary64
340×associate-+l+_binary64
269×associate-*l*_binary64
218×associate-+r+_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0132737
1387707
21216701
Stop Event
1×node limit
Counts
110 → 117

prune254.0ms (0.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1125117
Fresh011
Picked101
Done000
Total1136119
Error
0.3b
Counts
119 → 6
Alt Table
StatusErrorProgram
▶1.0b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (-.f64 (fma.f64 1/2 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (pow.f64 (log.f64 15/2) 2) (exp.f64 15/2))) (fma.f64 892/3375 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (fma.f64 14/15 (/.f64 z (/.f64 (exp.f64 15/2) (sqrt.f64 15/2))) (fma.f64 127/225 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (*.f64 z z)) (fma.f64 7/15 (*.f64 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (pow.f64 (log.f64 15/2) 2)) (/.f64 (sqrt.f64 15/2) (exp.f64 15/2))))))) (fma.f64 14/15 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 127/225 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 1/6 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (pow.f64 (log.f64 15/2) 3) (exp.f64 15/2))) (*.f64 (*.f64 z (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2)))))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
1.7b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (+.f64 (-.f64 (-.f64 1 z) 1) 1/2))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 1))) (/.f64 -3147848041806007/2500000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 2))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 3))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 4))) (/.f64 2501468655737381/200000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 5))) (/.f64 -3464277381643003/25000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 6))) (/.f64 2496092394504893/250000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 7))) (/.f64 3764081837873279/25000000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 8)))))
2.0b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (pow.f64 (pow.f64 (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z))) 3) 1/3)) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
2.7b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 (PI.f64) 2))) 3) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
1.0b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (*.f64 (pow.f64 (cbrt.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) 2) (cbrt.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
1.4b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (PI.f64))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
Compiler

Compiled 10776 to 8402 computations (22% saved)

localize88.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓1.0b
(/.f64 (sqrt.f64 15/2) (exp.f64 15/2))
1.0b
(sqrt.f64 (*.f64 (PI.f64) 2))
✓1.0b
(pow.f64 (log.f64 15/2) 3)
✓1.0b
(pow.f64 (log.f64 15/2) 2)

series0.0ms (0%)

Counts
3 → 0
Calls

3 calls:

0.0ms
(pow.f64 (log.f64 15/2) 2)
0.0ms
(/.f64 (sqrt.f64 15/2) (exp.f64 15/2))
0.0ms
(pow.f64 (log.f64 15/2) 3)

rewrite41.0ms (0.1%)

Algorithm
1×batch-egg-rewrite
Rules
775×log1p-expm1-u_binary64
775×expm1-log1p-u_binary64
151×log1p-udef_binary64
90×add-sqr-sqrt_binary64
88×add-log-exp_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01020
121220
2223820
Stop Event
1×node limit
Counts
3 → 72
Calls

3 calls:

40.0ms
(/.f64 (sqrt.f64 15/2) (exp.f64 15/2))
40.0ms
(pow.f64 (log.f64 15/2) 3)
40.0ms
(pow.f64 (log.f64 15/2) 2)

simplify8.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
Stop Event
1×saturated
Counts
72 → 72

prune1.3s (2.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New2082210
Fresh055
Picked011
Done000
Total2088216
Error
0.3b
Counts
216 → 8
Alt Table
StatusErrorProgram
1.8b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (PI.f64)) (sqrt.f64 2)) (-.f64 (fma.f64 1/2 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (pow.f64 (log.f64 15/2) 2) (exp.f64 15/2))) (fma.f64 892/3375 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (fma.f64 14/15 (/.f64 z (/.f64 (exp.f64 15/2) (sqrt.f64 15/2))) (fma.f64 127/225 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (*.f64 z z)) (fma.f64 7/15 (*.f64 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (pow.f64 (log.f64 15/2) 2)) (/.f64 (sqrt.f64 15/2) (exp.f64 15/2))))))) (fma.f64 14/15 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 127/225 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 1/6 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (pow.f64 (log.f64 15/2) 3) (exp.f64 15/2))) (*.f64 (*.f64 z (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2)))))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
1.4b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (PI.f64))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
2.4b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (-.f64 (fma.f64 1/2 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (pow.f64 (log.f64 15/2) 2) (exp.f64 15/2))) (fma.f64 892/3375 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (fma.f64 14/15 (/.f64 z (/.f64 (exp.f64 15/2) (sqrt.f64 15/2))) (fma.f64 127/225 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (*.f64 z z)) (fma.f64 7/15 (*.f64 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (pow.f64 (log.f64 15/2) 2)) (pow.f64 (pow.f64 (*.f64 (sqrt.f64 15/2) (exp.f64 -15/2)) 3) 1/3)))))) (fma.f64 14/15 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 127/225 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 1/6 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (pow.f64 (log.f64 15/2) 3) (exp.f64 15/2))) (*.f64 (*.f64 z (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2)))))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
✓1.0b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (-.f64 (fma.f64 1/2 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (pow.f64 (log.f64 15/2) 2) (exp.f64 15/2))) (fma.f64 892/3375 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (fma.f64 14/15 (/.f64 z (/.f64 (exp.f64 15/2) (sqrt.f64 15/2))) (fma.f64 127/225 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (*.f64 z z)) (fma.f64 7/15 (*.f64 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (pow.f64 (log.f64 15/2) 2)) (/.f64 (sqrt.f64 15/2) (exp.f64 15/2))))))) (fma.f64 14/15 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 127/225 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 1/6 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (pow.f64 (log.f64 15/2) 3) (exp.f64 15/2))) (*.f64 (*.f64 z (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2)))))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
1.7b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2) (+.f64 (-.f64 (-.f64 1 z) 1) 1/2))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 1 z) 1) 7) 1/2)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 1))) (/.f64 -3147848041806007/2500000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 2))) (/.f64 7713234287776531/10000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 3))) (/.f64 -883075145810703/5000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 4))) (/.f64 2501468655737381/200000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 5))) (/.f64 -3464277381643003/25000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 6))) (/.f64 2496092394504893/250000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 7))) (/.f64 3764081837873279/25000000000000000000000 (+.f64 (-.f64 (-.f64 1 z) 1) 8)))))
2.0b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (pow.f64 (pow.f64 (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z))) 3) 1/3)) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
2.7b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 (PI.f64) 2))) 3) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
▶1.0b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (*.f64 (pow.f64 (cbrt.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) 2) (cbrt.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
Compiler

Compiled 41526 to 35388 computations (14.8% saved)

localize53.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.9b
(/.f64 7713234287776531/10000000000000 (-.f64 3 z))
1.0b
(/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))
1.0b
(+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))
1.0b
(sqrt.f64 (*.f64 (PI.f64) 2))

prune481.0ms (0.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1844188
Fresh336
Picked101
Done011
Total1888196
Error
0.3b
Counts
196 → 8
Alt Table
StatusErrorProgram
1.4b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (-.f64 (fma.f64 1/2 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (pow.f64 (log.f64 15/2) 2) (exp.f64 15/2))) (fma.f64 892/3375 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (fma.f64 14/15 (/.f64 z (/.f64 (exp.f64 15/2) (sqrt.f64 15/2))) (fma.f64 127/225 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (*.f64 z z)) (fma.f64 7/15 (*.f64 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (pow.f64 (log.f64 15/2) 2)) (/.f64 (sqrt.f64 15/2) (exp.f64 15/2))))))) (fma.f64 14/15 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 127/225 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 1/6 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (pow.f64 (log.f64 15/2) 3) (exp.f64 15/2))) (*.f64 (*.f64 z (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2)))))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (*.f64 (pow.f64 (cbrt.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) 2) (cbrt.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
2.4b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (-.f64 (fma.f64 1/2 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (pow.f64 (log.f64 15/2) 2) (exp.f64 15/2))) (fma.f64 892/3375 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (fma.f64 14/15 (/.f64 z (/.f64 (exp.f64 15/2) (sqrt.f64 15/2))) (fma.f64 127/225 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (*.f64 z z)) (fma.f64 7/15 (*.f64 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (pow.f64 (log.f64 15/2) 2)) (pow.f64 (pow.f64 (*.f64 (sqrt.f64 15/2) (exp.f64 -15/2)) 3) 1/3)))))) (fma.f64 14/15 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 127/225 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 1/6 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (pow.f64 (log.f64 15/2) 3) (exp.f64 15/2))) (*.f64 (*.f64 z (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2)))))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
2.4b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 (PI.f64) 2))) 3) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (*.f64 (pow.f64 (cbrt.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) 2) (cbrt.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
✓1.0b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (-.f64 (fma.f64 1/2 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (pow.f64 (log.f64 15/2) 2) (exp.f64 15/2))) (fma.f64 892/3375 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (fma.f64 14/15 (/.f64 z (/.f64 (exp.f64 15/2) (sqrt.f64 15/2))) (fma.f64 127/225 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (*.f64 z z)) (fma.f64 7/15 (*.f64 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (pow.f64 (log.f64 15/2) 2)) (/.f64 (sqrt.f64 15/2) (exp.f64 15/2))))))) (fma.f64 14/15 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 127/225 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 1/6 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (pow.f64 (log.f64 15/2) 3) (exp.f64 15/2))) (*.f64 (*.f64 z (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2)))))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
2.0b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (pow.f64 (pow.f64 (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z))) 3) 1/3)) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
▶1.0b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))) 3) 1/3)) 2) (cbrt.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
2.0b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (*.f64 (pow.f64 (cbrt.f64 (+.f64 (pow.f64 (cbrt.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z))) 3) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) 2) (cbrt.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
1.4b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (PI.f64))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
Compiler

Compiled 19959 to 15796 computations (20.9% saved)

localize54.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
1.0b
(+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))
✓1.0b
(pow.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))) 3)
1.0b
(sqrt.f64 (*.f64 (PI.f64) 2))
✓2.0b
(pow.f64 (pow.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))) 3) 1/3)

series11.0ms (0%)

Counts
2 → 24
Calls

2 calls:

7.0ms
(pow.f64 (pow.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))) 3) 1/3)
3.0ms
(pow.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))) 3)

rewrite85.0ms (0.1%)

Algorithm
1×batch-egg-rewrite
Rules
273×expm1-udef_binary64
273×log1p-udef_binary64
156×log1p-expm1-u_binary64
156×expm1-log1p-u_binary64
152×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01435
133035
2442435
Stop Event
1×node limit
Counts
2 → 94
Calls

2 calls:

82.0ms
(pow.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))) 3)
82.0ms
(pow.f64 (pow.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))) 3) 1/3)

simplify44.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
684×times-frac_binary64
390×fma-def_binary64
175×fma-neg_binary64
167×distribute-rgt-out_binary64
166×unswap-sqr_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0106752
1281706
2792563
32787460
Stop Event
1×node limit
Counts
118 → 132

prune646.0ms (1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New2330233
Fresh066
Picked011
Done011
Total2338241
Error
0.3b
Counts
241 → 8
Alt Table
StatusErrorProgram
1.4b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (-.f64 (fma.f64 1/2 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (pow.f64 (log.f64 15/2) 2) (exp.f64 15/2))) (fma.f64 892/3375 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (fma.f64 14/15 (/.f64 z (/.f64 (exp.f64 15/2) (sqrt.f64 15/2))) (fma.f64 127/225 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (*.f64 z z)) (fma.f64 7/15 (*.f64 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (pow.f64 (log.f64 15/2) 2)) (/.f64 (sqrt.f64 15/2) (exp.f64 15/2))))))) (fma.f64 14/15 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 127/225 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 1/6 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (pow.f64 (log.f64 15/2) 3) (exp.f64 15/2))) (*.f64 (*.f64 z (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2)))))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (*.f64 (pow.f64 (cbrt.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) 2) (cbrt.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
2.4b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (-.f64 (fma.f64 1/2 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (pow.f64 (log.f64 15/2) 2) (exp.f64 15/2))) (fma.f64 892/3375 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (fma.f64 14/15 (/.f64 z (/.f64 (exp.f64 15/2) (sqrt.f64 15/2))) (fma.f64 127/225 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (*.f64 z z)) (fma.f64 7/15 (*.f64 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (pow.f64 (log.f64 15/2) 2)) (pow.f64 (pow.f64 (*.f64 (sqrt.f64 15/2) (exp.f64 -15/2)) 3) 1/3)))))) (fma.f64 14/15 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 127/225 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 1/6 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (pow.f64 (log.f64 15/2) 3) (exp.f64 15/2))) (*.f64 (*.f64 z (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2)))))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
2.4b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 (PI.f64) 2))) 3) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (*.f64 (pow.f64 (cbrt.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) 2) (cbrt.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
✓1.0b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (-.f64 (fma.f64 1/2 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (pow.f64 (log.f64 15/2) 2) (exp.f64 15/2))) (fma.f64 892/3375 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (fma.f64 14/15 (/.f64 z (/.f64 (exp.f64 15/2) (sqrt.f64 15/2))) (fma.f64 127/225 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (*.f64 z z)) (fma.f64 7/15 (*.f64 (*.f64 (/.f64 (sqrt.f64 15/2) (exp.f64 15/2)) (pow.f64 z 3)) (pow.f64 (log.f64 15/2) 2)) (/.f64 (sqrt.f64 15/2) (exp.f64 15/2))))))) (fma.f64 14/15 (*.f64 (*.f64 z (*.f64 z (sqrt.f64 15/2))) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 127/225 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2))) (fma.f64 1/6 (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 15/2)) (/.f64 (pow.f64 (log.f64 15/2) 3) (exp.f64 15/2))) (*.f64 (*.f64 z (sqrt.f64 15/2)) (/.f64 (log.f64 15/2) (exp.f64 15/2)))))))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
2.0b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (pow.f64 (pow.f64 (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z))) 3) 1/3)) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
✓1.0b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z))) 3) 1/3)) 2) (cbrt.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
2.0b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) 2)) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (*.f64 (pow.f64 (cbrt.f64 (+.f64 (pow.f64 (cbrt.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z))) 3) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) 2) (cbrt.f64 (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
1.4b
(*.f64 (/.f64 (PI.f64) (sin.f64 (*.f64 (PI.f64) z))) (*.f64 (*.f64 (*.f64 (sqrt.f64 2) (sqrt.f64 (PI.f64))) (/.f64 (pow.f64 (-.f64 15/2 z) (-.f64 1/2 z)) (exp.f64 (-.f64 15/2 z)))) (+.f64 (+.f64 9999999999998099/10000000000000000 (/.f64 6765203681218851/10000000000000 (-.f64 1 z))) (+.f64 (+.f64 (/.f64 -3147848041806007/2500000000000 (-.f64 2 z)) (+.f64 (/.f64 7713234287776531/10000000000000 (-.f64 3 z)) (/.f64 -883075145810703/5000000000000 (-.f64 4 z)))) (+.f64 (/.f64 2501468655737381/200000000000000 (-.f64 5 z)) (+.f64 (/.f64 -3464277381643003/25000000000000000 (-.f64 6 z)) (+.f64 (/.f64 2496092394504893/250000000000000000000 (-.f64 7 z)) (/.f64 3764081837873279/25000000000000000000000 (-.f64 8 z)))))))))
Compiler

Compiled 24528 to 19470 computations (20.6% saved)

regimes1.3s (2%)

Accuracy

Total 0.2b remaining (43.2%)

Threshold costs 0.2b (43.2%)

Counts
206 → 1
Compiler

Compiled 38238 to 31756 computations (17% saved)

simplify5.0ms (0%)

Algorithm
1×egg-herbie
Rules
19×+-commutative_binary64
11×sub-neg_binary64
6×*-commutative_binary64
1×neg-sub0_binary64
1×neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
061120
187120
2100120
3102120
4103120
Stop Event
1×saturated

end757.0ms (1.2%)

Compiler

Compiled 1172 to 997 computations (14.9% saved)

Profiling

Loading profile data...