Details

Time bar (total: 2.7s)

analyze7.0ms (0.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%50%50%0
0%50%50%1
0%50%50%2
0%50%50%3
31.2%18.7%50%4
40.6%9.4%50%5
45.3%4.7%50%6
47.6%2.3%50%7
48.8%1.2%50%8
49.4%0.6%50%9
49.7%0.3%50%10
49.8%0.1%50%11
49.9%0.1%50%12
Compiler

Compiled 29 to 19 computations (34.5% saved)

sample1.3s (50%)

Results
1.3s8254×body64valid
0.0ms2×body128valid

preprocess47.0ms (1.8%)

Algorithm
2×egg-herbie
Rules
554×associate-/r*_binary64
526×cancel-sign-sub-inv_binary64
513×distribute-rgt-in_binary64
483×distribute-lft-in_binary64
416×associate-/r/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01131
14026
220017
3131613
4358513
5602513
011
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
Outputs
0
Call 2
Inputs
(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i))) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
Outputs
(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i))) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
(/.f64 (/.f64 (*.f64 i (*.f64 i (*.f64 i i))) (*.f64 4 (*.f64 i i))) (+.f64 (*.f64 4 (*.f64 i i)) -1))
(*.f64 (/.f64 i (fma.f64 4 (*.f64 i i) -1)) (/.f64 (pow.f64 i 3) (*.f64 i (*.f64 i 4))))
(*.f64 (/.f64 i (fma.f64 (*.f64 i i) 4 -1)) (/.f64 i 4))
(/.f64 1/4 (-.f64 4 (/.f64 i (pow.f64 i 3))))
(/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
Compiler

Compiled 26 to 17 computations (34.6% saved)

simplify37.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
554×associate-/r*_binary64
526×cancel-sign-sub-inv_binary64
513×distribute-rgt-in_binary64
483×distribute-lft-in_binary64
416×associate-/r/_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01131
14026
220017
3131613
4358513
5602513
Stop Event
1×node limit
Counts
1 → 2
Calls
Call 1
Inputs
(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i))) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
Outputs
(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i))) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
(/.f64 (/.f64 (*.f64 i (*.f64 i (*.f64 i i))) (*.f64 4 (*.f64 i i))) (+.f64 (*.f64 4 (*.f64 i i)) -1))
(*.f64 (/.f64 i (fma.f64 4 (*.f64 i i) -1)) (/.f64 (pow.f64 i 3) (*.f64 i (*.f64 i 4))))
(*.f64 (/.f64 i (fma.f64 (*.f64 i i) 4 -1)) (/.f64 i 4))
(/.f64 1/4 (-.f64 4 (/.f64 i (pow.f64 i 3))))
(/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))

prune3.0ms (0.1%)

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
46.3b
(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i))) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
▶0.5b
(/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
Compiler

Compiled 107 to 73 computations (31.8% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.5b
(/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
✓0.5b
(/.f64 -1 (*.f64 i i))

series4.0ms (0.1%)

Counts
2 → 24
Calls

6 calls:

TimeVariablePointExpression
1.0ms
i
@0
(/.f64 -1 (*.f64 i i))
1.0ms
i
@0
(/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
1.0ms
i
@inf
(/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
0.0ms
i
@inf
(/.f64 -1 (*.f64 i i))
0.0ms
i
@-inf
(/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))

rewrite56.0ms (2.1%)

Algorithm
1×batch-egg-rewrite
Rules
522×unpow-prod-down_binary64
386×log-prod_binary64
305×exp-prod_binary64
256×prod-exp_binary64
243×pow2_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0920
120317
2251117
Stop Event
1×node limit
Counts
2 → 99
Calls
Call 1
Inputs
(/.f64 -1 (*.f64 i i))
(/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (neg.f64 (pow.f64 i -2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (neg.f64 (pow.f64 i -2)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (neg.f64 (pow.f64 i -2))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (neg.f64 (pow.f64 i -2))))) (log.f64 (sqrt.f64 (exp.f64 (neg.f64 (pow.f64 i -2))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (neg.f64 (pow.f64 i -2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (pow.f64 i -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (pow.f64 i -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (neg.f64 (pow.f64 i -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (neg.f64 (pow.f64 i -2))) (cbrt.f64 (pow.f64 i -4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 i -4)) (cbrt.f64 (neg.f64 (pow.f64 i -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 -1) i) (/.f64 (sqrt.f64 -1) i))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 i -2) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -1 i) (/.f64 1 i))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -1 i) (pow.f64 (/.f64 1 i) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 i) (/.f64 -1 i))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 (cbrt.f64 i) i)) (pow.f64 (neg.f64 (pow.f64 (cbrt.f64 i) 2)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (neg.f64 (pow.f64 i -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (neg.f64 (pow.f64 i -2)))) 2) 3) (cbrt.f64 (neg.f64 (pow.f64 i -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (neg.f64 (pow.f64 i -2)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (neg.f64 (pow.f64 i -2)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 i -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 i (neg.f64 i))) 2) -1) (cbrt.f64 (neg.f64 (pow.f64 i -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (neg.f64 (*.f64 (cbrt.f64 i) i)) -1) (pow.f64 (pow.f64 (cbrt.f64 i) 2) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 -1 1/3) (pow.f64 i -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (pow.f64 i -4) -1) 1/3) (cbrt.f64 (pow.f64 i -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (pow.f64 i -4) (cbrt.f64 (pow.f64 i -4))) 1/3) (cbrt.f64 (cbrt.f64 (neg.f64 (pow.f64 i -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (neg.f64 (pow.f64 i -2)) 5/2) 1/3) (cbrt.f64 (/.f64 (sqrt.f64 -1) i)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (neg.f64 (pow.f64 i -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 i -4) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (neg.f64 (pow.f64 i -2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (sqrt.f64 -1) i) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 i (neg.f64 i)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 -1 (pow.f64 i 6)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (log.f64 (neg.f64 (pow.f64 i -2))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (neg.f64 (pow.f64 i -2)))) 2)) (cbrt.f64 (log.f64 (neg.f64 (pow.f64 i -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (neg.f64 (pow.f64 i -2))))) (sqrt.f64 (log.f64 (neg.f64 (pow.f64 i -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (pow.f64 i -2))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 i -4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (neg.f64 (pow.f64 i -2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (neg.f64 (pow.f64 i -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 -1 (pow.f64 i 6)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (neg.f64 (pow.f64 i -2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (neg.f64 (pow.f64 i -2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (neg.f64 (pow.f64 i -2)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (sqrt.f64 -1) i)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 i (neg.f64 i))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 -1 (pow.f64 i 6))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (neg.f64 (pow.f64 i -2))) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (neg.f64 (pow.f64 i -2))) 3) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (-.f64 (log.f64 (/.f64 -1 i)) (*.f64 (log.f64 i) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (neg.f64 (pow.f64 i -2))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (neg.f64 (pow.f64 i -2))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (/.f64 1 (fma.f64 -1 (pow.f64 i -2) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4))) (cbrt.f64 (*.f64 1/16 (pow.f64 (fma.f64 -1 (pow.f64 i -2) 4) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 1/16 (pow.f64 (fma.f64 -1 (pow.f64 i -2) 4) -2))) (cbrt.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/2 (sqrt.f64 (fma.f64 -1 (pow.f64 i -2) 4))) (/.f64 1/2 (sqrt.f64 (fma.f64 -1 (pow.f64 i -2) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/4 (/.f64 1 (neg.f64 (fma.f64 -1 (pow.f64 i -2) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/4 (pow.f64 (/.f64 1 (neg.f64 (fma.f64 -1 (pow.f64 i -2) 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (fma.f64 -1 (pow.f64 i -2) 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -6) 64)) (-.f64 (+.f64 16 (pow.f64 i -4)) (*.f64 -4 (pow.f64 i -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/4 (-.f64 16 (pow.f64 i -4))) (+.f64 4 (pow.f64 i -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -6) 64)) 1) (-.f64 (+.f64 16 (pow.f64 i -4)) (*.f64 -4 (pow.f64 i -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 1/4 (-.f64 16 (pow.f64 i -4))) 1) (+.f64 4 (pow.f64 i -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (pow.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)) 3)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (*.f64 1/16 (pow.f64 (fma.f64 -1 (pow.f64 i -2) 4) -2)) 1/4) 1/3) (cbrt.f64 (/.f64 1 (fma.f64 -1 (pow.f64 i -2) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)) (cbrt.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)) 5/2) 1/3) (cbrt.f64 (/.f64 1/2 (sqrt.f64 (fma.f64 -1 (pow.f64 i -2) 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 1/4) 3) (/.f64 1 (fma.f64 -1 (pow.f64 i -2) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)))) 2) 3) (cbrt.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 (fma.f64 -1 (pow.f64 i -2) 4) 4)) 2) -1) (cbrt.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/16 (pow.f64 (fma.f64 -1 (pow.f64 i -2) 4) -2)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1/2 (sqrt.f64 (fma.f64 -1 (pow.f64 i -2) 4))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (fma.f64 -1 (pow.f64 i -2) 4) 4) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (log.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (*.f64 (fma.f64 -1 (pow.f64 i -2) 4) 4) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)))) 2)) (cbrt.f64 (log.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4))))) (sqrt.f64 (log.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 1/16 (pow.f64 (fma.f64 -1 (pow.f64 i -2) 4) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3 (log.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 1/2 (sqrt.f64 (fma.f64 -1 (pow.f64 i -2) 4)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (fma.f64 -1 (pow.f64 i -2) 4) 4)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4))) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 1/4 (fma.f64 -1 (pow.f64 i -2) 4))))))))

simplify59.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
691×cancel-sign-sub-inv_binary64
657×fma-neg_binary64
472×distribute-lft-out_binary64
413×unswap-sqr_binary64
410×fma-def_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
039270
191267
2214267
3645267
43024267
Stop Event
1×node limit
Counts
123 → 116
Calls
Call 1
Inputs
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (pow.f64 i 2))
(*.f64 -1/4 (pow.f64 i 2))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (*.f64 -1/4 (pow.f64 i 2)))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (+.f64 (*.f64 -1/4 (pow.f64 i 2)) (*.f64 -4 (pow.f64 i 6))))
(+.f64 (*.f64 -16 (pow.f64 i 8)) (+.f64 (*.f64 -1 (pow.f64 i 4)) (+.f64 (*.f64 -1/4 (pow.f64 i 2)) (*.f64 -4 (pow.f64 i 6)))))
1/16
(+.f64 1/16 (*.f64 1/64 (/.f64 1 (pow.f64 i 2))))
(+.f64 (*.f64 1/256 (/.f64 1 (pow.f64 i 4))) (+.f64 1/16 (*.f64 1/64 (/.f64 1 (pow.f64 i 2)))))
(+.f64 (*.f64 1/256 (/.f64 1 (pow.f64 i 4))) (+.f64 1/16 (+.f64 (*.f64 1/1024 (/.f64 1 (pow.f64 i 6))) (*.f64 1/64 (/.f64 1 (pow.f64 i 2))))))
1/16
(+.f64 1/16 (*.f64 1/64 (/.f64 1 (pow.f64 i 2))))
(+.f64 (*.f64 1/256 (/.f64 1 (pow.f64 i 4))) (+.f64 1/16 (*.f64 1/64 (/.f64 1 (pow.f64 i 2)))))
(+.f64 (*.f64 1/256 (/.f64 1 (pow.f64 i 4))) (+.f64 1/16 (+.f64 (*.f64 1/1024 (/.f64 1 (pow.f64 i 6))) (*.f64 1/64 (/.f64 1 (pow.f64 i 2))))))
Outputs
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (*.f64 i i))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (*.f64 i i))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (*.f64 i i))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (*.f64 i i))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (*.f64 i i))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (*.f64 i i))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (*.f64 i i))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (*.f64 i i))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (*.f64 i i))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (*.f64 i i))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (*.f64 i i))
(/.f64 -1 (pow.f64 i 2))
(/.f64 -1 (*.f64 i i))
(*.f64 -1/4 (pow.f64 i 2))
(*.f64 (*.f64 i i) -1/4)
(*.f64 i (*.f64 i -1/4))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (*.f64 -1/4 (pow.f64 i 2)))
(fma.f64 -1 (pow.f64 i 4) (*.f64 (*.f64 i i) -1/4))
(fma.f64 (*.f64 i i) -1/4 (neg.f64 (pow.f64 i 4)))
(-.f64 (*.f64 i (*.f64 i -1/4)) (pow.f64 i 4))
(*.f64 (*.f64 i i) (-.f64 -1/4 (*.f64 i i)))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (+.f64 (*.f64 -1/4 (pow.f64 i 2)) (*.f64 -4 (pow.f64 i 6))))
(fma.f64 -1 (pow.f64 i 4) (fma.f64 -1/4 (*.f64 i i) (*.f64 -4 (pow.f64 i 6))))
(-.f64 (fma.f64 (*.f64 i i) -1/4 (*.f64 -4 (pow.f64 i 6))) (pow.f64 i 4))
(-.f64 (fma.f64 -4 (pow.f64 i 6) (*.f64 i (*.f64 i -1/4))) (pow.f64 i 4))
(-.f64 (fma.f64 i (*.f64 i -1/4) (*.f64 -4 (pow.f64 i 6))) (pow.f64 i 4))
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))
(+.f64 (*.f64 -16 (pow.f64 i 8)) (+.f64 (*.f64 -1 (pow.f64 i 4)) (+.f64 (*.f64 -1/4 (pow.f64 i 2)) (*.f64 -4 (pow.f64 i 6)))))
(fma.f64 -16 (pow.f64 i 8) (fma.f64 -1 (pow.f64 i 4) (fma.f64 -1/4 (*.f64 i i) (*.f64 -4 (pow.f64 i 6)))))
(fma.f64 -16 (pow.f64 i 8) (-.f64 (fma.f64 (*.f64 i i) -1/4 (*.f64 -4 (pow.f64 i 6))) (pow.f64 i 4)))
(-.f64 (fma.f64 -16 (pow.f64 i 8) (fma.f64 -4 (pow.f64 i 6) (*.f64 i (*.f64 i -1/4)))) (pow.f64 i 4))
(fma.f64 i (-.f64 (*.f64 i -1/4) (pow.f64 i 3)) (fma.f64 -4 (pow.f64 i 6) (*.f64 -16 (pow.f64 i 8))))
(-.f64 (fma.f64 -4 (pow.f64 i 6) (*.f64 -16 (pow.f64 i 8))) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))
1/16
(+.f64 1/16 (*.f64 1/64 (/.f64 1 (pow.f64 i 2))))
(+.f64 1/16 (/.f64 1/64 (*.f64 i i)))
(+.f64 (*.f64 1/256 (/.f64 1 (pow.f64 i 4))) (+.f64 1/16 (*.f64 1/64 (/.f64 1 (pow.f64 i 2)))))
(+.f64 (+.f64 1/16 (/.f64 1/64 (*.f64 i i))) (/.f64 1/256 (pow.f64 i 4)))
(+.f64 1/16 (+.f64 (/.f64 1/64 (*.f64 i i)) (/.f64 1/256 (pow.f64 i 4))))
(+.f64 (/.f64 1/64 (*.f64 i i)) (+.f64 1/16 (/.f64 1/256 (pow.f64 i 4))))
(+.f64 (*.f64 1/256 (/.f64 1 (pow.f64 i 4))) (+.f64 1/16 (+.f64 (*.f64 1/1024 (/.f64 1 (pow.f64 i 6))) (*.f64 1/64 (/.f64 1 (pow.f64 i 2))))))
(+.f64 (/.f64 1/256 (pow.f64 i 4)) (+.f64 1/16 (+.f64 (/.f64 1/64 (*.f64 i i)) (/.f64 1/1024 (pow.f64 i 6)))))
(+.f64 1/16 (+.f64 (+.f64 (/.f64 1/64 (*.f64 i i)) (/.f64 1/1024 (pow.f64 i 6))) (/.f64 1/256 (pow.f64 i 4))))
(+.f64 1/16 (+.f64 (/.f64 1/256 (pow.f64 i 4)) (+.f64 (/.f64 1/64 (*.f64 i i)) (/.f64 1/1024 (pow.f64 i 6)))))
(+.f64 (/.f64 1/64 (*.f64 i i)) (+.f64 (/.f64 1/1024 (pow.f64 i 6)) (+.f64 1/16 (/.f64 1/256 (pow.f64 i 4)))))
1/16
(+.f64 1/16 (*.f64 1/64 (/.f64 1 (pow.f64 i 2))))
(+.f64 1/16 (/.f64 1/64 (*.f64 i i)))
(+.f64 (*.f64 1/256 (/.f64 1 (pow.f64 i 4))) (+.f64 1/16 (*.f64 1/64 (/.f64 1 (pow.f64 i 2)))))
(+.f64 (+.f64 1/16 (/.f64 1/64 (*.f64 i i))) (/.f64 1/256 (pow.f64 i 4)))
(+.f64 1/16 (+.f64 (/.f64 1/64 (*.f64 i i)) (/.f64 1/256 (pow.f64 i 4))))
(+.f64 (/.f64 1/64 (*.f64 i i)) (+.f64 1/16 (/.f64 1/256 (pow.f64 i 4))))
(+.f64 (*.f64 1/256 (/.f64 1 (pow.f64 i 4))) (+.f64 1/16 (+.f64 (*.f64 1/1024 (/.f64 1 (pow.f64 i 6))) (*.f64 1/64 (/.f64 1 (pow.f64 i 2))))))
(+.f64 (/.f64 1/256 (pow.f64 i 4)) (+.f64 1/16 (+.f64 (/.f64 1/64 (*.f64 i i)) (/.f64 1/1024 (pow.f64 i 6)))))
(+.f64 1/16 (+.f64 (+.f64 (/.f64 1/64 (*.f64 i i)) (/.f64 1/1024 (pow.f64 i 6))) (/.f64 1/256 (pow.f64 i 4))))
(+.f64 1/16 (+.f64 (/.f64 1/256 (pow.f64 i 4)) (+.f64 (/.f64 1/64 (*.f64 i i)) (/.f64 1/1024 (pow.f64 i 6)))))
(+.f64 (/.f64 1/64 (*.f64 i i)) (+.f64 (/.f64 1/1024 (pow.f64 i 6)) (+.f64 1/16 (/.f64 1/256 (pow.f64 i 4)))))

prune308.0ms (11.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1151116
Fresh101
Picked011
Done000
Total1162118
Error
0b
Counts
118 → 2
Alt Table
StatusErrorProgram
▶33.8b
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))
✓0.5b
(/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
Compiler

Compiled 1665 to 1448 computations (13% saved)

localize8.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))
✓0.1b
(*.f64 (*.f64 i i) (fma.f64 i i 1/4))

series4.0ms (0.1%)

Counts
2 → 24
Calls

6 calls:

TimeVariablePointExpression
1.0ms
i
@0
(*.f64 (*.f64 i i) (fma.f64 i i 1/4))
1.0ms
i
@inf
(*.f64 (*.f64 i i) (fma.f64 i i 1/4))
1.0ms
i
@-inf
(*.f64 (*.f64 i i) (fma.f64 i i 1/4))
1.0ms
i
@inf
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))
0.0ms
i
@-inf
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))

rewrite88.0ms (3.3%)

Algorithm
1×batch-egg-rewrite
Rules
526×log-prod_binary64
513×fma-def_binary64
346×pow-prod-down_binary64
292×pow2_binary64
201×fma-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01131
125231
2315231
Stop Event
1×node limit
Counts
2 → 212
Calls
Call 1
Inputs
(*.f64 (*.f64 i i) (fma.f64 i i 1/4))
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 i 4) (*.f64 (*.f64 i i) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 i 4) (*.f64 1/4 (*.f64 i i)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (*.f64 i i)) (fma.f64 i i 1/4))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (*.f64 i i)) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (*.f64 i i)) (fma.f64 i i 1/4)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (*.f64 i i)) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 6) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (*.f64 i i)) (fma.f64 i i 1/4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 6))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 6)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 3) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 i (pow.f64 i 3) (*.f64 (*.f64 i i) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 i (pow.f64 i 3) (*.f64 1/4 (*.f64 i i)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 i i) (*.f64 i i) (*.f64 (*.f64 i i) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 i i) (*.f64 i i) (*.f64 1/4 (*.f64 i i)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (pow.f64 i 4) (*.f64 (*.f64 i i) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (pow.f64 i 4) (*.f64 1/4 (*.f64 i i)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 i) i) (pow.f64 (pow.f64 (cbrt.f64 i) 2) 4) (*.f64 (*.f64 i i) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 i) i) (pow.f64 (pow.f64 (cbrt.f64 i) 2) 4) (*.f64 1/4 (*.f64 i i)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 i 3) i (*.f64 (*.f64 i i) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 i 3) i (*.f64 1/4 (*.f64 i i)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (pow.f64 (cbrt.f64 i) 2) 4) (*.f64 (cbrt.f64 i) i) (*.f64 (*.f64 i i) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (pow.f64 (cbrt.f64 i) 2) 4) (*.f64 (cbrt.f64 i) i) (*.f64 1/4 (*.f64 i i)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (pow.f64 (cbrt.f64 i) 2) 5) (pow.f64 (cbrt.f64 i) 2) (*.f64 (*.f64 i i) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (pow.f64 (cbrt.f64 i) 2) 5) (pow.f64 (cbrt.f64 i) 2) (*.f64 1/4 (*.f64 i i)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -4 (pow.f64 i 6)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (fma.f64 (neg.f64 (*.f64 i (fma.f64 i i 1/4))) i (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (fma.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1 (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (cbrt.f64 (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (*.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (+.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) (*.f64 -4 (pow.f64 i 6)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))) 2)) (log.f64 (cbrt.f64 (exp.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (pow.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 2) (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (sqrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 (pow.f64 i 18) -64) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 6)) (/.f64 1 (fma.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6))) (*.f64 (pow.f64 i 12) 16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 (pow.f64 i 12) 16) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4)) (/.f64 1 (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 (sqrt.f64 -4) (pow.f64 i 3) (*.f64 i (sqrt.f64 (fma.f64 i i 1/4)))) (-.f64 (*.f64 (sqrt.f64 -4) (pow.f64 i 3)) (*.f64 i (sqrt.f64 (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6))) (*.f64 (pow.f64 i 12) 16)) (-.f64 (*.f64 (pow.f64 i 18) -64) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6))) (-.f64 (*.f64 (pow.f64 i 12) 16) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (pow.f64 i 18) -64) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 6)) (fma.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6))) (*.f64 (pow.f64 i 12) 16)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (pow.f64 i 12) 16) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4)) (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 i 18) -64) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 6))) (neg.f64 (fma.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6))) (*.f64 (pow.f64 i 12) 16))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 i 12) 16) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4))) (neg.f64 (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 (pow.f64 i 18) -64 (pow.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 3)) (fma.f64 (pow.f64 i 12) 16 (-.f64 (pow.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 2) (*.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 3) (pow.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 3)) (+.f64 (pow.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 2) (-.f64 (pow.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 2) (*.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (pow.f64 i 12) 16) (pow.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 2)) (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 2) (pow.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 2)) (-.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6))) (*.f64 (pow.f64 i 12) 16)) (-.f64 (*.f64 (pow.f64 i 18) -64) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 6))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6))) (-.f64 (*.f64 (pow.f64 i 12) 16) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (+.f64 1 (expm1.f64 (*.f64 -4 (pow.f64 i 6)))) (pow.f64 (exp.f64 (*.f64 i i)) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (pow.f64 (exp.f64 -4) (pow.f64 i 6)) (+.f64 1 (expm1.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (+.f64 1 (expm1.f64 (*.f64 -4 (pow.f64 i 6)))) (+.f64 1 (expm1.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 -4 (pow.f64 i 6)))) (exp.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 -4 (pow.f64 i 6)))) (pow.f64 (exp.f64 (fma.f64 i i 1/4)) (*.f64 i (neg.f64 i)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))) (exp.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (exp.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (+.f64 1 (expm1.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)))) (pow.f64 (exp.f64 -4) (pow.f64 i 6))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)))) (+.f64 1 (expm1.f64 (*.f64 -4 (pow.f64 i 6))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (pow.f64 (exp.f64 (fma.f64 i i 1/4)) (*.f64 i (neg.f64 i))) (+.f64 1 (expm1.f64 (*.f64 -4 (pow.f64 i 6))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3 (log.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 1) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 i (neg.f64 (*.f64 i (fma.f64 i i 1/4))) (*.f64 -4 (pow.f64 i 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 -4 (pow.f64 i 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 i i 1/4) (*.f64 i (neg.f64 i)) (*.f64 -4 (pow.f64 i 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -4 (pow.f64 i 6) (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -4 (pow.f64 i 6) (*.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -4 (pow.f64 i 6) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -4 (pow.f64 i 6) (neg.f64 (-.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 i 6) -4 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 i 6) -4 (*.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 i 6) -4 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 i 6) -4 (neg.f64 (-.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 -4 (pow.f64 i 6)) 1 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 -4 (pow.f64 i 6)) 1 (*.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 -4 (pow.f64 i 6)) 1 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 -4 (pow.f64 i 6)) 1 (neg.f64 (-.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 1 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 1 (fma.f64 (neg.f64 (*.f64 i (fma.f64 i i 1/4))) i (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 1 (fma.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1 (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 1 (fma.f64 (neg.f64 (cbrt.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (cbrt.f64 (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 1 (*.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 1 (+.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 -4 (pow.f64 i 6)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 -4 (pow.f64 i 6)) (neg.f64 (-.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (fma.f64 (neg.f64 (*.f64 i (fma.f64 i i 1/4))) i (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (fma.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1 (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (cbrt.f64 (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (*.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (+.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) (*.f64 -4 (pow.f64 i 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (pow.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 2) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (pow.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 2) (fma.f64 (neg.f64 (*.f64 i (fma.f64 i i 1/4))) i (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (pow.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 2) (fma.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1 (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (pow.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 2) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (cbrt.f64 (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (pow.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 2) (*.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (pow.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 2) (+.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 2) (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 2) (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (fma.f64 (neg.f64 (*.f64 i (fma.f64 i i 1/4))) i (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 2) (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (fma.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1 (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 2) (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (cbrt.f64 (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 2) (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (*.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 2) (cbrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (+.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 i 4) (*.f64 (*.f64 i i) -4) (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 i 4) (*.f64 (*.f64 i i) -4) (*.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 i 4) (*.f64 (*.f64 i i) -4) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 i 4) (*.f64 (*.f64 i i) -4) (neg.f64 (-.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4)) (neg.f64 (cbrt.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (*.f64 -4 (pow.f64 i 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 i i) (cbrt.f64 -4)) (cbrt.f64 (*.f64 (pow.f64 i 12) 16)) (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 i i) (cbrt.f64 -4)) (cbrt.f64 (*.f64 (pow.f64 i 12) 16)) (*.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 i i) (cbrt.f64 -4)) (cbrt.f64 (*.f64 (pow.f64 i 12) 16)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 i i) (cbrt.f64 -4)) (cbrt.f64 (*.f64 (pow.f64 i 12) 16)) (neg.f64 (-.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (pow.f64 i 12) 16)) (*.f64 (*.f64 i i) (cbrt.f64 -4)) (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (pow.f64 i 12) 16)) (*.f64 (*.f64 i i) (cbrt.f64 -4)) (*.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (pow.f64 i 12) 16)) (*.f64 (*.f64 i i) (cbrt.f64 -4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (pow.f64 i 12) 16)) (*.f64 (*.f64 i i) (cbrt.f64 -4)) (neg.f64 (-.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (sqrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (sqrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (fma.f64 (neg.f64 (*.f64 i (fma.f64 i i 1/4))) i (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (sqrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (fma.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1 (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (sqrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (cbrt.f64 (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (sqrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (*.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (sqrt.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (+.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) (neg.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4)))) (*.f64 -4 (pow.f64 i 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (sqrt.f64 -4) (pow.f64 i 3)) (*.f64 (sqrt.f64 -4) (pow.f64 i 3)) (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (sqrt.f64 -4) (pow.f64 i 3)) (*.f64 (sqrt.f64 -4) (pow.f64 i 3)) (*.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (sqrt.f64 -4) (pow.f64 i 3)) (*.f64 (sqrt.f64 -4) (pow.f64 i 3)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (sqrt.f64 -4) (pow.f64 i 3)) (*.f64 (sqrt.f64 -4) (pow.f64 i 3)) (neg.f64 (-.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 (fma.f64 i i 1/4)) (*.f64 i i) (*.f64 -4 (pow.f64 i 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 (pow.f64 i 18) -64) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 6)) (/.f64 1 (fma.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6))) (*.f64 (pow.f64 i 12) 16))) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 (pow.f64 i 18) -64) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 6)) (/.f64 1 (fma.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6))) (*.f64 (pow.f64 i 12) 16))) (fma.f64 (neg.f64 (*.f64 i (fma.f64 i i 1/4))) i (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 (pow.f64 i 18) -64) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 6)) (/.f64 1 (fma.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6))) (*.f64 (pow.f64 i 12) 16))) (fma.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1 (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 (pow.f64 i 18) -64) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 6)) (/.f64 1 (fma.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6))) (*.f64 (pow.f64 i 12) 16))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (cbrt.f64 (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 (pow.f64 i 18) -64) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 6)) (/.f64 1 (fma.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6))) (*.f64 (pow.f64 i 12) 16))) (*.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 (pow.f64 i 18) -64) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 6)) (/.f64 1 (fma.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6))) (*.f64 (pow.f64 i 12) 16))) (+.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 (pow.f64 i 12) 16) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4)) (/.f64 1 (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6)))) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 (pow.f64 i 12) 16) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4)) (/.f64 1 (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6)))) (fma.f64 (neg.f64 (*.f64 i (fma.f64 i i 1/4))) i (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 (pow.f64 i 12) 16) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4)) (/.f64 1 (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6)))) (fma.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1 (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 (pow.f64 i 12) 16) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4)) (/.f64 1 (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6)))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (cbrt.f64 (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 (pow.f64 i 12) 16) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4)) (/.f64 1 (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6)))) (*.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 (*.f64 (pow.f64 i 12) 16) (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4)) (/.f64 1 (fma.f64 (*.f64 i i) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6)))) (+.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 i 3) (*.f64 (pow.f64 i 3) -4) (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 i 3) (*.f64 (pow.f64 i 3) -4) (*.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 i 3) (*.f64 (pow.f64 i 3) -4) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 i 3) (*.f64 (pow.f64 i 3) -4) (neg.f64 (-.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 i (neg.f64 i)) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) 2) (cbrt.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)))) 2) (cbrt.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)))) (*.f64 -4 (pow.f64 i 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (sqrt.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)))) (sqrt.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)))) (*.f64 -4 (pow.f64 i 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4)))) (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) (*.f64 -4 (pow.f64 i 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (*.f64 -4 (pow.f64 i 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 (sqrt.f64 -4) (pow.f64 i 3) (*.f64 i (sqrt.f64 (fma.f64 i i 1/4)))) (-.f64 (*.f64 (sqrt.f64 -4) (pow.f64 i 3)) (*.f64 i (sqrt.f64 (fma.f64 i i 1/4)))) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 (sqrt.f64 -4) (pow.f64 i 3) (*.f64 i (sqrt.f64 (fma.f64 i i 1/4)))) (-.f64 (*.f64 (sqrt.f64 -4) (pow.f64 i 3)) (*.f64 i (sqrt.f64 (fma.f64 i i 1/4)))) (fma.f64 (neg.f64 (*.f64 i (fma.f64 i i 1/4))) i (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 (sqrt.f64 -4) (pow.f64 i 3) (*.f64 i (sqrt.f64 (fma.f64 i i 1/4)))) (-.f64 (*.f64 (sqrt.f64 -4) (pow.f64 i 3)) (*.f64 i (sqrt.f64 (fma.f64 i i 1/4)))) (fma.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1 (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 (sqrt.f64 -4) (pow.f64 i 3) (*.f64 i (sqrt.f64 (fma.f64 i i 1/4)))) (-.f64 (*.f64 (sqrt.f64 -4) (pow.f64 i 3)) (*.f64 i (sqrt.f64 (fma.f64 i i 1/4)))) (fma.f64 (neg.f64 (cbrt.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))) (cbrt.f64 (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 (sqrt.f64 -4) (pow.f64 i 3) (*.f64 i (sqrt.f64 (fma.f64 i i 1/4)))) (-.f64 (*.f64 (sqrt.f64 -4) (pow.f64 i 3)) (*.f64 i (sqrt.f64 (fma.f64 i i 1/4)))) (*.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 (sqrt.f64 -4) (pow.f64 i 3) (*.f64 i (sqrt.f64 (fma.f64 i i 1/4)))) (-.f64 (*.f64 (sqrt.f64 -4) (pow.f64 i 3)) (*.f64 i (sqrt.f64 (fma.f64 i i 1/4)))) (+.f64 (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 i) (*.f64 i (fma.f64 i i 1/4)) (*.f64 -4 (pow.f64 i 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 i (sqrt.f64 (fma.f64 i i 1/4))) 4))) (cbrt.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4))) (*.f64 -4 (pow.f64 i 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 i (neg.f64 i)) 1) (fma.f64 i i 1/4) (*.f64 -4 (pow.f64 i 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 i (neg.f64 i)) (cbrt.f64 (pow.f64 (fma.f64 i i 1/4) 2))) (cbrt.f64 (fma.f64 i i 1/4)) (*.f64 -4 (pow.f64 i 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 i (neg.f64 i)) (sqrt.f64 (fma.f64 i i 1/4))) (sqrt.f64 (fma.f64 i i 1/4)) (*.f64 -4 (pow.f64 i 6)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 -4 (pow.f64 i 4)) (*.f64 i i) (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 -4 (pow.f64 i 4)) (*.f64 i i) (*.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 -4 (pow.f64 i 4)) (*.f64 i i) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 -4 (pow.f64 i 4)) (*.f64 i i) (neg.f64 (-.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 -4 (pow.f64 i 3)) (pow.f64 i 3) (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 -4 (pow.f64 i 3)) (pow.f64 i 3) (*.f64 (*.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 -4 (pow.f64 i 3)) (pow.f64 i 3) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 -4 (pow.f64 i 3)) (pow.f64 i 3) (neg.f64 (-.f64 (*.f64 (*.f64 i i) (fma.f64 i i 1/4)) (fma.f64 (*.f64 i i) (neg.f64 (fma.f64 i i 1/4)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))))))))

simplify73.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
686×fma-def_binary64
615×distribute-rgt-neg-in_binary64
560×distribute-lft-neg-in_binary64
501×sub-neg_binary64
317×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
021303
148294
2107294
3325294
41353294
54382294
66363294
77731294
Stop Event
1×node limit
Counts
236 → 226
Calls
Call 1
Inputs
(*.f64 1/4 (pow.f64 i 2))
(+.f64 (*.f64 1/4 (pow.f64 i 2)) (pow.f64 i 4))
(+.f64 (*.f64 1/4 (pow.f64 i 2)) (pow.f64 i 4))
(+.f64 (*.f64 1/4 (pow.f64 i 2)) (pow.f64 i 4))
(pow.f64 i 4)
(+.f64 (*.f64 1/4 (pow.f64 i 2)) (pow.f64 i 4))
(+.f64 (*.f64 1/4 (pow.f64 i 2)) (pow.f64 i 4))
(+.f64 (*.f64 1/4 (pow.f64 i 2)) (pow.f64 i 4))
(pow.f64 i 4)
(+.f64 (*.f64 1/4 (pow.f64 i 2)) (pow.f64 i 4))
(+.f64 (*.f64 1/4 (pow.f64 i 2)) (pow.f64 i 4))
(+.f64 (*.f64 1/4 (pow.f64 i 2)) (pow.f64 i 4))
(*.f64 -1/4 (pow.f64 i 2))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (*.f64 -1/4 (pow.f64 i 2)))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (+.f64 (*.f64 -1/4 (pow.f64 i 2)) (*.f64 -4 (pow.f64 i 6))))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (+.f64 (*.f64 -1/4 (pow.f64 i 2)) (*.f64 -4 (pow.f64 i 6))))
(*.f64 -4 (pow.f64 i 6))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (*.f64 -4 (pow.f64 i 6)))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (+.f64 (*.f64 -1/4 (pow.f64 i 2)) (*.f64 -4 (pow.f64 i 6))))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (+.f64 (*.f64 -1/4 (pow.f64 i 2)) (*.f64 -4 (pow.f64 i 6))))
(*.f64 -4 (pow.f64 i 6))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (*.f64 -4 (pow.f64 i 6)))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (+.f64 (*.f64 -1/4 (pow.f64 i 2)) (*.f64 -4 (pow.f64 i 6))))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (+.f64 (*.f64 -1/4 (pow.f64 i 2)) (*.f64 -4 (pow.f64 i 6))))
Outputs
(*.f64 1/4 (pow.f64 i 2))
(*.f64 1/4 (*.f64 i i))
(*.f64 i (*.f64 1/4 i))
(+.f64 (*.f64 1/4 (pow.f64 i 2)) (pow.f64 i 4))
(fma.f64 1/4 (*.f64 i i) (pow.f64 i 4))
(*.f64 i (*.f64 i (fma.f64 i i 1/4)))
(*.f64 i (fma.f64 1/4 i (pow.f64 i 3)))
(*.f64 (*.f64 i i) (fma.f64 i i 1/4))
(+.f64 (*.f64 1/4 (pow.f64 i 2)) (pow.f64 i 4))
(fma.f64 1/4 (*.f64 i i) (pow.f64 i 4))
(*.f64 i (*.f64 i (fma.f64 i i 1/4)))
(*.f64 i (fma.f64 1/4 i (pow.f64 i 3)))
(*.f64 (*.f64 i i) (fma.f64 i i 1/4))
(+.f64 (*.f64 1/4 (pow.f64 i 2)) (pow.f64 i 4))
(fma.f64 1/4 (*.f64 i i) (pow.f64 i 4))
(*.f64 i (*.f64 i (fma.f64 i i 1/4)))
(*.f64 i (fma.f64 1/4 i (pow.f64 i 3)))
(*.f64 (*.f64 i i) (fma.f64 i i 1/4))
(pow.f64 i 4)
(+.f64 (*.f64 1/4 (pow.f64 i 2)) (pow.f64 i 4))
(fma.f64 1/4 (*.f64 i i) (pow.f64 i 4))
(*.f64 i (*.f64 i (fma.f64 i i 1/4)))
(*.f64 i (fma.f64 1/4 i (pow.f64 i 3)))
(*.f64 (*.f64 i i) (fma.f64 i i 1/4))
(+.f64 (*.f64 1/4 (pow.f64 i 2)) (pow.f64 i 4))
(fma.f64 1/4 (*.f64 i i) (pow.f64 i 4))
(*.f64 i (*.f64 i (fma.f64 i i 1/4)))
(*.f64 i (fma.f64 1/4 i (pow.f64 i 3)))
(*.f64 (*.f64 i i) (fma.f64 i i 1/4))
(+.f64 (*.f64 1/4 (pow.f64 i 2)) (pow.f64 i 4))
(fma.f64 1/4 (*.f64 i i) (pow.f64 i 4))
(*.f64 i (*.f64 i (fma.f64 i i 1/4)))
(*.f64 i (fma.f64 1/4 i (pow.f64 i 3)))
(*.f64 (*.f64 i i) (fma.f64 i i 1/4))
(pow.f64 i 4)
(+.f64 (*.f64 1/4 (pow.f64 i 2)) (pow.f64 i 4))
(fma.f64 1/4 (*.f64 i i) (pow.f64 i 4))
(*.f64 i (*.f64 i (fma.f64 i i 1/4)))
(*.f64 i (fma.f64 1/4 i (pow.f64 i 3)))
(*.f64 (*.f64 i i) (fma.f64 i i 1/4))
(+.f64 (*.f64 1/4 (pow.f64 i 2)) (pow.f64 i 4))
(fma.f64 1/4 (*.f64 i i) (pow.f64 i 4))
(*.f64 i (*.f64 i (fma.f64 i i 1/4)))
(*.f64 i (fma.f64 1/4 i (pow.f64 i 3)))
(*.f64 (*.f64 i i) (fma.f64 i i 1/4))
(+.f64 (*.f64 1/4 (pow.f64 i 2)) (pow.f64 i 4))
(fma.f64 1/4 (*.f64 i i) (pow.f64 i 4))
(*.f64 i (*.f64 i (fma.f64 i i 1/4)))
(*.f64 i (fma.f64 1/4 i (pow.f64 i 3)))
(*.f64 (*.f64 i i) (fma.f64 i i 1/4))
(*.f64 -1/4 (pow.f64 i 2))
(*.f64 (*.f64 i i) -1/4)
(*.f64 i (*.f64 i -1/4))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (*.f64 -1/4 (pow.f64 i 2)))
(fma.f64 -1 (pow.f64 i 4) (*.f64 (*.f64 i i) -1/4))
(fma.f64 (*.f64 i i) -1/4 (neg.f64 (pow.f64 i 4)))
(*.f64 (*.f64 i i) (-.f64 -1/4 (*.f64 i i)))
(-.f64 (*.f64 (*.f64 i i) -1/4) (pow.f64 i 4))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (+.f64 (*.f64 -1/4 (pow.f64 i 2)) (*.f64 -4 (pow.f64 i 6))))
(fma.f64 -1 (pow.f64 i 4) (fma.f64 -1/4 (*.f64 i i) (*.f64 -4 (pow.f64 i 6))))
(-.f64 (fma.f64 (*.f64 i i) -1/4 (*.f64 -4 (pow.f64 i 6))) (pow.f64 i 4))
(-.f64 (fma.f64 -4 (pow.f64 i 6) (*.f64 (*.f64 i i) -1/4)) (pow.f64 i 4))
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 i (fma.f64 1/4 i (pow.f64 i 3))))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (+.f64 (*.f64 -1/4 (pow.f64 i 2)) (*.f64 -4 (pow.f64 i 6))))
(fma.f64 -1 (pow.f64 i 4) (fma.f64 -1/4 (*.f64 i i) (*.f64 -4 (pow.f64 i 6))))
(-.f64 (fma.f64 (*.f64 i i) -1/4 (*.f64 -4 (pow.f64 i 6))) (pow.f64 i 4))
(-.f64 (fma.f64 -4 (pow.f64 i 6) (*.f64 (*.f64 i i) -1/4)) (pow.f64 i 4))
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 i (fma.f64 1/4 i (pow.f64 i 3))))
(*.f64 -4 (pow.f64 i 6))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (*.f64 -4 (pow.f64 i 6)))
(fma.f64 -1 (pow.f64 i 4) (*.f64 -4 (pow.f64 i 6)))
(-.f64 (*.f64 -4 (pow.f64 i 6)) (pow.f64 i 4))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (+.f64 (*.f64 -1/4 (pow.f64 i 2)) (*.f64 -4 (pow.f64 i 6))))
(fma.f64 -1 (pow.f64 i 4) (fma.f64 -1/4 (*.f64 i i) (*.f64 -4 (pow.f64 i 6))))
(-.f64 (fma.f64 (*.f64 i i) -1/4 (*.f64 -4 (pow.f64 i 6))) (pow.f64 i 4))
(-.f64 (fma.f64 -4 (pow.f64 i 6) (*.f64 (*.f64 i i) -1/4)) (pow.f64 i 4))
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 i (fma.f64 1/4 i (pow.f64 i 3))))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (+.f64 (*.f64 -1/4 (pow.f64 i 2)) (*.f64 -4 (pow.f64 i 6))))
(fma.f64 -1 (pow.f64 i 4) (fma.f64 -1/4 (*.f64 i i) (*.f64 -4 (pow.f64 i 6))))
(-.f64 (fma.f64 (*.f64 i i) -1/4 (*.f64 -4 (pow.f64 i 6))) (pow.f64 i 4))
(-.f64 (fma.f64 -4 (pow.f64 i 6) (*.f64 (*.f64 i i) -1/4)) (pow.f64 i 4))
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 i (fma.f64 1/4 i (pow.f64 i 3))))
(*.f64 -4 (pow.f64 i 6))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (*.f64 -4 (pow.f64 i 6)))
(fma.f64 -1 (pow.f64 i 4) (*.f64 -4 (pow.f64 i 6)))
(-.f64 (*.f64 -4 (pow.f64 i 6)) (pow.f64 i 4))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (+.f64 (*.f64 -1/4 (pow.f64 i 2)) (*.f64 -4 (pow.f64 i 6))))
(fma.f64 -1 (pow.f64 i 4) (fma.f64 -1/4 (*.f64 i i) (*.f64 -4 (pow.f64 i 6))))
(-.f64 (fma.f64 (*.f64 i i) -1/4 (*.f64 -4 (pow.f64 i 6))) (pow.f64 i 4))
(-.f64 (fma.f64 -4 (pow.f64 i 6) (*.f64 (*.f64 i i) -1/4)) (pow.f64 i 4))
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 i (fma.f64 1/4 i (pow.f64 i 3))))
(+.f64 (*.f64 -1 (pow.f64 i 4)) (+.f64 (*.f64 -1/4 (pow.f64 i 2)) (*.f64 -4 (pow.f64 i 6))))
(fma.f64 -1 (pow.f64 i 4) (fma.f64 -1/4 (*.f64 i i) (*.f64 -4 (pow.f64 i 6))))
(-.f64 (fma.f64 (*.f64 i i) -1/4 (*.f64 -4 (pow.f64 i 6))) (pow.f64 i 4))
(-.f64 (fma.f64 -4 (pow.f64 i 6) (*.f64 (*.f64 i i) -1/4)) (pow.f64 i 4))
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 i (fma.f64 1/4 i (pow.f64 i 3))))

prune618.0ms (23%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New2260226
Fresh000
Picked011
Done011
Total2262228
Error
0b
Counts
228 → 2
Alt Table
StatusErrorProgram
✓33.8b
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))
✓0.5b
(/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
Compiler

Compiled 6793 to 4009 computations (41% saved)

regimes9.0ms (0.3%)

Accuracy

Total -53.7b remaining (-11270%)

Threshold costs -53.7b (-11270%)

Counts
3 → 1
Calls
Call 1
Inputs
(-.f64 (*.f64 -4 (pow.f64 i 6)) (*.f64 (*.f64 i i) (fma.f64 i i 1/4)))
(/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i))) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
Outputs
(/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
Results
4.0ms0.5bi
4.0ms0.5b(/.f64 (/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 2 i) (*.f64 2 i))) (-.f64 (*.f64 (*.f64 2 i) (*.f64 2 i)) 1))
Compiler

Compiled 77 to 49 computations (36.4% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
1×+-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0913
11013
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))
Outputs
(/.f64 1/4 (+.f64 4 (/.f64 -1 (*.f64 i i))))

end16.0ms (0.6%)

Stop Event
1×done
Compiler

Compiled 20 to 16 computations (20% saved)

Profiling

Loading profile data...