Details

Time bar (total: 7.1s)

analyze142.0ms (2%)

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%50%50%4
0%50%50%5
12.5%37.5%50%6
18.7%31.2%50%7
28.1%21.9%50%8
32.8%17.2%50%9
38.2%11.7%50%10
41%9%50%11
43.9%6%50%12
45.4%4.6%50%13
46.9%3.1%50%14
Compiler

Compiled 31 to 22 computations (29% saved)

sample61.0ms (0.9%)

Algorithm
1×intervals
Results
23.0ms256×body128valid
0.0ms1×body128nan
Compiler

Compiled 63 to 45 computations (28.6% saved)

simplify33.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
826×times-frac_binary64
592×fma-def_binary64
509×associate-/r*_binary64
353×associate-/l*_binary64
343×div-sub_binary64
Counts
1 → 2
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02043
15843
217938
382436
4388236
5502936

prune5.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.4b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.4b
(/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v)))))
0.4b
(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 (*.f64 (PI.f64) t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (-.f64 1 (*.f64 v v))))
Compiler

Compiled 166 to 115 computations (30.7% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 v (*.f64 v -5) 1)
✓0.2b
(*.f64 (PI.f64) t)
✓0.3b
(/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v)))))
✓0.4b
(*.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v))))

series197.0ms (2.8%)

Counts
4 → 60
Calls

4 calls:

141.0ms
(/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v)))))
51.0ms
(*.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v))))
2.0ms
(fma.f64 v (*.f64 v -5) 1)
2.0ms
(*.f64 (PI.f64) t)

rewrite30.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
29×add-cbrt-cube_binary64
29×add-exp-log_binary64
20×distribute-lft-in_binary64
20×distribute-rgt-in_binary64
16×add-sqr-sqrt_binary64
Counts
4 → 107
Calls

4 calls:

11.0ms
(*.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v))))
8.0ms
(/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v)))))
3.0ms
(*.f64 (PI.f64) t)
0.0ms
(fma.f64 v (*.f64 v -5) 1)

simplify108.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
545×associate-*r*_binary64
488×associate-*l*_binary64
460×associate-/r*_binary64
416×times-frac_binary64
245×associate-/l*_binary64
Counts
167 → 196
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
04336785
112196126
251196126

prune276.0ms (3.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1888196
Fresh101
Picked101
Done000
Total1908198
Error
0.0b
Counts
198 → 8
Alt Table
StatusErrorProgram
0.4b
(/.f64 (*.f64 (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1))) (/.f64 (*.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v)))) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1))))
0.7b
(*.f64 (/.f64 (-.f64 1 (*.f64 5 (pow.f64 v 2))) (*.f64 (-.f64 (PI.f64) (*.f64 (pow.f64 v 2) (PI.f64))) t)) (sqrt.f64 (/.f64 1 (-.f64 2 (*.f64 6 (pow.f64 v 2))))))
▶0.4b
(/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2))) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v))))
1.3b
(-.f64 (fma.f64 3/4 (/.f64 (*.f64 v v) (*.f64 (*.f64 (PI.f64) t) (sqrt.f64 1/2))) (/.f64 (sqrt.f64 1/2) (*.f64 (PI.f64) t))) (*.f64 4 (*.f64 (/.f64 (sqrt.f64 1/2) (*.f64 (PI.f64) t)) (*.f64 v v))))
0.5b
(*.f64 (/.f64 1 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2))) (/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v)))))
0.4b
(/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 (PI.f64) (*.f64 (*.f64 t (-.f64 1 (*.f64 v v))) (sqrt.f64 (-.f64 2 (*.f64 (*.f64 v v) 6))))))
41.6b
(cbrt.f64 (/.f64 (*.f64 (*.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v (*.f64 v -5) 1)) (fma.f64 v (*.f64 v -5) 1)) (*.f64 (*.f64 (*.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v)))) (*.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v))))) (*.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v)))))))
0.4b
(/.f64 (log.f64 (exp.f64 (fma.f64 v (*.f64 v -5) 1))) (*.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v)))))
Compiler

Compiled 8726 to 5513 computations (36.8% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(fma.f64 v (*.f64 v -5) 1)
0.2b
(*.f64 (PI.f64) t)
✓0.5b
(/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2))) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v))))
✓1.0b
(/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)))

series252.0ms (3.5%)

Counts
2 → 36
Calls

2 calls:

240.0ms
(/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2))) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v))))
12.0ms
(/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)))

rewrite26.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
76×times-frac_binary64
43×*-un-lft-identity_binary64
43×add-sqr-sqrt_binary64
43×add-cube-cbrt_binary64
30×sqrt-prod_binary64
Counts
2 → 113
Calls

2 calls:

9.0ms
(/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2))) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v))))
3.0ms
(/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)))

simplify148.0ms (2.1%)

Algorithm
1×egg-herbie
Rules
879×fma-def_binary64
419×associate-/r*_binary64
279×times-frac_binary64
276×associate-/l*_binary64
250×associate-*l*_binary64
Counts
149 → 220
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
04367537
112366895
248076872
355276872

prune362.0ms (5.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New2545259
Fresh527
Picked101
Done000
Total2607267
Error
0.0b
Counts
267 → 7
Alt Table
StatusErrorProgram
1.3b
(-.f64 (fma.f64 3/4 (/.f64 (*.f64 v v) (*.f64 (*.f64 (PI.f64) t) (sqrt.f64 1/2))) (/.f64 (sqrt.f64 1/2) (*.f64 (PI.f64) t))) (*.f64 4 (*.f64 (/.f64 (sqrt.f64 1/2) (*.f64 (PI.f64) t)) (*.f64 v v))))
▶0.4b
(/.f64 (/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2))) (*.f64 (PI.f64) t)) (-.f64 1 (*.f64 v v)))
0.7b
(*.f64 (/.f64 (sqrt.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)))) (*.f64 (PI.f64) t)) (/.f64 (sqrt.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)))) (-.f64 1 (*.f64 v v))))
1.2b
(/.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1))) (fabs.f64 (cbrt.f64 (fma.f64 v (*.f64 v -6) 2)))) (/.f64 (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)) (sqrt.f64 (cbrt.f64 (fma.f64 v (*.f64 v -6) 2))))) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v))))
0.4b
(/.f64 (log.f64 (exp.f64 (fma.f64 v (*.f64 v -5) 1))) (*.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v)))))
0.6b
(/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2))) (*.f64 (*.f64 (sqrt.f64 (PI.f64)) (*.f64 t (sqrt.f64 (PI.f64)))) (-.f64 1 (*.f64 v v))))
0.4b
(/.f64 (/.f64 (*.f64 (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1))) (/.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)))) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v))))
Compiler

Compiled 11352 to 7580 computations (33.2% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(fma.f64 v (*.f64 v -5) 1)
0.2b
(*.f64 (PI.f64) t)
✓0.5b
(/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2))) (*.f64 (PI.f64) t))
1.0b
(/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)))

series101.0ms (1.4%)

Counts
1 → 24
Calls

1 calls:

101.0ms
(/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2))) (*.f64 (PI.f64) t))

rewrite16.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
58×times-frac_binary64
27×*-un-lft-identity_binary64
27×add-sqr-sqrt_binary64
27×add-cube-cbrt_binary64
22×associate-/l*_binary64
Counts
1 → 66
Calls

1 calls:

7.0ms
(/.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2))) (*.f64 (PI.f64) t))

simplify92.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
646×associate-/l/_binary64
473×fma-def_binary64
239×cancel-sign-sub-inv_binary64
237×associate-/r*_binary64
148×sub-neg_binary64
Counts
90 → 125
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02964104
17563779
227173727
352023727

prune291.0ms (4.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New2472249
Fresh336
Picked101
Done000
Total2515256
Error
0.0b
Counts
256 → 5
Alt Table
StatusErrorProgram
0.6b
(/.f64 (*.f64 (/.f64 (sqrt.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)))) (PI.f64)) (/.f64 (sqrt.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)))) t)) (-.f64 1 (*.f64 v v)))
▶0.4b
(/.f64 (/.f64 (*.f64 (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1))) (/.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)))) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v))))
1.3b
(/.f64 (-.f64 (+.f64 (*.f64 3/4 (/.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 1/2) (*.f64 (PI.f64) t)))) (/.f64 (sqrt.f64 1/2) (*.f64 (PI.f64) t))) (*.f64 5 (/.f64 (*.f64 (sqrt.f64 1/2) (pow.f64 v 2)) (*.f64 (PI.f64) t)))) (-.f64 1 (*.f64 v v)))
1.2b
(/.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1))) (fabs.f64 (cbrt.f64 (fma.f64 v (*.f64 v -6) 2)))) (/.f64 (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)) (sqrt.f64 (cbrt.f64 (fma.f64 v (*.f64 v -6) 2))))) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v))))
0.4b
(/.f64 (log.f64 (exp.f64 (fma.f64 v (*.f64 v -5) 1))) (*.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v)))))
Compiler

Compiled 10511 to 7033 computations (33.1% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(fma.f64 v (*.f64 v -5) 1)
0.2b
(*.f64 (PI.f64) t)
✓0.5b
(/.f64 (/.f64 (*.f64 (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1))) (/.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)))) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v))))
✓1.0b
(/.f64 (*.f64 (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1))) (/.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1))))

series148.0ms (2.1%)

Counts
2 → 36
Calls

2 calls:

134.0ms
(/.f64 (/.f64 (*.f64 (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1))) (/.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)))) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v))))
14.0ms
(/.f64 (*.f64 (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1))) (/.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1))))

rewrite88.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
309×times-frac_binary64
104×*-un-lft-identity_binary64
104×add-sqr-sqrt_binary64
104×add-cube-cbrt_binary64
83×add-exp-log_binary64
Counts
2 → 238
Calls

2 calls:

18.0ms
(/.f64 (/.f64 (*.f64 (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1))) (/.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)))) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v))))
9.0ms
(/.f64 (*.f64 (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1))) (/.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1))))

simplify246.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
541×associate-/r*_binary64
532×times-frac_binary64
474×associate-/l*_binary64
392×associate-/l/_binary64
247×associate-/r/_binary64
Counts
274 → 401
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
057919454
1164917188
2511717188

prune687.0ms (9.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New4722474
Fresh134
Picked011
Done000
Total4736479
Error
0.0b
Counts
479 → 6
Alt Table
StatusErrorProgram
0.6b
(/.f64 (*.f64 (/.f64 (sqrt.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)))) (PI.f64)) (/.f64 (sqrt.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)))) t)) (-.f64 1 (*.f64 v v)))
✓0.4b
(/.f64 (/.f64 (*.f64 (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1))) (/.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)))) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v))))
1.3b
(/.f64 (-.f64 (+.f64 (*.f64 3/4 (/.f64 (pow.f64 v 2) (*.f64 (sqrt.f64 1/2) (*.f64 (PI.f64) t)))) (/.f64 (sqrt.f64 1/2) (*.f64 (PI.f64) t))) (*.f64 5 (/.f64 (*.f64 (sqrt.f64 1/2) (pow.f64 v 2)) (*.f64 (PI.f64) t)))) (-.f64 1 (*.f64 v v)))
40.9b
(/.f64 (/.f64 (*.f64 (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1))) (/.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)))) (*.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 (PI.f64) (PI.f64)) (PI.f64)) (*.f64 (*.f64 t t) t))) (-.f64 1 (*.f64 v v))))
1.4b
(/.f64 (/.f64 (*.f64 (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1))) (/.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (cbrt.f64 (fma.f64 v (*.f64 v -5) 1)))) (*.f64 (*.f64 (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (*.f64 t (cbrt.f64 (PI.f64)))) (-.f64 1 (*.f64 v v))))
0.4b
(/.f64 (log.f64 (exp.f64 (fma.f64 v (*.f64 v -5) 1))) (*.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v)))))
Compiler

Compiled 28016 to 19480 computations (30.5% saved)

regimes2.5s (35.3%)

Accuracy

Total 0.1b remaining (78.1%)

Threshold costs 0.1b (78.1%)

Counts
310 → 1
Compiler

Compiled 61451 to 45462 computations (26% saved)

simplify3.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01836
12636
23236
33636
43836
53736

end1.0ms (0%)

Compiler

Compiled 26 to 18 computations (30.8% saved)

sample1.2s (17.3%)

Algorithm
1×intervals
Results
834.0ms8000×body128valid
1.0ms11×body128nan
Compiler

Compiled 315 to 228 computations (27.6% saved)

Profiling

Loading profile data...