Details

Time bar (total: 2.5s)

analyze133.0ms (5.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
25%74.9%0.1%5
37.5%62.4%0.1%6
50%46.8%3.2%7
59.3%35.9%4.8%8
67.1%25.8%7.1%9
72.6%19.1%8.3%10
76.9%13.5%9.7%11
79.8%9.9%10.3%12
Compiler

Compiled 10 to 7 computations (30% saved)

sample1.0s (40.3%)

Results
973.0ms8255×body256valid
16.0ms187×body256invalid
0.0ms1×body1024valid

preprocess59.0ms (2.4%)

Algorithm
2×egg-herbie
Rules
650×fma-def_binary64
317×fma-neg_binary64
120×cancel-sign-sub-inv_binary64
74×distribute-rgt-in_binary64
62×associate--r+_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01020
12220
24516
312316
426516
554616
6109316
7180816
8198016
9199816
10199816
022
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (*.f64 (+.f64 y 1) x) y)
Outputs
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)
(-.f64 (*.f64 (+.f64 y 1) x) y)
(-.f64 (*.f64 x (+.f64 1 y)) y)
(fma.f64 x (+.f64 1 y) (neg.f64 y))
(-.f64 (fma.f64 x y x) y)
(fma.f64 y (-.f64 x 1) x)
Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify29.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
406×fma-def_binary64
257×fma-neg_binary64
73×cancel-sign-sub-inv_binary64
42×distribute-rgt-in_binary64
37×associate--r+_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0710
11410
2278
3668
41328
52618
64908
79218
812508
912998
1013088
Stop Event
1×saturated
Counts
1 → 2
Calls
Call 1
Inputs
(-.f64 (*.f64 (+.f64 x 1) y) x)
Outputs
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)

eval1.0ms (0%)

Compiler

Compiled 15 to 8 computations (46.7% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.0b
Counts
3 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
▶0.0b
(-.f64 (fma.f64 x y y) x)
▶0.0b
(-.f64 (*.f64 (+.f64 x 1) y) x)
Compiler

Compiled 17 to 10 computations (41.2% saved)

localize8.0ms (0.3%)

Local error

Found 2 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (*.f64 (+.f64 x 1) y) x)
✓0.0b
(*.f64 (+.f64 x 1) y)
Compiler

Compiled 20 to 12 computations (40% saved)

series11.0ms (0.5%)

Counts
2 → 48
Calls

12 calls:

TimeVariablePointExpression
7.0ms
x
@-inf
(-.f64 (*.f64 (+.f64 x 1) y) x)
1.0ms
y
@0
(*.f64 (+.f64 x 1) y)
1.0ms
y
@inf
(-.f64 (*.f64 (+.f64 x 1) y) x)
1.0ms
x
@inf
(*.f64 (+.f64 x 1) y)
0.0ms
y
@inf
(*.f64 (+.f64 x 1) y)

rewrite71.0ms (2.8%)

Algorithm
1×batch-egg-rewrite
Rules
840×pow1_binary64
781×log1p-expm1-u_binary64
781×expm1-log1p-u_binary64
780×add-log-exp_binary64
765×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0717
115317
2211217
Stop Event
1×node limit
Counts
2 → 56
Calls
Call 1
Inputs
(*.f64 (+.f64 x 1) y)
(-.f64 (*.f64 (+.f64 x 1) y) x)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 y (*.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 y (*.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x y) y)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y x) y)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (+.f64 y (*.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 1 (pow.f64 x 3)) y) (fma.f64 x x (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (fma.f64 x x -1) y) (+.f64 x -1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (+.f64 1 (pow.f64 x 3))) (fma.f64 x x (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (fma.f64 x x -1)) (+.f64 x -1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 y (*.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 y (*.f64 x y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 y (*.f64 x y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 y (*.f64 x y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 y (*.f64 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 y) (+.f64 x 1)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 y (*.f64 x y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 y (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 y (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (+.f64 (log1p.f64 x) (log.f64 y)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 y (*.f64 x y)) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 y (*.f64 x y)) (*.f64 (neg.f64 x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 y (*.f64 x y)) x) (fma.f64 (neg.f64 x) 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 y (*.f64 x y)) x) (fma.f64 (neg.f64 (cbrt.f64 x)) (pow.f64 (cbrt.f64 x) 2) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 y (*.f64 x y)) x) (fma.f64 (neg.f64 (sqrt.f64 x)) (sqrt.f64 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 x) (+.f64 y (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (+.f64 y (*.f64 x y)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (+.f64 y (*.f64 x y)) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (-.f64 (+.f64 y (*.f64 x y)) x)) (pow.f64 (cbrt.f64 (-.f64 (+.f64 y (*.f64 x y)) x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (-.f64 (+.f64 y (*.f64 x y)) x)) 2) (cbrt.f64 (-.f64 (+.f64 y (*.f64 x y)) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (+.f64 y (*.f64 x y)) x)) (sqrt.f64 (-.f64 (+.f64 y (*.f64 x y)) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (+.f64 y (*.f64 x y)) 3) (pow.f64 x 3)) (/.f64 1 (+.f64 (pow.f64 (+.f64 y (*.f64 x y)) 2) (*.f64 x (fma.f64 (+.f64 x 1) y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (+.f64 y (*.f64 x y)) 2) (*.f64 x x)) (/.f64 1 (fma.f64 (+.f64 x 1) y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (sqrt.f64 (+.f64 y (*.f64 x y))) (sqrt.f64 x)) (-.f64 (sqrt.f64 (+.f64 y (*.f64 x y))) (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 y (*.f64 x y)) 2) (*.f64 x (fma.f64 (+.f64 x 1) y x))) (-.f64 (pow.f64 (+.f64 y (*.f64 x y)) 3) (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (+.f64 x 1) y x) (-.f64 (pow.f64 (+.f64 y (*.f64 x y)) 2) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 y (*.f64 x y)) 3) (pow.f64 x 3)) (+.f64 (pow.f64 (+.f64 y (*.f64 x y)) 2) (*.f64 x (fma.f64 (+.f64 x 1) y x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 y (*.f64 x y)) 2) (*.f64 x x)) (fma.f64 (+.f64 x 1) y x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 y (*.f64 x y)) 3) (pow.f64 x 3))) (neg.f64 (+.f64 (pow.f64 (+.f64 y (*.f64 x y)) 2) (*.f64 x (fma.f64 (+.f64 x 1) y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (+.f64 y (*.f64 x y)) 2) (*.f64 x x))) (neg.f64 (fma.f64 (+.f64 x 1) y x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (+.f64 y (*.f64 x y)) 3) (pow.f64 (neg.f64 x) 3)) (+.f64 (pow.f64 (+.f64 y (*.f64 x y)) 2) (-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (*.f64 (+.f64 y (*.f64 x y)) (neg.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 y (*.f64 x y)) 2) (*.f64 (neg.f64 x) (neg.f64 x))) (-.f64 (+.f64 y (*.f64 x y)) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (+.f64 y (*.f64 x y)) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (+.f64 y (*.f64 x y)) x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 (+.f64 y (*.f64 x y)) x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 (+.f64 y (*.f64 x y)) x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 (+.f64 y (*.f64 x y)) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 (+.f64 y (*.f64 x y)) x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 (+.f64 y (*.f64 x y)) x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (+.f64 y (*.f64 x y)) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (+.f64 y (*.f64 x y)) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (+.f64 y (*.f64 x y)) x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (+.f64 y (*.f64 x y)) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (+.f64 x 1) y (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y (+.f64 x 1) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (+.f64 y (*.f64 x y))) 2) (cbrt.f64 (+.f64 y (*.f64 x y))) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (+.f64 y (*.f64 x y))) (sqrt.f64 (+.f64 y (*.f64 x y))) (neg.f64 x))))))

simplify42.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
290×fma-def_binary64
221×fma-neg_binary64
69×cancel-sign-sub-inv_binary64
37×distribute-rgt-in_binary64
35×unsub-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
020286
144286
290286
3193286
4422286
5841286
61116286
71145286
81148286
Stop Event
1×saturated
Counts
104 → 69
Calls
Call 1
Inputs
y
(+.f64 (*.f64 y x) y)
(+.f64 (*.f64 y x) y)
(+.f64 (*.f64 y x) y)
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
y
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(*.f64 (-.f64 y 1) x)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(*.f64 -1 x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(*.f64 (+.f64 1 x) y)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(*.f64 (+.f64 1 x) y)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
Outputs
y
(+.f64 (*.f64 y x) y)
(fma.f64 y x y)
(+.f64 (*.f64 y x) y)
(fma.f64 y x y)
(+.f64 (*.f64 y x) y)
(fma.f64 y x y)
(*.f64 y x)
(+.f64 y (*.f64 y x))
(fma.f64 y x y)
(+.f64 y (*.f64 y x))
(fma.f64 y x y)
(+.f64 y (*.f64 y x))
(fma.f64 y x y)
(*.f64 y x)
(+.f64 y (*.f64 y x))
(fma.f64 y x y)
(+.f64 y (*.f64 y x))
(fma.f64 y x y)
(+.f64 y (*.f64 y x))
(fma.f64 y x y)
(*.f64 (+.f64 1 x) y)
(fma.f64 y x y)
(*.f64 (+.f64 1 x) y)
(fma.f64 y x y)
(*.f64 (+.f64 1 x) y)
(fma.f64 y x y)
(*.f64 (+.f64 1 x) y)
(fma.f64 y x y)
(*.f64 (+.f64 1 x) y)
(fma.f64 y x y)
(*.f64 (+.f64 1 x) y)
(fma.f64 y x y)
(*.f64 (+.f64 1 x) y)
(fma.f64 y x y)
(*.f64 (+.f64 1 x) y)
(fma.f64 y x y)
(*.f64 (+.f64 1 x) y)
(fma.f64 y x y)
(*.f64 (+.f64 1 x) y)
(fma.f64 y x y)
(*.f64 (+.f64 1 x) y)
(fma.f64 y x y)
(*.f64 (+.f64 1 x) y)
(fma.f64 y x y)
y
(+.f64 (*.f64 (-.f64 y 1) x) y)
(fma.f64 (+.f64 y -1) x y)
(fma.f64 x (+.f64 y -1) y)
(-.f64 (fma.f64 y x y) x)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 (-.f64 y 1) x) y)
(fma.f64 (+.f64 y -1) x y)
(fma.f64 x (+.f64 y -1) y)
(-.f64 (fma.f64 y x y) x)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 (-.f64 y 1) x) y)
(fma.f64 (+.f64 y -1) x y)
(fma.f64 x (+.f64 y -1) y)
(-.f64 (fma.f64 y x y) x)
(fma.f64 y x (-.f64 y x))
(*.f64 (-.f64 y 1) x)
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(fma.f64 (+.f64 y -1) x y)
(fma.f64 x (+.f64 y -1) y)
(-.f64 (fma.f64 y x y) x)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 (-.f64 y 1) x) y)
(fma.f64 (+.f64 y -1) x y)
(fma.f64 x (+.f64 y -1) y)
(-.f64 (fma.f64 y x y) x)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 (-.f64 y 1) x) y)
(fma.f64 (+.f64 y -1) x y)
(fma.f64 x (+.f64 y -1) y)
(-.f64 (fma.f64 y x y) x)
(fma.f64 y x (-.f64 y x))
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(*.f64 x (+.f64 y -1))
(-.f64 (*.f64 y x) x)
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 x (+.f64 y -1) y)
(-.f64 (fma.f64 y x y) x)
(fma.f64 y x (-.f64 y x))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 x (+.f64 y -1) y)
(-.f64 (fma.f64 y x y) x)
(fma.f64 y x (-.f64 y x))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 x (+.f64 y -1) y)
(-.f64 (fma.f64 y x y) x)
(fma.f64 y x (-.f64 y x))
(*.f64 -1 x)
(neg.f64 x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 x (+.f64 y -1) y)
(-.f64 (fma.f64 y x y) x)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 x (+.f64 y -1) y)
(-.f64 (fma.f64 y x y) x)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 x (+.f64 y -1) y)
(-.f64 (fma.f64 y x y) x)
(fma.f64 y x (-.f64 y x))
(*.f64 (+.f64 1 x) y)
(fma.f64 y x y)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 x (+.f64 y -1) y)
(-.f64 (fma.f64 y x y) x)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 x (+.f64 y -1) y)
(-.f64 (fma.f64 y x y) x)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 x (+.f64 y -1) y)
(-.f64 (fma.f64 y x y) x)
(fma.f64 y x (-.f64 y x))
(*.f64 (+.f64 1 x) y)
(fma.f64 y x y)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 x (+.f64 y -1) y)
(-.f64 (fma.f64 y x y) x)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 x (+.f64 y -1) y)
(-.f64 (fma.f64 y x y) x)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 x (+.f64 y -1) y)
(-.f64 (fma.f64 y x y) x)
(fma.f64 y x (-.f64 y x))

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (fma.f64 x y y) x)
Compiler

Compiled 14 to 4 computations (71.4% saved)

series3.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
1.0ms
x
@0
(-.f64 (fma.f64 x y y) x)
1.0ms
x
@-inf
(-.f64 (fma.f64 x y y) x)
1.0ms
y
@-inf
(-.f64 (fma.f64 x y y) x)
0.0ms
y
@inf
(-.f64 (fma.f64 x y y) x)
0.0ms
y
@0
(-.f64 (fma.f64 x y y) x)

rewrite51.0ms (2.1%)

Algorithm
1×batch-egg-rewrite
Rules
651×pow1_binary64
606×add-log-exp_binary64
606×log1p-expm1-u_binary64
606×expm1-log1p-u_binary64
592×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
058
11118
215838
Stop Event
1×node limit
Counts
1 → 37
Calls
Call 1
Inputs
(-.f64 (fma.f64 x y y) x)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x y y) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 x y y) (*.f64 (neg.f64 x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (fma.f64 x y y) x) (fma.f64 (neg.f64 x) 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (fma.f64 x y y) x) (fma.f64 (neg.f64 (cbrt.f64 x)) (pow.f64 (cbrt.f64 x) 2) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (fma.f64 x y y) x) (fma.f64 (neg.f64 (sqrt.f64 x)) (sqrt.f64 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x y) (-.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x y) (+.f64 y (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 x) (fma.f64 x y y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (fma.f64 x y y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (fma.f64 x y y) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (-.f64 (fma.f64 x y y) x)) (pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y y) x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y y) x)) 2) (cbrt.f64 (-.f64 (fma.f64 x y y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (fma.f64 x y y) x)) (sqrt.f64 (-.f64 (fma.f64 x y y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (fma.f64 x y y) 3) (pow.f64 x 3)) (/.f64 1 (+.f64 (pow.f64 (fma.f64 x y y) 2) (*.f64 x (+.f64 x (fma.f64 x y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (fma.f64 x y y) 2) (*.f64 x x)) (/.f64 1 (+.f64 x (fma.f64 x y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (sqrt.f64 (fma.f64 x y y)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (fma.f64 x y y)) (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (fma.f64 x y y) 2) (*.f64 x (+.f64 x (fma.f64 x y y)))) (-.f64 (pow.f64 (fma.f64 x y y) 3) (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 x (fma.f64 x y y)) (-.f64 (pow.f64 (fma.f64 x y y) 2) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 x y y) 3) (pow.f64 x 3)) (+.f64 (pow.f64 (fma.f64 x y y) 2) (*.f64 x (+.f64 x (fma.f64 x y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 x y y) 2) (*.f64 x x)) (+.f64 x (fma.f64 x y y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 x y y) 3) (pow.f64 x 3))) (neg.f64 (+.f64 (pow.f64 (fma.f64 x y y) 2) (*.f64 x (+.f64 x (fma.f64 x y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 x y y) 2) (*.f64 x x))) (neg.f64 (+.f64 x (fma.f64 x y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 x y y) 3) (pow.f64 (neg.f64 x) 3)) (+.f64 (pow.f64 (fma.f64 x y y) 2) (-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (*.f64 (fma.f64 x y y) (neg.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 x y y) 2) (*.f64 (neg.f64 x) (neg.f64 x))) (-.f64 (fma.f64 x y y) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (fma.f64 x y y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (fma.f64 x y y) x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 (fma.f64 x y y) x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 (fma.f64 x y y) x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 (fma.f64 x y y) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 (fma.f64 x y y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 (fma.f64 x y y) x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (fma.f64 x y y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (fma.f64 x y y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (fma.f64 x y y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 x y y) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 x y y)) 2) (cbrt.f64 (fma.f64 x y y)) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 x y y)) (sqrt.f64 (fma.f64 x y y)) (neg.f64 x))))))

simplify33.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
185×fma-neg_binary64
182×fma-def_binary64
44×unsub-neg_binary64
43×distribute-rgt-in_binary64
40×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
021176
154176
2132172
3350172
4668172
5931172
61004172
71008172
Stop Event
1×saturated
Counts
61 → 51
Calls
Call 1
Inputs
y
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(*.f64 (-.f64 y 1) x)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(*.f64 -1 x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(*.f64 (+.f64 1 x) y)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y))
(+.f64 (*.f64 -1 x) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y)))
(+.f64 (*.f64 -1 x) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y)))
(+.f64 (*.f64 -1 x) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y)))
Outputs
y
(+.f64 (*.f64 (-.f64 y 1) x) y)
(fma.f64 (+.f64 y -1) x y)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 (-.f64 y 1) x) y)
(fma.f64 (+.f64 y -1) x y)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 (-.f64 y 1) x) y)
(fma.f64 (+.f64 y -1) x y)
(fma.f64 y x (-.f64 y x))
(*.f64 (-.f64 y 1) x)
(*.f64 (+.f64 y -1) x)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(fma.f64 (+.f64 y -1) x y)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 (-.f64 y 1) x) y)
(fma.f64 (+.f64 y -1) x y)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 (-.f64 y 1) x) y)
(fma.f64 (+.f64 y -1) x y)
(fma.f64 y x (-.f64 y x))
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(*.f64 (+.f64 y -1) x)
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 y x (-.f64 y x))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 y x (-.f64 y x))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 y x (-.f64 y x))
(*.f64 -1 x)
(neg.f64 x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 y x (-.f64 y x))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 1 x))
(fma.f64 y x y)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 y x (-.f64 y x))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y))
(*.f64 y (+.f64 1 x))
(fma.f64 y x y)
(+.f64 (*.f64 -1 x) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y)))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 -1 x) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y)))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 y x (-.f64 y x))
(+.f64 (*.f64 -1 x) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y)))
(fma.f64 (+.f64 y -1) x y)
(fma.f64 y x (-.f64 y x))

eval23.0ms (0.9%)

Compiler

Compiled 1446 to 513 computations (64.5% saved)

prune20.0ms (0.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1146120
Fresh000
Picked101
Done101
Total1166122
Error
0b
Counts
122 → 6
Alt Table
Click to see full alt table
StatusErrorProgram
▶0.0b
(-.f64 (+.f64 (*.f64 y x) y) x)
▶11.8b
(-.f64 y x)
▶25.3b
(*.f64 (+.f64 1 x) y)
▶37.7b
(neg.f64 x)
▶26.2b
(*.f64 (-.f64 y 1) x)
36.6b
y
Compiler

Compiled 67 to 44 computations (34.3% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(-.f64 (+.f64 (*.f64 y x) y) x)
Compiler

Compiled 19 to 5 computations (73.7% saved)

series3.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
1.0ms
y
@inf
(-.f64 (+.f64 (*.f64 y x) y) x)
1.0ms
y
@0
(-.f64 (+.f64 (*.f64 y x) y) x)
0.0ms
x
@inf
(-.f64 (+.f64 (*.f64 y x) y) x)
0.0ms
y
@-inf
(-.f64 (+.f64 (*.f64 y x) y) x)
0.0ms
x
@-inf
(-.f64 (+.f64 (*.f64 y x) y) x)

rewrite59.0ms (2.4%)

Algorithm
1×batch-egg-rewrite
Rules
917×pow1_binary64
857×add-log-exp_binary64
857×log1p-expm1-u_binary64
857×expm1-log1p-u_binary64
839×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
068
11438
222798
Stop Event
1×node limit
Counts
1 → 47
Calls
Call 1
Inputs
(-.f64 (+.f64 (*.f64 y x) y) x)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 y (-.f64 (*.f64 y x) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 y (+.f64 (*.f64 y x) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y x) (-.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y x) (*.f64 (-.f64 y x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 y x y) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 y x y) (*.f64 (neg.f64 x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (fma.f64 y x y) x) (fma.f64 (neg.f64 x) 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (fma.f64 y x y) x) (fma.f64 (neg.f64 (cbrt.f64 x)) (pow.f64 (cbrt.f64 x) 2) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (fma.f64 y x y) x) (fma.f64 (neg.f64 (sqrt.f64 x)) (sqrt.f64 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 x) (fma.f64 y x y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 y x) (*.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (fma.f64 y x y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (fma.f64 y x y) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (-.f64 (fma.f64 y x y) x)) (pow.f64 (cbrt.f64 (-.f64 (fma.f64 y x y) x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (-.f64 (fma.f64 y x y) x)) 2) (cbrt.f64 (-.f64 (fma.f64 y x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (fma.f64 y x y) x)) (sqrt.f64 (-.f64 (fma.f64 y x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (fma.f64 y x y) 3) (pow.f64 x 3)) (/.f64 1 (+.f64 (pow.f64 (fma.f64 y x y) 2) (*.f64 x (+.f64 x (fma.f64 y x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (fma.f64 y x y) 2) (*.f64 x x)) (/.f64 1 (+.f64 x (fma.f64 y x y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (sqrt.f64 (fma.f64 y x y)) (sqrt.f64 x)) (-.f64 (sqrt.f64 (fma.f64 y x y)) (sqrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (fma.f64 y x y) 2) (*.f64 x (+.f64 x (fma.f64 y x y)))) (-.f64 (pow.f64 (fma.f64 y x y) 3) (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 x (fma.f64 y x y)) (-.f64 (pow.f64 (fma.f64 y x y) 2) (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 y x y) 3) (pow.f64 x 3)) (+.f64 (pow.f64 (fma.f64 y x y) 2) (*.f64 x (+.f64 x (fma.f64 y x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 y x y) 2) (*.f64 x x)) (+.f64 x (fma.f64 y x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 y x y) 3) (pow.f64 x 3))) (neg.f64 (+.f64 (pow.f64 (fma.f64 y x y) 2) (*.f64 x (+.f64 x (fma.f64 y x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 y x y) 2) (*.f64 x x))) (neg.f64 (+.f64 x (fma.f64 y x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 (-.f64 y x) 3)) (+.f64 (pow.f64 (*.f64 y x) 2) (-.f64 (*.f64 (-.f64 y x) (-.f64 y x)) (*.f64 (*.f64 y x) (-.f64 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 y x y) 3) (pow.f64 (neg.f64 x) 3)) (+.f64 (pow.f64 (fma.f64 y x y) 2) (-.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (*.f64 (fma.f64 y x y) (neg.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 y x) 2) (*.f64 (-.f64 y x) (-.f64 y x))) (-.f64 (*.f64 y x) (-.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 y x y) 2) (*.f64 (neg.f64 x) (neg.f64 x))) (-.f64 (fma.f64 y x y) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (fma.f64 y x y) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (-.f64 (fma.f64 y x y) x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (-.f64 (fma.f64 y x y) x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (-.f64 (fma.f64 y x y) x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (-.f64 (fma.f64 y x y) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (-.f64 (fma.f64 y x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (-.f64 (fma.f64 y x y) x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (-.f64 (fma.f64 y x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (-.f64 (fma.f64 y x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (-.f64 (fma.f64 y x y) x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y x (-.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x y (-.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 y x) (-.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (fma.f64 y x y) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y x y)) 2) (cbrt.f64 (fma.f64 y x y)) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 y x)) 2) (cbrt.f64 (*.f64 y x)) (-.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (fma.f64 y x y)) (sqrt.f64 (fma.f64 y x y)) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 y x)) (sqrt.f64 (*.f64 y x)) (-.f64 y x))))))

simplify34.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
190×fma-def_binary64
177×fma-neg_binary64
44×unsub-neg_binary64
43×distribute-rgt-in_binary64
40×associate--r+_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
021212
154212
2132172
3350172
4666172
5940172
61004172
71008172
Stop Event
1×saturated
Counts
71 → 61
Calls
Call 1
Inputs
(*.f64 -1 x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(*.f64 (+.f64 1 x) y)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y))
(+.f64 (*.f64 -1 x) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y)))
(+.f64 (*.f64 -1 x) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y)))
(+.f64 (*.f64 -1 x) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y)))
y
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(*.f64 (-.f64 y 1) x)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
Outputs
(*.f64 -1 x)
(neg.f64 x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 x 1) y)
(fma.f64 x y y)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)
(+.f64 (*.f64 (+.f64 1 x) y) (*.f64 -1 x))
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)
(*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y))
(*.f64 (+.f64 x 1) y)
(fma.f64 x y y)
(+.f64 (*.f64 -1 x) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y)))
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)
(+.f64 (*.f64 -1 x) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y)))
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)
(+.f64 (*.f64 -1 x) (*.f64 -1 (*.f64 (-.f64 (*.f64 -1 x) 1) y)))
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)
y
(+.f64 (*.f64 (-.f64 y 1) x) y)
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)
(*.f64 (-.f64 y 1) x)
(*.f64 x (+.f64 y -1))
(*.f64 x (+.f64 -1 y))
(fma.f64 x y (neg.f64 x))
(+.f64 (*.f64 (-.f64 y 1) x) y)
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)
(+.f64 (*.f64 (-.f64 y 1) x) y)
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)
(*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x))
(*.f64 x (+.f64 y -1))
(*.f64 x (+.f64 -1 y))
(fma.f64 x y (neg.f64 x))
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)
(+.f64 y (*.f64 -1 (*.f64 (+.f64 1 (*.f64 -1 y)) x)))
(fma.f64 (+.f64 x 1) y (neg.f64 x))
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)

localize3.0ms (0.1%)

Compiler

Compiled 5 to 3 computations (40% saved)

localize3.0ms (0.1%)

Compiler

Compiled 7 to 3 computations (57.1% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(*.f64 (+.f64 1 x) y)
Compiler

Compiled 13 to 8 computations (38.5% saved)

series2.0ms (0.1%)

Counts
1 → 12
Calls

6 calls:

TimeVariablePointExpression
0.0ms
x
@0
(*.f64 (+.f64 1 x) y)
0.0ms
x
@inf
(*.f64 (+.f64 1 x) y)
0.0ms
x
@-inf
(*.f64 (+.f64 1 x) y)
0.0ms
y
@inf
(*.f64 (+.f64 1 x) y)
0.0ms
y
@-inf
(*.f64 (+.f64 1 x) y)

rewrite51.0ms (2%)

Algorithm
1×batch-egg-rewrite
Rules
604×pow1_binary64
560×add-log-exp_binary64
560×log1p-expm1-u_binary64
560×expm1-log1p-u_binary64
549×add-exp-log_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
11217
215207
Stop Event
1×node limit
Counts
1 → 19
Calls
Call 1
Inputs
(*.f64 (+.f64 1 x) y)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 y (*.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 y (*.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x y) y)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y x) y)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (+.f64 y (*.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 1 (pow.f64 x 3)) y) (+.f64 1 (-.f64 (*.f64 x x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 (*.f64 x x)) y) (-.f64 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (+.f64 1 (pow.f64 x 3))) (+.f64 1 (-.f64 (*.f64 x x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (-.f64 1 (*.f64 x x))) (-.f64 1 x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 y (*.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 y (*.f64 x y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 y (*.f64 x y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 y (*.f64 x y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 y (*.f64 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 y) (+.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 y (*.f64 x y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 y (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 y (*.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (+.f64 (log1p.f64 x) (log.f64 y)))))))

simplify10.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
14×fma-def_binary64
4×associate-*r*_binary64
4×associate-*l*_binary64
3×*-lft-identity_binary64
3×*-rgt-identity_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0654
1854
21254
31654
42254
52854
64154
74554
84754
Stop Event
1×saturated
Counts
31 → 22
Calls
Call 1
Inputs
y
(+.f64 (*.f64 y x) y)
(+.f64 (*.f64 y x) y)
(+.f64 (*.f64 y x) y)
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
Outputs
y
(+.f64 (*.f64 y x) y)
(fma.f64 y x y)
(+.f64 (*.f64 y x) y)
(fma.f64 y x y)
(+.f64 (*.f64 y x) y)
(fma.f64 y x y)
(*.f64 y x)
(+.f64 y (*.f64 y x))
(fma.f64 y x y)
(+.f64 y (*.f64 y x))
(fma.f64 y x y)
(+.f64 y (*.f64 y x))
(fma.f64 y x y)
(*.f64 y x)
(+.f64 y (*.f64 y x))
(fma.f64 y x y)
(+.f64 y (*.f64 y x))
(fma.f64 y x y)
(+.f64 y (*.f64 y x))
(fma.f64 y x y)

localize5.0ms (0.2%)

Compiler

Compiled 13 to 8 computations (38.5% saved)

eval16.0ms (0.6%)

Compiler

Compiled 898 to 315 computations (64.9% saved)

prune12.0ms (0.5%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New80383
Fresh101
Picked011
Done224
Total83689
Error
0b
Counts
89 → 6
Alt Table
Click to see full alt table
StatusErrorProgram
✓11.8b
(-.f64 y x)
36.6b
y
✓37.7b
(neg.f64 x)
✓26.2b
(*.f64 (-.f64 y 1) x)
▶51.0b
(*.f64 y x)
▶25.3b
(+.f64 (*.f64 y x) y)
Compiler

Compiled 31 to 20 computations (35.5% saved)

localize3.0ms (0.1%)

Compiler

Compiled 7 to 3 computations (57.1% saved)

localize6.0ms (0.2%)

Compiler

Compiled 12 to 4 computations (66.7% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune2.0ms (0.1%)

Pruning

6 alts after pruning (1 fresh and 5 done)

PrunedKeptTotal
New000
Fresh011
Picked011
Done044
Total066
Error
0b
Counts
6 → 6
Alt Table
Click to see full alt table
StatusErrorProgram
✓11.8b
(-.f64 y x)
36.6b
y
✓37.7b
(neg.f64 x)
✓26.2b
(*.f64 (-.f64 y 1) x)
✓51.0b
(*.f64 y x)
✓25.3b
(+.f64 (*.f64 y x) y)
Compiler

Compiled 31 to 20 computations (35.5% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune2.0ms (0.1%)

Pruning

6 alts after pruning (1 fresh and 5 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done055
Total066
Error
0b
Counts
6 → 6
Alt Table
Click to see full alt table
StatusErrorProgram
✓11.8b
(-.f64 y x)
36.6b
y
✓37.7b
(neg.f64 x)
✓26.2b
(*.f64 (-.f64 y 1) x)
✓51.0b
(*.f64 y x)
✓25.3b
(+.f64 (*.f64 y x) y)
Compiler

Compiled 31 to 20 computations (35.5% saved)

regimes24.0ms (1%)

Counts
11 → 1
Calls
Call 1
Inputs
y
y
(neg.f64 x)
(*.f64 y x)
(-.f64 y x)
(+.f64 (*.f64 y x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (-.f64 y 1) x)
(-.f64 (+.f64 (*.f64 y x) y) x)
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (fma.f64 x y y) x)
Outputs
(-.f64 (+.f64 (*.f64 y x) y) x)
Calls

3 calls:

8.0ms
y
7.0ms
(-.f64 (*.f64 (+.f64 x 1) y) x)
7.0ms
x
Results
ErrorSegmentsBranch
0.0b1x
0.0b1y
0.0b1(-.f64 (*.f64 (+.f64 x 1) y) x)
Compiler

Compiled 62 to 29 computations (53.2% saved)

regimes34.0ms (1.4%)

Counts
8 → 3
Calls
Call 1
Inputs
y
y
(neg.f64 x)
(*.f64 y x)
(-.f64 y x)
(+.f64 (*.f64 y x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (-.f64 y 1) x)
Outputs
(*.f64 (-.f64 y 1) x)
(-.f64 y x)
(*.f64 (-.f64 y 1) x)
Calls

2 calls:

16.0ms
x
16.0ms
y
Results
ErrorSegmentsBranch
0.5b3x
0.7b3y
Compiler

Compiled 33 to 16 computations (51.5% saved)

bsearch37.0ms (1.5%)

Algorithm
2×binary-search
Steps
TimeLeftRight
20.0ms
7.79806940227454e-7
48211747999399720.0
16.0ms
-2.725095584507185e+19
-1126790900826501400.0
Compiler

Compiled 14 to 10 computations (28.6% saved)

regimes31.0ms (1.2%)

Counts
7 → 3
Calls
Call 1
Inputs
y
y
(neg.f64 x)
(*.f64 y x)
(-.f64 y x)
(+.f64 (*.f64 y x) y)
(*.f64 (+.f64 1 x) y)
Outputs
(+.f64 (*.f64 y x) y)
(-.f64 y x)
(+.f64 (*.f64 y x) y)
Calls

2 calls:

15.0ms
y
14.0ms
x
Results
ErrorSegmentsBranch
9.8b3x
0.7b3y
Compiler

Compiled 28 to 13 computations (53.6% saved)

bsearch36.0ms (1.4%)

Algorithm
2×binary-search
Steps
TimeLeftRight
18.0ms
2.0821980638028852e-10
2.873425183934111e-10
17.0ms
-3591884723.9442334
-170152321.7362474
Compiler

Compiled 14 to 10 computations (28.6% saved)

regimes37.0ms (1.5%)

Counts
5 → 5
Calls
Call 1
Inputs
y
y
(neg.f64 x)
(*.f64 y x)
(-.f64 y x)
Outputs
(-.f64 y x)
(*.f64 y x)
(-.f64 y x)
(*.f64 y x)
y
Calls

2 calls:

23.0ms
y
13.0ms
x
Results
ErrorSegmentsBranch
9.9b3x
8.9b5y
Compiler

Compiled 18 to 9 computations (50% saved)

bsearch111.0ms (4.5%)

Algorithm
4×binary-search
Steps
TimeLeftRight
21.0ms
1.777311269611321e+184
1.555659824014522e+185
18.0ms
2.873425183934111e-10
4.877856644223528
56.0ms
-3591884723.9442334
-170152321.7362474
17.0ms
-2.462727838651239e+57
-2.7348764805939973e+51
Compiler

Compiled 74 to 52 computations (29.7% saved)

regimes55.0ms (2.2%)

Counts
4 → 8
Calls
Call 1
Inputs
y
y
(neg.f64 x)
(*.f64 y x)
Outputs
y
(*.f64 y x)
y
(neg.f64 x)
y
(neg.f64 x)
(*.f64 y x)
y
Calls

2 calls:

36.0ms
y
18.0ms
x
Results
ErrorSegmentsBranch
18.0b4x
17.7b8y
Compiler

Compiled 15 to 8 computations (46.7% saved)

bsearch192.0ms (7.7%)

Algorithm
7×binary-search
Steps
TimeLeftRight
22.0ms
1.777311269611321e+184
1.555659824014522e+185
19.0ms
2.0821980638028852e-10
2.873425183934111e-10
50.0ms
-1.8756960272177727e-69
-1.2605971801353326e-69
33.0ms
-1.4465926375257377e-57
-1.8669427809793544e-59
17.0ms
-1.1106876130983833e-38
-2.002413392467958e-44
17.0ms
-3591884723.9442334
-170152321.7362474
33.0ms
-2.462727838651239e+57
-2.7348764805939973e+51
Compiler

Compiled 74 to 52 computations (29.7% saved)

regimes68.0ms (2.7%)

Counts
3 → 3
Calls
Call 1
Inputs
y
y
(neg.f64 x)
Outputs
(neg.f64 x)
y
(neg.f64 x)
Calls

2 calls:

37.0ms
x
30.0ms
y
Results
ErrorSegmentsBranch
19.5b3x
20.4b5y
Compiler

Compiled 12 to 7 computations (41.7% saved)

bsearch34.0ms (1.4%)

Algorithm
2×binary-search
Steps
TimeLeftRight
17.0ms
2.22336810658957e-28
2.0008286951053861e-25
16.0ms
-5.183019914880556e-18
-2.1257524256728794e-20
Compiler

Compiled 14 to 10 computations (28.6% saved)

regimes8.0ms (0.3%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0.0b (-0%)

Counts
2 → 1
Calls
Call 1
Inputs
y
y
Outputs
y
Calls

2 calls:

4.0ms
y
3.0ms
x
Results
ErrorSegmentsBranch
36.6b1x
36.6b1y
Compiler

Compiled 10 to 6 computations (40% saved)

simplify19.0ms (0.8%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
052191
164191
269191
370191
Stop Event
1×fuel
1×saturated
Calls
Call 1
Inputs
(-.f64 (+.f64 (*.f64 y x) y) x)
(if (<=.f64 x -28574698276202061779435520/1048576) (*.f64 (-.f64 y 1) x) (if (<=.f64 x 7365068315278523/9444732965739290427392) (-.f64 y x) (*.f64 (-.f64 y 1) x)))
(if (<=.f64 y -15427027420342470656/4294967296) (+.f64 (*.f64 y x) y) (if (<=.f64 y 16496872658586152960/79228162514264337593543950336) (-.f64 y x) (+.f64 (*.f64 y x) y)))
(if (<=.f64 y -2462727838651238961335917976539820899663711939424788938752) (-.f64 y x) (if (<=.f64 y -15427027420342470656/4294967296) (*.f64 y x) (if (<=.f64 y 5558012632942179/19342813113834066795298816) (-.f64 y x) (if (<=.f64 y 18000000000000000689816273987598451707563612810318439193955319857837392131477864049425851499788806315530328254793787209751048184271131416643103802417503360172079149790110482288353476608) (*.f64 y x) y))))
(if (<=.f64 y -2462727838651238961335917976539820899663711939424788938752) y (if (<=.f64 y -15427027420342470656/4294967296) (*.f64 y x) (if (<=.f64 y -4255309535920625/383123885216472214589586756787577295904684780545900544) y (if (<=.f64 y -2555907955542371/1766847064778384329583297500742918515827483896875618958121606201292619776) (neg.f64 x) (if (<=.f64 y -932827218776921984/497323236409786642155382248146820840100456150797347717440463976893159497012533375533056) y (if (<=.f64 y 16496872658586152960/79228162514264337593543950336) (neg.f64 x) (if (<=.f64 y 18000000000000000689816273987598451707563612810318439193955319857837392131477864049425851499788806315530328254793787209751048184271131416643103802417503360172079149790110482288353476608) (*.f64 y x) y)))))))
(if (<=.f64 x -420496531589965/81129638414606681695789005144064) (neg.f64 x) (if (<=.f64 x 1239569140689837/5575186299632655785383929568162090376495104) y (neg.f64 x)))
y
Outputs
(-.f64 (+.f64 (*.f64 y x) y) x)
(-.f64 (+.f64 y (*.f64 y x)) x)
(if (<=.f64 x -28574698276202061779435520/1048576) (*.f64 (-.f64 y 1) x) (if (<=.f64 x 7365068315278523/9444732965739290427392) (-.f64 y x) (*.f64 (-.f64 y 1) x)))
(if (<=.f64 x -27250955845071851520) (*.f64 x (-.f64 y 1)) (if (<=.f64 x 7365068315278523/9444732965739290427392) (-.f64 y x) (*.f64 x (-.f64 y 1))))
(if (<=.f64 y -15427027420342470656/4294967296) (+.f64 (*.f64 y x) y) (if (<=.f64 y 16496872658586152960/79228162514264337593543950336) (-.f64 y x) (+.f64 (*.f64 y x) y)))
(if (<=.f64 y -7532728232589097/2097152) (+.f64 y (*.f64 y x)) (if (<=.f64 y 4027556801412635/19342813113834066795298816) (-.f64 y x) (+.f64 y (*.f64 y x))))
(if (<=.f64 y -2462727838651238961335917976539820899663711939424788938752) (-.f64 y x) (if (<=.f64 y -15427027420342470656/4294967296) (*.f64 y x) (if (<=.f64 y 5558012632942179/19342813113834066795298816) (-.f64 y x) (if (<=.f64 y 18000000000000000689816273987598451707563612810318439193955319857837392131477864049425851499788806315530328254793787209751048184271131416643103802417503360172079149790110482288353476608) (*.f64 y x) y))))
(if (<=.f64 y -2462727838651238961335917976539820899663711939424788938752) (-.f64 y x) (if (<=.f64 y -7532728232589097/2097152) (*.f64 y x) (if (<=.f64 y 5558012632942179/19342813113834066795298816) (-.f64 y x) (if (<=.f64 y 18000000000000000689816273987598451707563612810318439193955319857837392131477864049425851499788806315530328254793787209751048184271131416643103802417503360172079149790110482288353476608) (*.f64 y x) y))))
(if (<=.f64 y -2462727838651238961335917976539820899663711939424788938752) y (if (<=.f64 y -15427027420342470656/4294967296) (*.f64 y x) (if (<=.f64 y -4255309535920625/383123885216472214589586756787577295904684780545900544) y (if (<=.f64 y -2555907955542371/1766847064778384329583297500742918515827483896875618958121606201292619776) (neg.f64 x) (if (<=.f64 y -932827218776921984/497323236409786642155382248146820840100456150797347717440463976893159497012533375533056) y (if (<=.f64 y 16496872658586152960/79228162514264337593543950336) (neg.f64 x) (if (<=.f64 y 18000000000000000689816273987598451707563612810318439193955319857837392131477864049425851499788806315530328254793787209751048184271131416643103802417503360172079149790110482288353476608) (*.f64 y x) y)))))))
(if (<=.f64 y -2462727838651238961335917976539820899663711939424788938752) y (if (<=.f64 y -7532728232589097/2097152) (*.f64 y x) (if (<=.f64 y -4255309535920625/383123885216472214589586756787577295904684780545900544) y (if (<=.f64 y -2555907955542371/1766847064778384329583297500742918515827483896875618958121606201292619776) (neg.f64 x) (if (<=.f64 y -7287712646694703/3885337784451458141838923813647037813284813678104279042503624819477808570410416996352) y (if (<=.f64 y 4027556801412635/19342813113834066795298816) (neg.f64 x) (if (<=.f64 y 18000000000000000689816273987598451707563612810318439193955319857837392131477864049425851499788806315530328254793787209751048184271131416643103802417503360172079149790110482288353476608) (*.f64 y x) y)))))))
(if (<=.f64 x -420496531589965/81129638414606681695789005144064) (neg.f64 x) (if (<=.f64 x 1239569140689837/5575186299632655785383929568162090376495104) y (neg.f64 x)))
y
Compiler

Compiled 148 to 83 computations (43.9% saved)

soundness0.0ms (0%)

end86.0ms (3.5%)

Compiler

Compiled 136 to 64 computations (52.9% saved)

Profiling

Loading profile data...