Details

Time bar (total: 1.8s)

analyze398.0ms (21.9%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
12.5%87.4%0.1%7
18.7%81.1%0.1%8
34.3%63.2%2.5%9
40.6%52.7%6.8%10
48.4%42.1%9.5%11
56.2%32.5%11.4%12
59.1%26.9%14%13
63.9%21%15.1%14
Compiler

Compiled 11 to 7 computations (36.4% saved)

sample861.0ms (47.4%)

Results
785.0ms8256×body128valid
61.0ms603×body128invalid
Compiler

Compiled 22 to 14 computations (36.4% saved)

preprocess22.0ms (1.2%)

Algorithm
2×egg-herbie
Rules
188×fma-def_binary64
26×+-commutative_binary64
22×distribute-rgt-in_binary64
18×*-commutative_binary64
16×associate-+r+_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01640
14232
213032
318332
420232
522832
625232
732432
839732
941632
1042032
033
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
1
2
Outputs
0
1
2
Call 2
Inputs
(+.f64 x (*.f64 y (+.f64 z x)))
(+.f64 y (*.f64 x (+.f64 z y)))
(+.f64 z (*.f64 y (+.f64 x z)))
(+.f64 x (*.f64 z (+.f64 y x)))
Outputs
(+.f64 x (*.f64 y (+.f64 z x)))
(+.f64 x (*.f64 y (+.f64 x z)))
(fma.f64 y (+.f64 x z) x)
(+.f64 y (*.f64 x (+.f64 z y)))
(+.f64 y (*.f64 x (+.f64 y z)))
(fma.f64 x (+.f64 y z) y)
(+.f64 z (*.f64 y (+.f64 x z)))
(fma.f64 y (+.f64 x z) z)
(+.f64 x (*.f64 z (+.f64 y x)))
(+.f64 x (*.f64 z (+.f64 x y)))
(fma.f64 z (+.f64 x y) x)
Compiler

Compiled 10 to 6 computations (40% saved)

simplify9.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
66×fma-def_binary64
8×+-commutative_binary64
8×associate-*r*_binary64
8×associate-*l*_binary64
6×*-commutative_binary64
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0710
1168
2358
3508
4598
5668
6728
7918
81078
91218
101398
111468
121478
Stop Event
1×saturated
Counts
1 → 2
Calls
Call 1
Inputs
(+.f64 x (*.f64 y (+.f64 z x)))
Outputs
(+.f64 x (*.f64 y (+.f64 z x)))
(+.f64 x (*.f64 y (+.f64 x z)))
(fma.f64 y (+.f64 x z) x)

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(fma.f64 y (+.f64 x z) x)
Compiler

Compiled 34 to 18 computations (47.1% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 y (+.f64 x z) x)

series5.0ms (0.3%)

Counts
1 → 36
Calls

9 calls:

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

rewrite40.0ms (2.2%)

Algorithm
1×batch-egg-rewrite
Rules
730×pow1_binary64
677×add-log-exp_binary64
677×log1p-expm1-u_binary64
677×expm1-log1p-u_binary64
70×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

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

simplify21.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
66×fma-def_binary64
8×associate-*r*_binary64
8×associate-*l*_binary64
6×*-commutative_binary64
5×+-commutative_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
014285
133285
249258
361258
480258
596258
6110258
7128258
8135258
9136258
Stop Event
1×saturated
Counts
58 → 31
Calls
Call 1
Inputs
x
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(*.f64 y (+.f64 z x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(*.f64 y (+.f64 z x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(*.f64 y z)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(*.f64 (+.f64 1 y) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(*.f64 (+.f64 1 y) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(*.f64 y z)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(*.f64 y z)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
Outputs
x
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(*.f64 y (+.f64 z x))
(*.f64 y (+.f64 x z))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(*.f64 y (+.f64 z x))
(*.f64 y (+.f64 x z))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(*.f64 y z)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(*.f64 (+.f64 1 y) x)
(fma.f64 y x x)
(fma.f64 x y x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(*.f64 (+.f64 1 y) x)
(fma.f64 y x x)
(fma.f64 x y x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(+.f64 (*.f64 y x) x)
(fma.f64 y x x)
(fma.f64 x y x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(*.f64 y z)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(*.f64 y z)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(fma.f64 y (+.f64 x z) x)

prune18.0ms (1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New30131
Fresh000
Picked011
Done000
Total30232
Error
0.0b
Counts
32 → 2
Alt Table
StatusErrorProgram
▶29.0b
(pow.f64 (sqrt.f64 (fma.f64 y (+.f64 x z) x)) 2)
✓0.0b
(fma.f64 y (+.f64 x z) x)
Compiler

Compiled 331 to 102 computations (69.2% saved)

localize6.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(fma.f64 y (+.f64 x z) x)
✓0.0b
(sqrt.f64 (fma.f64 y (+.f64 x z) x))
✓0.3b
(pow.f64 (sqrt.f64 (fma.f64 y (+.f64 x z) x)) 2)

series149.0ms (8.2%)

Counts
2 → 24
Calls

18 calls:

TimeVariablePointExpression
46.0ms
x
@0
(pow.f64 (sqrt.f64 (fma.f64 y (+.f64 x z) x)) 2)
34.0ms
y
@0
(pow.f64 (sqrt.f64 (fma.f64 y (+.f64 x z) x)) 2)
16.0ms
x
@inf
(pow.f64 (sqrt.f64 (fma.f64 y (+.f64 x z) x)) 2)
13.0ms
y
@inf
(pow.f64 (sqrt.f64 (fma.f64 y (+.f64 x z) x)) 2)
11.0ms
z
@0
(pow.f64 (sqrt.f64 (fma.f64 y (+.f64 x z) x)) 2)

rewrite41.0ms (2.3%)

Algorithm
1×batch-egg-rewrite
Rules
812×log1p-expm1-u_binary64
812×expm1-log1p-u_binary64
89×add-sqr-sqrt_binary64
86×pow1_binary64
85×*-un-lft-identity_binary64
Iterations

Useful iterations: 0 (0.0ms)

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

simplify30.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
501×associate-+l+_binary64
437×cancel-sign-sub-inv_binary64
385×associate--l+_binary64
360×associate-+r+_binary64
170×associate--r+_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0144869
1429847
21601802
Stop Event
1×node limit
Counts
71 → 75
Calls
Call 1
Inputs
x
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(*.f64 y z)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(sqrt.f64 x)
(+.f64 (*.f64 1/2 (*.f64 y (sqrt.f64 x))) (+.f64 (*.f64 1/2 (*.f64 (*.f64 y z) (sqrt.f64 (/.f64 1 x)))) (sqrt.f64 x)))
(-.f64 (+.f64 (*.f64 1/2 (*.f64 y (sqrt.f64 x))) (+.f64 (*.f64 1/2 (*.f64 (*.f64 y z) (sqrt.f64 (/.f64 1 x)))) (sqrt.f64 x))) (+.f64 (*.f64 1/8 (*.f64 (pow.f64 y 2) (sqrt.f64 x))) (+.f64 (*.f64 1/4 (*.f64 (*.f64 (pow.f64 y 2) z) (sqrt.f64 (/.f64 1 x)))) (*.f64 1/8 (*.f64 (*.f64 (pow.f64 y 2) (pow.f64 z 2)) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))))))
(-.f64 (+.f64 (*.f64 1/2 (*.f64 y (sqrt.f64 x))) (+.f64 (*.f64 3/16 (*.f64 (*.f64 (pow.f64 y 3) z) (sqrt.f64 (/.f64 1 x)))) (+.f64 (*.f64 1/16 (*.f64 (*.f64 (pow.f64 y 3) (pow.f64 z 3)) (sqrt.f64 (/.f64 1 (pow.f64 x 5))))) (+.f64 (*.f64 1/2 (*.f64 (*.f64 y z) (sqrt.f64 (/.f64 1 x)))) (+.f64 (*.f64 1/16 (*.f64 (pow.f64 y 3) (sqrt.f64 x))) (+.f64 (sqrt.f64 x) (*.f64 3/16 (*.f64 (*.f64 (pow.f64 y 3) (pow.f64 z 2)) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))))))))) (+.f64 (*.f64 1/8 (*.f64 (pow.f64 y 2) (sqrt.f64 x))) (+.f64 (*.f64 1/8 (*.f64 (*.f64 (pow.f64 y 2) (pow.f64 z 2)) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))) (*.f64 1/4 (*.f64 (*.f64 (pow.f64 y 2) z) (sqrt.f64 (/.f64 1 x)))))))
(sqrt.f64 (*.f64 y z))
(+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 y z))) x)) (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 y z)) x)) (sqrt.f64 (*.f64 y z))))
(-.f64 (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 y z))) x)) (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 y z)) x)) (sqrt.f64 (*.f64 y z)))) (+.f64 (*.f64 1/8 (*.f64 (sqrt.f64 (/.f64 y (pow.f64 z 3))) (pow.f64 x 2))) (+.f64 (*.f64 1/8 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (pow.f64 y 3) (pow.f64 z 3)))) (pow.f64 x 2))) (*.f64 1/4 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 y (pow.f64 z 3)))) (pow.f64 x 2))))))
(-.f64 (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 y z)) x)) (+.f64 (*.f64 3/16 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (pow.f64 y 3) (pow.f64 z 5)))) (pow.f64 x 3))) (+.f64 (*.f64 3/16 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 y (pow.f64 z 5)))) (pow.f64 x 3))) (+.f64 (sqrt.f64 (*.f64 y z)) (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 y z))) x)) (+.f64 (*.f64 1/16 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (pow.f64 y 5) (pow.f64 z 5)))) (pow.f64 x 3))) (*.f64 1/16 (*.f64 (sqrt.f64 (/.f64 y (pow.f64 z 5))) (pow.f64 x 3))))))))) (+.f64 (*.f64 1/8 (*.f64 (sqrt.f64 (/.f64 y (pow.f64 z 3))) (pow.f64 x 2))) (+.f64 (*.f64 1/8 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (pow.f64 y 3) (pow.f64 z 3)))) (pow.f64 x 2))) (*.f64 1/4 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 y (pow.f64 z 3)))) (pow.f64 x 2))))))
(sqrt.f64 (+.f64 (*.f64 y x) x))
(+.f64 (sqrt.f64 (+.f64 (*.f64 y x) x)) (*.f64 1/2 (*.f64 (*.f64 y z) (sqrt.f64 (/.f64 1 (+.f64 (*.f64 y x) x))))))
(-.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 y x) x)) (*.f64 1/2 (*.f64 (*.f64 y z) (sqrt.f64 (/.f64 1 (+.f64 (*.f64 y x) x)))))) (*.f64 1/8 (*.f64 (*.f64 (pow.f64 y 2) (pow.f64 z 2)) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 y x) x) 3))))))
(-.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 y x) x)) (+.f64 (*.f64 1/2 (*.f64 (*.f64 y z) (sqrt.f64 (/.f64 1 (+.f64 (*.f64 y x) x))))) (*.f64 1/16 (*.f64 (*.f64 (pow.f64 y 3) (pow.f64 z 3)) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 y x) x) 5))))))) (*.f64 1/8 (*.f64 (*.f64 (pow.f64 y 2) (pow.f64 z 2)) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 y x) x) 3))))))
Outputs
x
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(*.f64 y z)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(+.f64 (*.f64 y x) x)
(fma.f64 y x x)
(fma.f64 x y x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 x y (fma.f64 y z x))
(sqrt.f64 x)
(+.f64 (*.f64 1/2 (*.f64 y (sqrt.f64 x))) (+.f64 (*.f64 1/2 (*.f64 (*.f64 y z) (sqrt.f64 (/.f64 1 x)))) (sqrt.f64 x)))
(fma.f64 1/2 (*.f64 y (sqrt.f64 x)) (fma.f64 1/2 (*.f64 y (*.f64 z (sqrt.f64 (/.f64 1 x)))) (sqrt.f64 x)))
(+.f64 (sqrt.f64 x) (*.f64 (*.f64 y 1/2) (+.f64 (sqrt.f64 x) (*.f64 z (sqrt.f64 (/.f64 1 x))))))
(-.f64 (+.f64 (*.f64 1/2 (*.f64 y (sqrt.f64 x))) (+.f64 (*.f64 1/2 (*.f64 (*.f64 y z) (sqrt.f64 (/.f64 1 x)))) (sqrt.f64 x))) (+.f64 (*.f64 1/8 (*.f64 (pow.f64 y 2) (sqrt.f64 x))) (+.f64 (*.f64 1/4 (*.f64 (*.f64 (pow.f64 y 2) z) (sqrt.f64 (/.f64 1 x)))) (*.f64 1/8 (*.f64 (*.f64 (pow.f64 y 2) (pow.f64 z 2)) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))))))
(-.f64 (fma.f64 1/2 (*.f64 y (sqrt.f64 x)) (fma.f64 1/2 (*.f64 y (*.f64 z (sqrt.f64 (/.f64 1 x)))) (sqrt.f64 x))) (fma.f64 1/8 (*.f64 (sqrt.f64 x) (*.f64 y y)) (fma.f64 1/8 (*.f64 (*.f64 (*.f64 y y) (*.f64 z z)) (sqrt.f64 (/.f64 1 (pow.f64 x 3)))) (*.f64 1/4 (*.f64 (sqrt.f64 (/.f64 1 x)) (*.f64 z (*.f64 y y)))))))
(-.f64 (fma.f64 1/2 (*.f64 y (sqrt.f64 x)) (fma.f64 1/2 (*.f64 y (*.f64 z (sqrt.f64 (/.f64 1 x)))) (sqrt.f64 x))) (fma.f64 1/8 (*.f64 y (*.f64 y (sqrt.f64 x))) (fma.f64 1/8 (*.f64 (*.f64 y y) (*.f64 (*.f64 z z) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))) (*.f64 (sqrt.f64 (/.f64 1 x)) (*.f64 (*.f64 1/4 z) (*.f64 y y))))))
(+.f64 (*.f64 (*.f64 y 1/2) (+.f64 (sqrt.f64 x) (*.f64 z (sqrt.f64 (/.f64 1 x))))) (-.f64 (sqrt.f64 x) (+.f64 (*.f64 (sqrt.f64 (/.f64 1 x)) (*.f64 1/4 (*.f64 z (*.f64 y y)))) (*.f64 (*.f64 1/8 (*.f64 y y)) (+.f64 (sqrt.f64 x) (*.f64 (*.f64 z z) (sqrt.f64 (/.f64 1 (pow.f64 x 3)))))))))
(-.f64 (+.f64 (*.f64 1/2 (*.f64 y (sqrt.f64 x))) (+.f64 (*.f64 3/16 (*.f64 (*.f64 (pow.f64 y 3) z) (sqrt.f64 (/.f64 1 x)))) (+.f64 (*.f64 1/16 (*.f64 (*.f64 (pow.f64 y 3) (pow.f64 z 3)) (sqrt.f64 (/.f64 1 (pow.f64 x 5))))) (+.f64 (*.f64 1/2 (*.f64 (*.f64 y z) (sqrt.f64 (/.f64 1 x)))) (+.f64 (*.f64 1/16 (*.f64 (pow.f64 y 3) (sqrt.f64 x))) (+.f64 (sqrt.f64 x) (*.f64 3/16 (*.f64 (*.f64 (pow.f64 y 3) (pow.f64 z 2)) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))))))))) (+.f64 (*.f64 1/8 (*.f64 (pow.f64 y 2) (sqrt.f64 x))) (+.f64 (*.f64 1/8 (*.f64 (*.f64 (pow.f64 y 2) (pow.f64 z 2)) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))) (*.f64 1/4 (*.f64 (*.f64 (pow.f64 y 2) z) (sqrt.f64 (/.f64 1 x)))))))
(-.f64 (fma.f64 1/2 (*.f64 y (sqrt.f64 x)) (fma.f64 3/16 (*.f64 (sqrt.f64 (/.f64 1 x)) (*.f64 z (pow.f64 y 3))) (fma.f64 1/16 (*.f64 (pow.f64 y 3) (*.f64 (pow.f64 z 3) (sqrt.f64 (/.f64 1 (pow.f64 x 5))))) (fma.f64 1/2 (*.f64 y (*.f64 z (sqrt.f64 (/.f64 1 x)))) (fma.f64 1/16 (*.f64 (sqrt.f64 x) (pow.f64 y 3)) (+.f64 (sqrt.f64 x) (*.f64 3/16 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 x 3))) (*.f64 (*.f64 z z) (pow.f64 y 3)))))))))) (fma.f64 1/8 (*.f64 (sqrt.f64 x) (*.f64 y y)) (fma.f64 1/8 (*.f64 (*.f64 (*.f64 y y) (*.f64 z z)) (sqrt.f64 (/.f64 1 (pow.f64 x 3)))) (*.f64 1/4 (*.f64 (sqrt.f64 (/.f64 1 x)) (*.f64 z (*.f64 y y)))))))
(fma.f64 1/2 (*.f64 y (sqrt.f64 x)) (-.f64 (fma.f64 3/16 (*.f64 z (*.f64 (pow.f64 y 3) (sqrt.f64 (/.f64 1 x)))) (fma.f64 1/16 (*.f64 (pow.f64 y 3) (*.f64 (pow.f64 z 3) (sqrt.f64 (/.f64 1 (pow.f64 x 5))))) (fma.f64 1/2 (*.f64 y (*.f64 z (sqrt.f64 (/.f64 1 x)))) (fma.f64 1/16 (*.f64 (sqrt.f64 x) (pow.f64 y 3)) (fma.f64 3/16 (*.f64 (*.f64 z z) (*.f64 (pow.f64 y 3) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))) (sqrt.f64 x)))))) (fma.f64 1/8 (*.f64 y (*.f64 y (sqrt.f64 x))) (fma.f64 1/8 (*.f64 (*.f64 y y) (*.f64 (*.f64 z z) (sqrt.f64 (/.f64 1 (pow.f64 x 3))))) (*.f64 (sqrt.f64 (/.f64 1 x)) (*.f64 (*.f64 1/4 z) (*.f64 y y)))))))
(+.f64 (*.f64 (pow.f64 y 3) (+.f64 (*.f64 (*.f64 z (sqrt.f64 (/.f64 1 x))) 3/16) (*.f64 (*.f64 (pow.f64 z 3) (sqrt.f64 (/.f64 1 (pow.f64 x 5)))) 1/16))) (-.f64 (+.f64 (+.f64 (sqrt.f64 x) (*.f64 (pow.f64 y 3) (+.f64 (*.f64 (sqrt.f64 x) 1/16) (*.f64 (*.f64 (*.f64 z z) (sqrt.f64 (/.f64 1 (pow.f64 x 3)))) 3/16)))) (*.f64 (*.f64 y 1/2) (+.f64 (sqrt.f64 x) (*.f64 z (sqrt.f64 (/.f64 1 x)))))) (+.f64 (*.f64 (sqrt.f64 (/.f64 1 x)) (*.f64 1/4 (*.f64 z (*.f64 y y)))) (*.f64 (*.f64 1/8 (*.f64 y y)) (+.f64 (sqrt.f64 x) (*.f64 (*.f64 z z) (sqrt.f64 (/.f64 1 (pow.f64 x 3)))))))))
(sqrt.f64 (*.f64 y z))
(+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 y z))) x)) (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 y z)) x)) (sqrt.f64 (*.f64 y z))))
(fma.f64 1/2 (*.f64 x (sqrt.f64 (/.f64 (/.f64 1 y) z))) (fma.f64 1/2 (*.f64 x (sqrt.f64 (/.f64 y z))) (sqrt.f64 (*.f64 y z))))
(fma.f64 1/2 (*.f64 x (sqrt.f64 (/.f64 1 (*.f64 y z)))) (fma.f64 1/2 (*.f64 x (sqrt.f64 (/.f64 y z))) (sqrt.f64 (*.f64 y z))))
(+.f64 (sqrt.f64 (*.f64 y z)) (*.f64 x (*.f64 1/2 (+.f64 (sqrt.f64 (/.f64 (/.f64 1 y) z)) (sqrt.f64 (/.f64 y z))))))
(-.f64 (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 y z))) x)) (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 y z)) x)) (sqrt.f64 (*.f64 y z)))) (+.f64 (*.f64 1/8 (*.f64 (sqrt.f64 (/.f64 y (pow.f64 z 3))) (pow.f64 x 2))) (+.f64 (*.f64 1/8 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (pow.f64 y 3) (pow.f64 z 3)))) (pow.f64 x 2))) (*.f64 1/4 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 y (pow.f64 z 3)))) (pow.f64 x 2))))))
(-.f64 (fma.f64 1/2 (*.f64 x (sqrt.f64 (/.f64 (/.f64 1 y) z))) (fma.f64 1/2 (*.f64 x (sqrt.f64 (/.f64 y z))) (sqrt.f64 (*.f64 y z)))) (fma.f64 1/8 (*.f64 (sqrt.f64 (/.f64 y (pow.f64 z 3))) (*.f64 x x)) (fma.f64 1/8 (*.f64 (*.f64 x x) (sqrt.f64 (/.f64 (/.f64 1 (pow.f64 y 3)) (pow.f64 z 3)))) (*.f64 1/4 (*.f64 (*.f64 x x) (sqrt.f64 (/.f64 1 (*.f64 y (pow.f64 z 3)))))))))
(-.f64 (fma.f64 1/2 (*.f64 x (sqrt.f64 (/.f64 1 (*.f64 y z)))) (fma.f64 1/2 (*.f64 x (sqrt.f64 (/.f64 y z))) (sqrt.f64 (*.f64 y z)))) (fma.f64 1/8 (*.f64 x (*.f64 x (sqrt.f64 (/.f64 y (pow.f64 z 3))))) (*.f64 (*.f64 x x) (+.f64 (*.f64 1/8 (sqrt.f64 (/.f64 (/.f64 1 (pow.f64 y 3)) (pow.f64 z 3)))) (*.f64 1/4 (sqrt.f64 (/.f64 1 (*.f64 y (pow.f64 z 3)))))))))
(+.f64 (sqrt.f64 (*.f64 y z)) (-.f64 (*.f64 x (*.f64 1/2 (+.f64 (sqrt.f64 (/.f64 (/.f64 1 y) z)) (sqrt.f64 (/.f64 y z))))) (*.f64 (*.f64 x x) (+.f64 (*.f64 1/8 (+.f64 (sqrt.f64 (/.f64 y (pow.f64 z 3))) (sqrt.f64 (/.f64 (/.f64 1 (pow.f64 y 3)) (pow.f64 z 3))))) (*.f64 1/4 (sqrt.f64 (/.f64 1 (*.f64 y (pow.f64 z 3)))))))))
(-.f64 (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 y z)) x)) (+.f64 (*.f64 3/16 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (pow.f64 y 3) (pow.f64 z 5)))) (pow.f64 x 3))) (+.f64 (*.f64 3/16 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 y (pow.f64 z 5)))) (pow.f64 x 3))) (+.f64 (sqrt.f64 (*.f64 y z)) (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 y z))) x)) (+.f64 (*.f64 1/16 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (pow.f64 y 5) (pow.f64 z 5)))) (pow.f64 x 3))) (*.f64 1/16 (*.f64 (sqrt.f64 (/.f64 y (pow.f64 z 5))) (pow.f64 x 3))))))))) (+.f64 (*.f64 1/8 (*.f64 (sqrt.f64 (/.f64 y (pow.f64 z 3))) (pow.f64 x 2))) (+.f64 (*.f64 1/8 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 (pow.f64 y 3) (pow.f64 z 3)))) (pow.f64 x 2))) (*.f64 1/4 (*.f64 (sqrt.f64 (/.f64 1 (*.f64 y (pow.f64 z 3)))) (pow.f64 x 2))))))
(-.f64 (fma.f64 1/2 (*.f64 x (sqrt.f64 (/.f64 y z))) (fma.f64 3/16 (*.f64 (pow.f64 x 3) (sqrt.f64 (/.f64 1 (*.f64 (pow.f64 y 3) (pow.f64 z 5))))) (fma.f64 3/16 (*.f64 (pow.f64 x 3) (sqrt.f64 (/.f64 (/.f64 1 y) (pow.f64 z 5)))) (+.f64 (sqrt.f64 (*.f64 y z)) (fma.f64 1/2 (*.f64 x (sqrt.f64 (/.f64 (/.f64 1 y) z))) (*.f64 1/16 (+.f64 (*.f64 (pow.f64 x 3) (sqrt.f64 (/.f64 1 (*.f64 (pow.f64 z 5) (pow.f64 y 5))))) (*.f64 (pow.f64 x 3) (sqrt.f64 (/.f64 y (pow.f64 z 5))))))))))) (fma.f64 1/8 (*.f64 (sqrt.f64 (/.f64 y (pow.f64 z 3))) (*.f64 x x)) (fma.f64 1/8 (*.f64 (*.f64 x x) (sqrt.f64 (/.f64 (/.f64 1 (pow.f64 y 3)) (pow.f64 z 3)))) (*.f64 1/4 (*.f64 (*.f64 x x) (sqrt.f64 (/.f64 1 (*.f64 y (pow.f64 z 3)))))))))
(-.f64 (fma.f64 1/2 (*.f64 x (sqrt.f64 (/.f64 y z))) (+.f64 (+.f64 (sqrt.f64 (*.f64 y z)) (fma.f64 1/16 (*.f64 (pow.f64 x 3) (+.f64 (sqrt.f64 (/.f64 (/.f64 1 (pow.f64 y 5)) (pow.f64 z 5))) (sqrt.f64 (/.f64 y (pow.f64 z 5))))) (*.f64 (sqrt.f64 (/.f64 1 (*.f64 y z))) (*.f64 x 1/2)))) (*.f64 (pow.f64 x 3) (+.f64 (*.f64 3/16 (sqrt.f64 (/.f64 (/.f64 1 (pow.f64 y 3)) (pow.f64 z 5)))) (*.f64 3/16 (sqrt.f64 (/.f64 (/.f64 1 y) (pow.f64 z 5)))))))) (fma.f64 1/8 (*.f64 x (*.f64 x (sqrt.f64 (/.f64 y (pow.f64 z 3))))) (*.f64 (*.f64 x x) (+.f64 (*.f64 1/8 (sqrt.f64 (/.f64 (/.f64 1 (pow.f64 y 3)) (pow.f64 z 3)))) (*.f64 1/4 (sqrt.f64 (/.f64 1 (*.f64 y (pow.f64 z 3)))))))))
(+.f64 (*.f64 (pow.f64 x 3) (*.f64 3/16 (+.f64 (sqrt.f64 (/.f64 1 (*.f64 (pow.f64 y 3) (pow.f64 z 5)))) (sqrt.f64 (/.f64 (/.f64 1 y) (pow.f64 z 5)))))) (-.f64 (+.f64 (*.f64 (*.f64 (pow.f64 x 3) 1/16) (+.f64 (sqrt.f64 (/.f64 1 (*.f64 (pow.f64 z 5) (pow.f64 y 5)))) (sqrt.f64 (/.f64 y (pow.f64 z 5))))) (+.f64 (sqrt.f64 (*.f64 y z)) (*.f64 x (*.f64 1/2 (+.f64 (sqrt.f64 (/.f64 (/.f64 1 y) z)) (sqrt.f64 (/.f64 y z))))))) (*.f64 (*.f64 x x) (+.f64 (*.f64 1/8 (+.f64 (sqrt.f64 (/.f64 y (pow.f64 z 3))) (sqrt.f64 (/.f64 (/.f64 1 (pow.f64 y 3)) (pow.f64 z 3))))) (*.f64 1/4 (sqrt.f64 (/.f64 1 (*.f64 y (pow.f64 z 3)))))))))
(sqrt.f64 (+.f64 (*.f64 y x) x))
(sqrt.f64 (fma.f64 y x x))
(sqrt.f64 (fma.f64 x y x))
(+.f64 (sqrt.f64 (+.f64 (*.f64 y x) x)) (*.f64 1/2 (*.f64 (*.f64 y z) (sqrt.f64 (/.f64 1 (+.f64 (*.f64 y x) x))))))
(+.f64 (sqrt.f64 (fma.f64 y x x)) (*.f64 1/2 (*.f64 (*.f64 y z) (sqrt.f64 (/.f64 1 (fma.f64 y x x))))))
(fma.f64 1/2 (*.f64 y (*.f64 z (sqrt.f64 (/.f64 1 (fma.f64 x y x))))) (sqrt.f64 (fma.f64 x y x)))
(fma.f64 1/2 (*.f64 (*.f64 y z) (sqrt.f64 (/.f64 1 (fma.f64 x y x)))) (sqrt.f64 (fma.f64 x y x)))
(-.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 y x) x)) (*.f64 1/2 (*.f64 (*.f64 y z) (sqrt.f64 (/.f64 1 (+.f64 (*.f64 y x) x)))))) (*.f64 1/8 (*.f64 (*.f64 (pow.f64 y 2) (pow.f64 z 2)) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 y x) x) 3))))))
(-.f64 (+.f64 (sqrt.f64 (fma.f64 y x x)) (*.f64 1/2 (*.f64 (*.f64 y z) (sqrt.f64 (/.f64 1 (fma.f64 y x x)))))) (*.f64 1/8 (*.f64 (*.f64 (*.f64 y y) (*.f64 z z)) (sqrt.f64 (/.f64 1 (pow.f64 (fma.f64 y x x) 3))))))
(+.f64 (fma.f64 1/2 (*.f64 y (*.f64 z (sqrt.f64 (/.f64 1 (fma.f64 x y x))))) (sqrt.f64 (fma.f64 x y x))) (*.f64 (*.f64 y (*.f64 y (*.f64 z (*.f64 z (sqrt.f64 (/.f64 1 (pow.f64 (fma.f64 x y x) 3))))))) -1/8))
(+.f64 (sqrt.f64 (fma.f64 x y x)) (fma.f64 (*.f64 y z) (*.f64 (sqrt.f64 (/.f64 1 (fma.f64 x y x))) 1/2) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (fma.f64 x y x) 3))) (*.f64 (*.f64 y (*.f64 y (*.f64 z z))) -1/8))))
(-.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 y x) x)) (+.f64 (*.f64 1/2 (*.f64 (*.f64 y z) (sqrt.f64 (/.f64 1 (+.f64 (*.f64 y x) x))))) (*.f64 1/16 (*.f64 (*.f64 (pow.f64 y 3) (pow.f64 z 3)) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 y x) x) 5))))))) (*.f64 1/8 (*.f64 (*.f64 (pow.f64 y 2) (pow.f64 z 2)) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (*.f64 y x) x) 3))))))
(+.f64 (sqrt.f64 (fma.f64 y x x)) (-.f64 (fma.f64 1/2 (*.f64 (*.f64 y z) (sqrt.f64 (/.f64 1 (fma.f64 y x x)))) (*.f64 1/16 (*.f64 (*.f64 (pow.f64 y 3) (pow.f64 z 3)) (sqrt.f64 (/.f64 1 (pow.f64 (fma.f64 y x x) 5)))))) (*.f64 1/8 (*.f64 (*.f64 (*.f64 y y) (*.f64 z z)) (sqrt.f64 (/.f64 1 (pow.f64 (fma.f64 y x x) 3)))))))
(+.f64 (fma.f64 1/2 (*.f64 y (*.f64 z (sqrt.f64 (/.f64 1 (fma.f64 x y x))))) (sqrt.f64 (fma.f64 x y x))) (-.f64 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (fma.f64 x y x) 5))) (*.f64 (*.f64 (pow.f64 y 3) 1/16) (pow.f64 z 3))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (fma.f64 x y x) 3))) (*.f64 1/8 (*.f64 y (*.f64 y (*.f64 z z)))))))
(+.f64 (fma.f64 1/2 (*.f64 (*.f64 y z) (sqrt.f64 (/.f64 1 (fma.f64 x y x)))) (sqrt.f64 (fma.f64 x y x))) (fma.f64 1/16 (*.f64 (pow.f64 z 3) (*.f64 (pow.f64 y 3) (sqrt.f64 (/.f64 1 (pow.f64 (fma.f64 x y x) 5))))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (fma.f64 x y x) 3))) (*.f64 (*.f64 y (*.f64 y (*.f64 z z))) -1/8))))

prune53.0ms (2.9%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New1051106
Fresh000
Picked101
Done101
Total1071108
Error
0.0b
Counts
108 → 1
Alt Table
StatusErrorProgram
▶0.0b
(fma.f64 x y (fma.f64 y z x))
Compiler

Compiled 2137 to 1019 computations (52.3% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f64 x y (fma.f64 y z x))

series8.0ms (0.4%)

Counts
1 → 36
Calls

9 calls:

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

rewrite34.0ms (1.9%)

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

Useful iterations: 0 (0.0ms)

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

simplify18.0ms (1%)

Algorithm
1×egg-herbie
Rules
66×fma-def_binary64
8×associate-*r*_binary64
8×associate-*l*_binary64
6×*-commutative_binary64
5×+-commutative_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
014285
133285
249258
361258
480258
596258
6110258
7128258
8135258
9136258
Stop Event
1×saturated
Counts
58 → 30
Calls
Call 1
Inputs
(*.f64 y z)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(*.f64 (+.f64 1 y) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(*.f64 (+.f64 1 y) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
x
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(*.f64 y (+.f64 z x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(*.f64 y (+.f64 z x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(*.f64 y z)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(*.f64 y z)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
Outputs
(*.f64 y z)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(*.f64 (+.f64 1 y) x)
(fma.f64 y x x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(*.f64 (+.f64 1 y) x)
(fma.f64 y x x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
x
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(*.f64 y (+.f64 z x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(*.f64 y (+.f64 z x))
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(+.f64 (*.f64 y x) x)
(fma.f64 y x x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(*.f64 y z)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(*.f64 y z)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)
(+.f64 (*.f64 y x) (+.f64 (*.f64 y z) x))
(fma.f64 y x (fma.f64 y z x))
(fma.f64 y (+.f64 z x) x)

prune12.0ms (0.6%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New30030
Fresh000
Picked011
Done000
Total30131
Error
0.0b
Counts
31 → 1
Alt Table
StatusErrorProgram
✓0.0b
(fma.f64 x y (fma.f64 y z x))
Compiler

Compiled 325 to 90 computations (72.3% saved)

regimes47.0ms (2.6%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
17 → 1
Compiler

Compiled 126 to 48 computations (61.9% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
069
Stop Event
1×saturated
Calls
Call 1
Inputs
(fma.f64 x y (fma.f64 y z x))
Outputs
(fma.f64 x y (fma.f64 y z x))

end31.0ms (1.7%)

Stop Event
1×done
Compiler

Compiled 30 to 15 computations (50% saved)

Profiling

Loading profile data...