Details

analyze831.0ms (11%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
9.4%	90.4%	0.2%	10
10.9%	81.9%	7.2%	11
15.6%	75.4%	9%	12

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample2.0s (26.4%)

Results

1.5s	8256×	body	256	valid
439.0ms	2425×	body	256	invalid

preprocess22.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

156×	`fma-def_binary64`
34×	`+-commutative_binary64`
19×	`associate-+r+_binary64`
19×	`associate-+l+_binary64`
14×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	63
1	73	63
2	127	63
3	245	63
4	351	63
0	4	4

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2
3

Outputs
0
1
2
3

Call 2

Inputs
(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
(+.f64 (.f64 (+.f64 (.f64 y x) z) x) t)
(+.f64 (.f64 (+.f64 (.f64 z y) x) y) t)
(+.f64 (.f64 (+.f64 (.f64 t y) z) y) x)
(+.f64 (.f64 (+.f64 (.f64 x z) y) z) t)
(+.f64 (.f64 (+.f64 (.f64 x t) z) t) y)
(+.f64 (.f64 (+.f64 (.f64 x y) t) y) z)

Outputs
(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
(fma.f64 (fma.f64 x y z) y t)
(fma.f64 y (fma.f64 x y z) t)
(+.f64 (.f64 (+.f64 (.f64 y x) z) x) t)
(fma.f64 (fma.f64 x y z) x t)
(fma.f64 x (fma.f64 x y z) t)
(+.f64 (.f64 (+.f64 (.f64 z y) x) y) t)
(fma.f64 (fma.f64 z y x) y t)
(fma.f64 y (fma.f64 y z x) t)
(+.f64 (.f64 (+.f64 (.f64 t y) z) y) x)
(fma.f64 (fma.f64 t y z) y x)
(fma.f64 y (fma.f64 y t z) x)
(+.f64 (.f64 (+.f64 (.f64 x z) y) z) t)
(fma.f64 (fma.f64 x z y) z t)
(fma.f64 z (fma.f64 x z y) t)
(+.f64 (.f64 (+.f64 (.f64 x t) z) t) y)
(fma.f64 (fma.f64 x t z) t y)
(fma.f64 t (fma.f64 x t z) y)
(+.f64 (.f64 (+.f64 (.f64 x y) t) y) z)
(fma.f64 (fma.f64 x y t) y z)
(fma.f64 y (fma.f64 x y t) z)

Compiler

Compiled 17 to 12 computations (29.4% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

22×	`fma-def_binary64`
7×	`+-commutative_binary64`
4×	`associate-+r+_binary64`
4×	`associate-+l+_binary64`
3×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	9
1	15	9
2	25	9
3	54	9
4	70	9

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)

Outputs
(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
(fma.f64 (fma.f64 x y z) y t)
(fma.f64 y (fma.f64 x y z) t)

eval1.0ms (0%)

Compiler: Compiled 20 to 10 computations (50% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

0.0b

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(fma.f64 y (fma.f64 x y z) t)
▶	0.0b	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)

Compiler

Compiled 24 to 14 computations (41.7% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 x y) z)
✓	0.1b	(.f64 (+.f64 (.f64 x y) z) y)

Compiler

Compiled 32 to 8 computations (75% saved)

series8.0ms (0.1%)

Counts

2 → 72

Calls

18 calls:

Time	Variable		Point	Expression
1.0ms	z	@	inf	(.f64 (+.f64 (.f64 x y) z) y)
1.0ms	x	@	0	(.f64 (+.f64 (.f64 x y) z) y)
1.0ms	y	@	-inf	(.f64 (+.f64 (.f64 x y) z) y)
1.0ms	y	@	0	(.f64 (+.f64 (.f64 x y) z) y)
1.0ms	x	@	inf	(.f64 (+.f64 (.f64 x y) z) y)

rewrite55.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

815×	`pow1_binary64`
754×	`add-log-exp_binary64`
754×	`log1p-expm1-u_binary64`
754×	`expm1-log1p-u_binary64`
737×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	149	13
2	2047	13

Stop Event

1×	node limit

Counts

2 → 56

Calls

Call 1

Inputs
(.f64 (+.f64 (.f64 x y) z) y)
(+.f64 (*.f64 x y) z)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 x y) y) (.f64 z y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 z y) (.f64 (.f64 x y) y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 y (.f64 x y)) (.f64 y z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 y z) (.f64 y (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 y (fma.f64 x y z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 (.f64 x y) 3) (pow.f64 z 3)) y) (+.f64 (pow.f64 (.f64 x y) 2) (.f64 z (-.f64 z (.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (pow.f64 (.f64 x y) 2) (.f64 z z)) y) (-.f64 (.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y (+.f64 (pow.f64 (.f64 x y) 3) (pow.f64 z 3))) (+.f64 (pow.f64 (.f64 x y) 2) (.f64 z (-.f64 z (.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y (-.f64 (pow.f64 (.f64 x y) 2) (.f64 z z))) (-.f64 (.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 y (fma.f64 x y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 y (fma.f64 x y z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 y (fma.f64 x y z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 y (fma.f64 x y z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 y (fma.f64 x y z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (fma.f64 x y z)) y))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 y (fma.f64 x y z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 y 3) (pow.f64 (fma.f64 x y z) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 y 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 y (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 y (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 y (fma.f64 x y z))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (fma.f64 x y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (.f64 x y) 2) (-.f64 (.f64 x y) z)) (/.f64 (.f64 z z) (-.f64 (.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 x y z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 x y z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 x y z)) (pow.f64 (cbrt.f64 (fma.f64 x y z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 x y z)) 2) (cbrt.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 x y z)) (sqrt.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 (.f64 x y) 3) (pow.f64 z 3)) (/.f64 1 (+.f64 (pow.f64 (.f64 x y) 2) (.f64 z (-.f64 z (.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (.f64 x y) 2) (.f64 z z)) (/.f64 1 (-.f64 (.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (.f64 x y) 2) (.f64 z (-.f64 z (.f64 x y)))) (+.f64 (pow.f64 (.f64 x y) 3) (pow.f64 z 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (.f64 x y) z) (-.f64 (pow.f64 (.f64 x y) 2) (.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 x y) 3) (pow.f64 z 3)) (+.f64 (pow.f64 (.f64 x y) 2) (.f64 z (-.f64 z (.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 x y) 3) (pow.f64 z 3)) (+.f64 (.f64 z z) (-.f64 (pow.f64 (.f64 x y) 2) (.f64 x (.f64 y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (.f64 x y) 2) (.f64 z z)) (-.f64 (.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (.f64 x y) 3) (pow.f64 z 3))) (neg.f64 (+.f64 (pow.f64 (.f64 x y) 2) (.f64 z (-.f64 z (.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (.f64 x y) 2) (.f64 z z))) (neg.f64 (-.f64 (.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 z z) (pow.f64 (.f64 x y) 2)) (-.f64 z (.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x y z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x y z) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 x y z)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 x y z)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 x y z) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x y z) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x y z)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y x z)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 x y) z)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 z (.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 z) 2) (cbrt.f64 z) (.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 x y)) 2) (cbrt.f64 (.f64 x y)) z)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 z) (sqrt.f64 z) (.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 x y)) (sqrt.f64 (*.f64 x y)) z)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x y) y) (*.f64 z y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z y) (*.f64 (*.f64 x y) y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 x y)) (*.f64 y z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y z) (*.f64 y (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 y (fma.f64 x y z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 z 3)) y) (+.f64 (pow.f64 (*.f64 x y) 2) (*.f64 z (-.f64 z (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (*.f64 z z)) y) (-.f64 (*.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 z 3))) (+.f64 (pow.f64 (*.f64 x y) 2) (*.f64 z (-.f64 z (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (-.f64 (pow.f64 (*.f64 x y) 2) (*.f64 z z))) (-.f64 (*.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (fma.f64 x y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 y (fma.f64 x y z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 y (fma.f64 x y z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 y (fma.f64 x y z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 y (fma.f64 x y z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (fma.f64 x y z)) y))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 y (fma.f64 x y z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (fma.f64 x y z) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 y 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 y (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 y (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 y (fma.f64 x y z))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (fma.f64 x y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (*.f64 x y) 2) (-.f64 (*.f64 x y) z)) (/.f64 (*.f64 z z) (-.f64 (*.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x y z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 x y z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 x y z)) (pow.f64 (cbrt.f64 (fma.f64 x y z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 x y z)) 2) (cbrt.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 x y z)) (sqrt.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 z 3)) (/.f64 1 (+.f64 (pow.f64 (*.f64 x y) 2) (*.f64 z (-.f64 z (*.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (*.f64 z z)) (/.f64 1 (-.f64 (*.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (*.f64 x y) 2) (*.f64 z (-.f64 z (*.f64 x y)))) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 z 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (*.f64 x y) z) (-.f64 (pow.f64 (*.f64 x y) 2) (*.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 z 3)) (+.f64 (pow.f64 (*.f64 x y) 2) (*.f64 z (-.f64 z (*.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 z 3)) (+.f64 (*.f64 z z) (-.f64 (pow.f64 (*.f64 x y) 2) (*.f64 x (*.f64 y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (*.f64 z z)) (-.f64 (*.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 z 3))) (neg.f64 (+.f64 (pow.f64 (*.f64 x y) 2) (*.f64 z (-.f64 z (*.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 x y) 2) (*.f64 z z))) (neg.f64 (-.f64 (*.f64 x y) z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 z z) (pow.f64 (*.f64 x y) 2)) (-.f64 z (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x y z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x y z) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 x y z)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 x y z)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 x y z) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x y z) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x y z)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y x z)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x y) z)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 z (*.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 z) 2) (cbrt.f64 z) (*.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 x y)) 2) (cbrt.f64 (*.f64 x y)) z)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 z) (sqrt.f64 z) (*.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 x y)) (sqrt.f64 (*.f64 x y)) z)))))

simplify213.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

778×	`sqr-pow_binary64`
565×	`cube-prod_binary64`
560×	`fabs-mul_binary64`
541×	`associate-l_binary64`
434×	`unswap-sqr_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	507
1	23	507
2	36	426
3	62	426
4	154	426
5	476	426
6	1712	426
7	2963	426
8	3167	426
9	3380	426
10	3600	426
11	3910	426
12	4312	426
13	4823	426
14	5391	426
15	6081	426
16	6920	426
17	7312	426
18	7598	426
19	7876	426
20	7948	426
21	7984	426

Stop Event

1×	node limit

Counts

128 → 64

Calls

Call 1

Inputs
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
z
(+.f64 (*.f64 y x) z)
(+.f64 (*.f64 y x) z)
(+.f64 (*.f64 y x) z)
(*.f64 y x)
(+.f64 (*.f64 y x) z)
(+.f64 (*.f64 y x) z)
(+.f64 (*.f64 y x) z)
(*.f64 y x)
(+.f64 (*.f64 y x) z)
(+.f64 (*.f64 y x) z)
(+.f64 (*.f64 y x) z)
z
(+.f64 (*.f64 y x) z)
(+.f64 (*.f64 y x) z)
(+.f64 (*.f64 y x) z)
(*.f64 y x)
(+.f64 (*.f64 y x) z)
(+.f64 (*.f64 y x) z)
(+.f64 (*.f64 y x) z)
(*.f64 y x)
(+.f64 (*.f64 y x) z)
(+.f64 (*.f64 y x) z)
(+.f64 (*.f64 y x) z)
(*.f64 y x)
(+.f64 (*.f64 y x) z)
(+.f64 (*.f64 y x) z)
(+.f64 (*.f64 y x) z)
z
(+.f64 (*.f64 y x) z)
(+.f64 (*.f64 y x) z)
(+.f64 (*.f64 y x) z)
z
(+.f64 (*.f64 y x) z)
(+.f64 (*.f64 y x) z)
(+.f64 (*.f64 y x) z)

Outputs
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
z
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(*.f64 y x)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(*.f64 y x)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
z
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(*.f64 y x)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(*.f64 y x)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(*.f64 y x)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
z
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
z
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 y (fma.f64 x y z) t)

Compiler

Compiled 19 to 6 computations (68.4% saved)

series6.0ms (0.1%)

Counts

1 → 48

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	z	@	0	(fma.f64 y (fma.f64 x y z) t)
1.0ms	x	@	-inf	(fma.f64 y (fma.f64 x y z) t)
0.0ms	y	@	0	(fma.f64 y (fma.f64 x y z) t)
0.0ms	x	@	0	(fma.f64 y (fma.f64 x y z) t)
0.0ms	x	@	inf	(fma.f64 y (fma.f64 x y z) t)

rewrite53.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

682×	`pow1_binary64`
622×	`add-log-exp_binary64`
622×	`log1p-expm1-u_binary64`
622×	`expm1-log1p-u_binary64`
606×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	138	9
2	1649	9

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

Inputs
(fma.f64 y (fma.f64 x y z) t)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 t (.f64 y (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 y (fma.f64 x y z)) t)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 y (fma.f64 x y z)) 1) t)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (fma.f64 y (fma.f64 x y z) t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 y (fma.f64 x y z) t) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 y (fma.f64 x y z) t))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 y (fma.f64 x y z) t)) (pow.f64 (cbrt.f64 (fma.f64 y (fma.f64 x y z) t)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 y (fma.f64 x y z) t)) 2) (cbrt.f64 (fma.f64 y (fma.f64 x y z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 y (fma.f64 x y z) t)) (sqrt.f64 (fma.f64 y (fma.f64 x y z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 y (fma.f64 x y z)) 3) (pow.f64 t 3)) (+.f64 (.f64 (.f64 y (fma.f64 x y z)) (.f64 y (fma.f64 x y z))) (-.f64 (.f64 t t) (.f64 (.f64 y (fma.f64 x y z)) t))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 y (fma.f64 x y z)) (.f64 y (fma.f64 x y z))) (.f64 t t)) (-.f64 (*.f64 y (fma.f64 x y z)) t))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 y (fma.f64 x y z) t) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 y (fma.f64 x y z) t) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 y (fma.f64 x y z) t)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 y (fma.f64 x y z) t)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 y (fma.f64 x y z) t) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 y (fma.f64 x y z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 y (fma.f64 x y z) t) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 y (fma.f64 x y z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 y (fma.f64 x y z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 y (fma.f64 x y z) t)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 t (*.f64 y (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (fma.f64 x y z)) t)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 y (fma.f64 x y z)) 1) t)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (fma.f64 y (fma.f64 x y z) t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 y (fma.f64 x y z) t) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 y (fma.f64 x y z) t))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 y (fma.f64 x y z) t)) (pow.f64 (cbrt.f64 (fma.f64 y (fma.f64 x y z) t)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 y (fma.f64 x y z) t)) 2) (cbrt.f64 (fma.f64 y (fma.f64 x y z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 y (fma.f64 x y z) t)) (sqrt.f64 (fma.f64 y (fma.f64 x y z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 y (fma.f64 x y z)) 3) (pow.f64 t 3)) (+.f64 (*.f64 (*.f64 y (fma.f64 x y z)) (*.f64 y (fma.f64 x y z))) (-.f64 (*.f64 t t) (*.f64 (*.f64 y (fma.f64 x y z)) t))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 y (fma.f64 x y z)) (*.f64 y (fma.f64 x y z))) (*.f64 t t)) (-.f64 (*.f64 y (fma.f64 x y z)) t))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 y (fma.f64 x y z) t) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 y (fma.f64 x y z) t) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 y (fma.f64 x y z) t)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 y (fma.f64 x y z) t)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 y (fma.f64 x y z) t) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 y (fma.f64 x y z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 y (fma.f64 x y z) t) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 y (fma.f64 x y z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 y (fma.f64 x y z) t)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 y (fma.f64 x y z) t)))))))

simplify166.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

778×	`sqr-pow_binary64`
582×	`associate-l_binary64`
540×	`cube-prod_binary64`
534×	`fabs-mul_binary64`
496×	`fma-def_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	554
1	37	378
2	63	378
3	98	378
4	212	378
5	573	378
6	1903	378
7	3201	378
8	3397	378
9	3610	378
10	3830	378
11	4142	378
12	4544	378
13	5035	378
14	5601	378
15	6289	378
16	7128	378
17	7522	378
18	7806	378

Stop Event

1×	node limit

Counts

69 → 35

Calls

Call 1

Inputs
t
(+.f64 (*.f64 y z) t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (*.f64 y z) t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 t (*.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(*.f64 y z)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(*.f64 y z)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(.f64 (+.f64 (.f64 y x) z) y)
(+.f64 t (.f64 (+.f64 (.f64 y x) z) y))
(+.f64 t (.f64 (+.f64 (.f64 y x) z) y))
(+.f64 t (.f64 (+.f64 (.f64 y x) z) y))
t
(+.f64 t (.f64 (+.f64 (.f64 y x) z) y))
(+.f64 t (.f64 (+.f64 (.f64 y x) z) y))
(+.f64 t (.f64 (+.f64 (.f64 y x) z) y))
t
(+.f64 t (.f64 (+.f64 (.f64 y x) z) y))
(+.f64 t (.f64 (+.f64 (.f64 y x) z) y))
(+.f64 t (.f64 (+.f64 (.f64 y x) z) y))

Outputs
t
(+.f64 (*.f64 y z) t)
(fma.f64 y z t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 (*.f64 y z) t)
(fma.f64 y z t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 t (*.f64 (pow.f64 y 2) x))
(+.f64 t (.f64 (.f64 y y) x))
(fma.f64 (*.f64 y y) x t)
(fma.f64 y (*.f64 y x) t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(*.f64 y z)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(*.f64 y z)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 (.f64 y z) (+.f64 t (.f64 (pow.f64 y 2) x)))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(.f64 (+.f64 (.f64 y x) z) y)
(fma.f64 y z (.f64 (.f64 y y) x))
(*.f64 y (fma.f64 y x z))
(+.f64 t (.f64 (+.f64 (.f64 y x) z) y))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 t (.f64 (+.f64 (.f64 y x) z) y))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 t (.f64 (+.f64 (.f64 y x) z) y))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
t
(+.f64 t (.f64 (+.f64 (.f64 y x) z) y))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 t (.f64 (+.f64 (.f64 y x) z) y))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 t (.f64 (+.f64 (.f64 y x) z) y))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
t
(+.f64 t (.f64 (+.f64 (.f64 y x) z) y))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 t (.f64 (+.f64 (.f64 y x) z) y))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)
(+.f64 t (.f64 (+.f64 (.f64 y x) z) y))
(+.f64 (fma.f64 y z t) (.f64 (.f64 y y) x))
(fma.f64 y (fma.f64 y x z) t)

eval19.0ms (0.3%)

Compiler: Compiled 1247 to 428 computations (65.7% saved)

prune25.0ms (0.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	90	9	99
Fresh	0	0	0
Picked	1	0	1
Done	1	0	1
Total	92	9	101

Error

Counts

101 → 9

Alt Table

Click to see full alt table

Status	Error	Program
▶	33.9b	(+.f64 (*.f64 (pow.f64 (sqrt.f64 (fma.f64 x y z)) 2) y) t)
	29.3b	t
	33.9b	(.f64 (+.f64 (.f64 y x) z) y)
▶	46.2b	(*.f64 y z)
▶	0.0b	(+.f64 (+.f64 (.f64 (.f64 x y) y) (*.f64 z y)) t)
▶	16.9b	(+.f64 (.f64 (.f64 y x) y) t)
	50.2b	(.f64 y (.f64 y x))
▶	12.9b	(+.f64 (*.f64 z y) t)
	20.4b	(+.f64 (.f64 (.f64 y y) x) t)

Compiler

Compiled 181 to 118 computations (34.8% saved)

localize12.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 x y) y)

Compiler

Compiled 39 to 9 computations (76.9% saved)

series3.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(.f64 (.f64 x y) y)
1.0ms	y	@	0	(.f64 (.f64 x y) y)
0.0ms	x	@	inf	(.f64 (.f64 x y) y)
0.0ms	x	@	-inf	(.f64 (.f64 x y) y)
0.0ms	y	@	inf	(.f64 (.f64 x y) y)

rewrite46.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

471×	`pow1_binary64`
447×	`add-sqr-sqrt_binary64`
442×	`*-un-lft-identity_binary64`
431×	`add-log-exp_binary64`
431×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	99	7
2	1193	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 (.f64 x y) y)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 x (*.f64 y y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (*.f64 y y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (*.f64 y y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (sqrt.f64 x) y) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 x (*.f64 y y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 y) (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (*.f64 y y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (*.f64 y y))))))))

simplify179.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
551×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
445×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	12	168
2	23	168
3	44	168
4	105	168
5	332	168
6	1258	168
7	2133	168
8	2297	168
9	2481	168
10	2689	168
11	2985	168
12	3378	168
13	3859	168
14	4425	168
15	5113	168
16	5948	168
17	6336	168
18	6624	168
19	6900	168
20	6970	168
21	7006	168
22	7947	168

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

Inputs
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)

Outputs
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))

localize4.0ms (0.1%)

Compiler: Compiled 9 to 5 computations (44.4% saved)

localize6.0ms (0.1%)

Compiler: Compiled 15 to 6 computations (60% saved)

localize9.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 y x) y)

Compiler

Compiled 22 to 7 computations (68.2% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(.f64 (.f64 y x) y)
0.0ms	y	@	inf	(.f64 (.f64 y x) y)
0.0ms	y	@	-inf	(.f64 (.f64 y x) y)
0.0ms	x	@	inf	(.f64 (.f64 y x) y)
0.0ms	x	@	0	(.f64 (.f64 y x) y)

rewrite57.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

468×	`pow1_binary64`
444×	`add-sqr-sqrt_binary64`
439×	`*-un-lft-identity_binary64`
428×	`add-log-exp_binary64`
428×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	99	7
2	1182	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 (.f64 y x) y)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 y (*.f64 y x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (*.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 y (*.f64 y x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 y (*.f64 y x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 y (*.f64 y x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 y) (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 y (*.f64 y x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 y (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 y (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 y (*.f64 y x))))))))

simplify184.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
551×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
445×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	12	168
2	23	168
3	44	168
4	105	168
5	332	168
6	1258	168
7	2133	168
8	2297	168
9	2481	168
10	2689	168
11	2985	168
12	3378	168
13	3859	168
14	4425	168
15	5113	168
16	5948	168
17	6336	168
18	6624	168
19	6900	168
20	6970	168
21	7006	168
22	7947	168

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

Inputs
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)

Outputs
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))

localize16.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (fma.f64 x y z))
✓	0.0b	(*.f64 (pow.f64 (sqrt.f64 (fma.f64 x y z)) 2) y)
✓	0.2b	(pow.f64 (sqrt.f64 (fma.f64 x y z)) 2)

Compiler

Compiled 45 to 16 computations (64.4% saved)

series23.0ms (0.3%)

Counts

3 → 60

Calls

27 calls:

Time	Variable		Point	Expression
3.0ms	x	@	0	(pow.f64 (sqrt.f64 (fma.f64 x y z)) 2)
2.0ms	x	@	inf	(pow.f64 (sqrt.f64 (fma.f64 x y z)) 2)
2.0ms	y	@	inf	(pow.f64 (sqrt.f64 (fma.f64 x y z)) 2)
2.0ms	z	@	0	(pow.f64 (sqrt.f64 (fma.f64 x y z)) 2)
2.0ms	z	@	inf	(pow.f64 (sqrt.f64 (fma.f64 x y z)) 2)

rewrite61.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

724×	`pow1_binary64`
666×	`add-log-exp_binary64`
666×	`log1p-expm1-u_binary64`
666×	`expm1-log1p-u_binary64`
649×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	20
1	184	20
2	1850	20

Stop Event

1×	node limit

Counts

3 → 57

Calls

Call 1

Inputs
(pow.f64 (sqrt.f64 (fma.f64 x y z)) 2)
(*.f64 (pow.f64 (sqrt.f64 (fma.f64 x y z)) 2) y)
(sqrt.f64 (fma.f64 x y z))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 z (*.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x y) z)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x y) 1) z)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (fma.f64 x y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x y z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 x y z)) (sqrt.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 x y z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 x y z)) (pow.f64 (cbrt.f64 (fma.f64 x y z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 x y z)) (*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y z))) (sqrt.f64 (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 x y z)) 2) (cbrt.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (fma.f64 x y z) 1/4) (*.f64 (pow.f64 (fma.f64 x y z) 1/4) (sqrt.f64 (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (fma.f64 x y z)) (pow.f64 (fma.f64 x y z) 1/4)) (pow.f64 (fma.f64 x y z) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (fma.f64 x y z)) (cbrt.f64 (fma.f64 x y z))) (cbrt.f64 (sqrt.f64 (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 z 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (-.f64 (*.f64 z z) (*.f64 (*.f64 x y) z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 z z)) (-.f64 (*.f64 x y) z))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 x y z) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x y z) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x y z)))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x y) y) (*.f64 z y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 x y)) (*.f64 y z))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 y (fma.f64 x y z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (fma.f64 x y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 y (fma.f64 x y z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 y (fma.f64 x y z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 y (fma.f64 x y z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 y (fma.f64 x y z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (fma.f64 x y z)) y))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 y (fma.f64 x y z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (fma.f64 x y z) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 y 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 y (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 y (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 y (fma.f64 x y z))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (sqrt.f64 (fma.f64 x y z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 x y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 x y z)) (cbrt.f64 (sqrt.f64 (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y z))) (cbrt.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (fma.f64 x y z) 1/4) (pow.f64 (fma.f64 x y z) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 x y z)) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (sqrt.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 x y z)) 2) 1/2) (pow.f64 (cbrt.f64 (fma.f64 x y z)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x y z) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 x y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x y z) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 x y z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x y z) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (fma.f64 x y z)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x y z) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (fma.f64 x y z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (fma.f64 x y z))))))))

simplify60.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

621×	`fma-def_binary64`
540×	`associate-r_binary64`
512×	`associate-l_binary64`
358×	`unswap-sqr_binary64`
337×	`associate-/l/_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	113	952
1	342	946
2	1160	797
3	5487	723

Stop Event

1×	node limit

Counts

117 → 87

Calls

Call 1

Inputs
z
(+.f64 (*.f64 y x) z)
(+.f64 (.f64 y x) (+.f64 z (.f64 (+.f64 (.f64 1/4 (/.f64 (pow.f64 y 2) z)) (.f64 -1/4 (/.f64 (pow.f64 y 2) z))) (pow.f64 x 2))))
(+.f64 (.f64 y x) (+.f64 z (+.f64 (.f64 (+.f64 (.f64 -1/8 (/.f64 (pow.f64 y 3) (pow.f64 z 2))) (.f64 1/8 (/.f64 (pow.f64 y 3) (pow.f64 z 2)))) (pow.f64 x 3)) (.f64 (+.f64 (.f64 1/4 (/.f64 (pow.f64 y 2) z)) (*.f64 -1/4 (/.f64 (pow.f64 y 2) z))) (pow.f64 x 2)))))
z
(+.f64 (*.f64 y x) z)
(+.f64 (.f64 y x) (+.f64 (.f64 (pow.f64 y 2) (+.f64 (.f64 1/4 (/.f64 (pow.f64 x 2) z)) (.f64 -1/4 (/.f64 (pow.f64 x 2) z)))) z))
(+.f64 (.f64 y x) (+.f64 (.f64 (pow.f64 y 2) (+.f64 (.f64 1/4 (/.f64 (pow.f64 x 2) z)) (.f64 -1/4 (/.f64 (pow.f64 x 2) z)))) (+.f64 (.f64 (pow.f64 y 3) (+.f64 (.f64 1/8 (/.f64 (pow.f64 x 3) (pow.f64 z 2))) (*.f64 -1/8 (/.f64 (pow.f64 x 3) (pow.f64 z 2))))) z)))
(*.f64 y x)
(+.f64 (*.f64 y x) z)
(+.f64 (.f64 y x) (+.f64 (.f64 (+.f64 (.f64 1/64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (+.f64 (.f64 -1 (+.f64 (.f64 1/16 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (pow.f64 (.f64 -1/8 (sqrt.f64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3))))) 2))) (.f64 1/16 (/.f64 1 (*.f64 (pow.f64 y 3) (pow.f64 x 3)))))) (pow.f64 z 4)) z))
(+.f64 (.f64 y x) (+.f64 (.f64 (+.f64 (.f64 1/64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (+.f64 (.f64 -1 (+.f64 (.f64 1/16 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (pow.f64 (.f64 -1/8 (sqrt.f64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3))))) 2))) (.f64 1/16 (/.f64 1 (*.f64 (pow.f64 y 3) (pow.f64 x 3)))))) (pow.f64 z 4)) z))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(sqrt.f64 z)
(+.f64 (.f64 1/2 (.f64 (*.f64 y x) (sqrt.f64 (/.f64 1 z)))) (sqrt.f64 z))
(+.f64 (.f64 1/2 (.f64 (.f64 y x) (sqrt.f64 (/.f64 1 z)))) (+.f64 (sqrt.f64 z) (.f64 -1/8 (.f64 (.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 (/.f64 1 (pow.f64 z 3)))))))
(+.f64 (.f64 1/2 (.f64 (.f64 y x) (sqrt.f64 (/.f64 1 z)))) (+.f64 (sqrt.f64 z) (+.f64 (.f64 1/16 (.f64 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (sqrt.f64 (/.f64 1 (pow.f64 z 5))))) (.f64 -1/8 (.f64 (*.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 (/.f64 1 (pow.f64 z 3))))))))
(sqrt.f64 z)
(+.f64 (.f64 1/2 (.f64 (*.f64 y x) (sqrt.f64 (/.f64 1 z)))) (sqrt.f64 z))
(+.f64 (.f64 1/2 (.f64 (.f64 y x) (sqrt.f64 (/.f64 1 z)))) (+.f64 (sqrt.f64 z) (.f64 -1/8 (.f64 (.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 (/.f64 1 (pow.f64 z 3)))))))
(+.f64 (.f64 1/2 (.f64 (.f64 y x) (sqrt.f64 (/.f64 1 z)))) (+.f64 (sqrt.f64 z) (+.f64 (.f64 1/16 (.f64 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (sqrt.f64 (/.f64 1 (pow.f64 z 5))))) (.f64 -1/8 (.f64 (*.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 (/.f64 1 (pow.f64 z 3))))))))
(sqrt.f64 (*.f64 y x))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (.f64 y x))) z)) (sqrt.f64 (.f64 y x)))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (.f64 y x))) z)) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (pow.f64 z 2))) (sqrt.f64 (*.f64 y x))))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (.f64 y x))) z)) (+.f64 (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (.f64 (pow.f64 y 5) (pow.f64 x 5)))) (pow.f64 z 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (pow.f64 z 2))) (sqrt.f64 (.f64 y x)))))

Outputs
z
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (.f64 y x) (+.f64 z (.f64 (+.f64 (.f64 1/4 (/.f64 (pow.f64 y 2) z)) (.f64 -1/4 (/.f64 (pow.f64 y 2) z))) (pow.f64 x 2))))
(fma.f64 y x z)
(+.f64 (.f64 y x) (+.f64 z (+.f64 (.f64 (+.f64 (.f64 -1/8 (/.f64 (pow.f64 y 3) (pow.f64 z 2))) (.f64 1/8 (/.f64 (pow.f64 y 3) (pow.f64 z 2)))) (pow.f64 x 3)) (.f64 (+.f64 (.f64 1/4 (/.f64 (pow.f64 y 2) z)) (*.f64 -1/4 (/.f64 (pow.f64 y 2) z))) (pow.f64 x 2)))))
(fma.f64 y x z)
z
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (.f64 y x) (+.f64 (.f64 (pow.f64 y 2) (+.f64 (.f64 1/4 (/.f64 (pow.f64 x 2) z)) (.f64 -1/4 (/.f64 (pow.f64 x 2) z)))) z))
(fma.f64 y x z)
(+.f64 (.f64 y x) (+.f64 (.f64 (pow.f64 y 2) (+.f64 (.f64 1/4 (/.f64 (pow.f64 x 2) z)) (.f64 -1/4 (/.f64 (pow.f64 x 2) z)))) (+.f64 (.f64 (pow.f64 y 3) (+.f64 (.f64 1/8 (/.f64 (pow.f64 x 3) (pow.f64 z 2))) (*.f64 -1/8 (/.f64 (pow.f64 x 3) (pow.f64 z 2))))) z)))
(fma.f64 y x z)
(*.f64 y x)
(+.f64 (*.f64 y x) z)
(fma.f64 y x z)
(+.f64 (.f64 y x) (+.f64 (.f64 (+.f64 (.f64 1/64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (+.f64 (.f64 -1 (+.f64 (.f64 1/16 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (pow.f64 (.f64 -1/8 (sqrt.f64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3))))) 2))) (.f64 1/16 (/.f64 1 (*.f64 (pow.f64 y 3) (pow.f64 x 3)))))) (pow.f64 z 4)) z))
(fma.f64 y x (fma.f64 (+.f64 (/.f64 1/64 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 -1 (+.f64 (/.f64 1/16 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (pow.f64 (.f64 -1/8 (sqrt.f64 (/.f64 (/.f64 1 (pow.f64 y 3)) (pow.f64 x 3)))) 2)) (/.f64 1/16 (.f64 (pow.f64 y 3) (pow.f64 x 3))))) (pow.f64 z 4) z))
(fma.f64 y x (fma.f64 (+.f64 (/.f64 1/64 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (-.f64 (/.f64 1/16 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (+.f64 (/.f64 1/16 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (pow.f64 (.f64 -1/8 (sqrt.f64 (/.f64 1 (*.f64 (pow.f64 y 3) (pow.f64 x 3))))) 2)))) (pow.f64 z 4) z))
(fma.f64 y x (fma.f64 (-.f64 (.f64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3))) 5/64) (.f64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3))) 5/64)) (pow.f64 z 4) z))
(fma.f64 y x (fma.f64 0 (pow.f64 z 4) z))
(+.f64 (.f64 y x) (+.f64 (.f64 (+.f64 (.f64 1/64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (+.f64 (.f64 -1 (+.f64 (.f64 1/16 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (pow.f64 (.f64 -1/8 (sqrt.f64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3))))) 2))) (.f64 1/16 (/.f64 1 (*.f64 (pow.f64 y 3) (pow.f64 x 3)))))) (pow.f64 z 4)) z))
(fma.f64 y x (fma.f64 (+.f64 (/.f64 1/64 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 -1 (+.f64 (/.f64 1/16 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (pow.f64 (.f64 -1/8 (sqrt.f64 (/.f64 (/.f64 1 (pow.f64 y 3)) (pow.f64 x 3)))) 2)) (/.f64 1/16 (.f64 (pow.f64 y 3) (pow.f64 x 3))))) (pow.f64 z 4) z))
(fma.f64 y x (fma.f64 (+.f64 (/.f64 1/64 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (-.f64 (/.f64 1/16 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (+.f64 (/.f64 1/16 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (pow.f64 (.f64 -1/8 (sqrt.f64 (/.f64 1 (*.f64 (pow.f64 y 3) (pow.f64 x 3))))) 2)))) (pow.f64 z 4) z))
(fma.f64 y x (fma.f64 (-.f64 (.f64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3))) 5/64) (.f64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3))) 5/64)) (pow.f64 z 4) z))
(fma.f64 y x (fma.f64 0 (pow.f64 z 4) z))
(*.f64 y z)
(*.f64 z y)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(*.f64 y z)
(*.f64 z y)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(*.f64 y z)
(*.f64 z y)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(*.f64 y z)
(*.f64 z y)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 x (.f64 y y)))
(fma.f64 x (.f64 y y) (.f64 z y))
(*.f64 y (fma.f64 y x z))
(sqrt.f64 z)
(+.f64 (.f64 1/2 (.f64 (*.f64 y x) (sqrt.f64 (/.f64 1 z)))) (sqrt.f64 z))
(fma.f64 1/2 (.f64 y (.f64 x (sqrt.f64 (/.f64 1 z)))) (sqrt.f64 z))
(fma.f64 y (.f64 x (.f64 1/2 (sqrt.f64 (/.f64 1 z)))) (sqrt.f64 z))
(fma.f64 y (.f64 1/2 (.f64 x (sqrt.f64 (/.f64 1 z)))) (sqrt.f64 z))
(+.f64 (.f64 1/2 (.f64 (.f64 y x) (sqrt.f64 (/.f64 1 z)))) (+.f64 (sqrt.f64 z) (.f64 -1/8 (.f64 (.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 (/.f64 1 (pow.f64 z 3)))))))
(+.f64 (fma.f64 1/2 (.f64 y (.f64 x (sqrt.f64 (/.f64 1 z)))) (sqrt.f64 z)) (.f64 (.f64 -1/8 (.f64 (.f64 y y) (*.f64 x x))) (sqrt.f64 (/.f64 1 (pow.f64 z 3)))))
(fma.f64 1/2 (.f64 y (.f64 x (sqrt.f64 (/.f64 1 z)))) (fma.f64 -1/8 (.f64 y (.f64 y (.f64 (.f64 x x) (sqrt.f64 (/.f64 1 (pow.f64 z 3)))))) (sqrt.f64 z)))
(fma.f64 y (.f64 x (.f64 1/2 (sqrt.f64 (/.f64 1 z)))) (fma.f64 (.f64 y y) (.f64 (.f64 x x) (.f64 -1/8 (sqrt.f64 (/.f64 1 (pow.f64 z 3))))) (sqrt.f64 z)))
(+.f64 (sqrt.f64 z) (.f64 (.f64 y x) (+.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 z))) (.f64 (.f64 -1/8 (sqrt.f64 (/.f64 1 (pow.f64 z 3)))) (.f64 y x)))))
(+.f64 (.f64 1/2 (.f64 (.f64 y x) (sqrt.f64 (/.f64 1 z)))) (+.f64 (sqrt.f64 z) (+.f64 (.f64 1/16 (.f64 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (sqrt.f64 (/.f64 1 (pow.f64 z 5))))) (.f64 -1/8 (.f64 (*.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 (/.f64 1 (pow.f64 z 3))))))))
(+.f64 (fma.f64 1/2 (.f64 y (.f64 x (sqrt.f64 (/.f64 1 z)))) (sqrt.f64 z)) (fma.f64 1/16 (.f64 (pow.f64 y 3) (.f64 (pow.f64 x 3) (sqrt.f64 (/.f64 1 (pow.f64 z 5))))) (.f64 (.f64 -1/8 (.f64 (.f64 y y) (*.f64 x x))) (sqrt.f64 (/.f64 1 (pow.f64 z 3))))))
(+.f64 (fma.f64 1/2 (.f64 y (.f64 x (sqrt.f64 (/.f64 1 z)))) (sqrt.f64 z)) (fma.f64 -1/8 (.f64 y (.f64 y (.f64 (.f64 x x) (sqrt.f64 (/.f64 1 (pow.f64 z 3)))))) (.f64 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 z 5))) 1/16))))
(fma.f64 y (.f64 x (.f64 1/2 (sqrt.f64 (/.f64 1 z)))) (fma.f64 (.f64 y y) (.f64 (.f64 x x) (.f64 -1/8 (sqrt.f64 (/.f64 1 (pow.f64 z 3))))) (fma.f64 (pow.f64 y 3) (.f64 (pow.f64 x 3) (.f64 1/16 (sqrt.f64 (/.f64 1 (pow.f64 z 5))))) (sqrt.f64 z))))
(+.f64 (fma.f64 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (.f64 1/16 (sqrt.f64 (/.f64 1 (pow.f64 z 5)))) (sqrt.f64 z)) (.f64 (.f64 y x) (+.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 z))) (.f64 (.f64 -1/8 (sqrt.f64 (/.f64 1 (pow.f64 z 3)))) (.f64 y x)))))
(sqrt.f64 z)
(+.f64 (.f64 1/2 (.f64 (*.f64 y x) (sqrt.f64 (/.f64 1 z)))) (sqrt.f64 z))
(fma.f64 1/2 (.f64 y (.f64 x (sqrt.f64 (/.f64 1 z)))) (sqrt.f64 z))
(fma.f64 y (.f64 x (.f64 1/2 (sqrt.f64 (/.f64 1 z)))) (sqrt.f64 z))
(fma.f64 y (.f64 1/2 (.f64 x (sqrt.f64 (/.f64 1 z)))) (sqrt.f64 z))
(+.f64 (.f64 1/2 (.f64 (.f64 y x) (sqrt.f64 (/.f64 1 z)))) (+.f64 (sqrt.f64 z) (.f64 -1/8 (.f64 (.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 (/.f64 1 (pow.f64 z 3)))))))
(+.f64 (fma.f64 1/2 (.f64 y (.f64 x (sqrt.f64 (/.f64 1 z)))) (sqrt.f64 z)) (.f64 (.f64 -1/8 (.f64 (.f64 y y) (*.f64 x x))) (sqrt.f64 (/.f64 1 (pow.f64 z 3)))))
(fma.f64 1/2 (.f64 y (.f64 x (sqrt.f64 (/.f64 1 z)))) (fma.f64 -1/8 (.f64 y (.f64 y (.f64 (.f64 x x) (sqrt.f64 (/.f64 1 (pow.f64 z 3)))))) (sqrt.f64 z)))
(fma.f64 y (.f64 x (.f64 1/2 (sqrt.f64 (/.f64 1 z)))) (fma.f64 (.f64 y y) (.f64 (.f64 x x) (.f64 -1/8 (sqrt.f64 (/.f64 1 (pow.f64 z 3))))) (sqrt.f64 z)))
(+.f64 (sqrt.f64 z) (.f64 (.f64 y x) (+.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 z))) (.f64 (.f64 -1/8 (sqrt.f64 (/.f64 1 (pow.f64 z 3)))) (.f64 y x)))))
(+.f64 (.f64 1/2 (.f64 (.f64 y x) (sqrt.f64 (/.f64 1 z)))) (+.f64 (sqrt.f64 z) (+.f64 (.f64 1/16 (.f64 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (sqrt.f64 (/.f64 1 (pow.f64 z 5))))) (.f64 -1/8 (.f64 (*.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 (/.f64 1 (pow.f64 z 3))))))))
(+.f64 (fma.f64 1/2 (.f64 y (.f64 x (sqrt.f64 (/.f64 1 z)))) (sqrt.f64 z)) (fma.f64 1/16 (.f64 (pow.f64 y 3) (.f64 (pow.f64 x 3) (sqrt.f64 (/.f64 1 (pow.f64 z 5))))) (.f64 (.f64 -1/8 (.f64 (.f64 y y) (*.f64 x x))) (sqrt.f64 (/.f64 1 (pow.f64 z 3))))))
(+.f64 (fma.f64 1/2 (.f64 y (.f64 x (sqrt.f64 (/.f64 1 z)))) (sqrt.f64 z)) (fma.f64 -1/8 (.f64 y (.f64 y (.f64 (.f64 x x) (sqrt.f64 (/.f64 1 (pow.f64 z 3)))))) (.f64 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 z 5))) 1/16))))
(fma.f64 y (.f64 x (.f64 1/2 (sqrt.f64 (/.f64 1 z)))) (fma.f64 (.f64 y y) (.f64 (.f64 x x) (.f64 -1/8 (sqrt.f64 (/.f64 1 (pow.f64 z 3))))) (fma.f64 (pow.f64 y 3) (.f64 (pow.f64 x 3) (.f64 1/16 (sqrt.f64 (/.f64 1 (pow.f64 z 5))))) (sqrt.f64 z))))
(+.f64 (fma.f64 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (.f64 1/16 (sqrt.f64 (/.f64 1 (pow.f64 z 5)))) (sqrt.f64 z)) (.f64 (.f64 y x) (+.f64 (.f64 1/2 (sqrt.f64 (/.f64 1 z))) (.f64 (.f64 -1/8 (sqrt.f64 (/.f64 1 (pow.f64 z 3)))) (.f64 y x)))))
(sqrt.f64 (*.f64 y x))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (.f64 y x))) z)) (sqrt.f64 (.f64 y x)))
(fma.f64 1/2 (.f64 z (sqrt.f64 (/.f64 1 (.f64 y x)))) (sqrt.f64 (*.f64 y x)))
(fma.f64 1/2 (.f64 z (sqrt.f64 (/.f64 (/.f64 1 y) x))) (sqrt.f64 (.f64 y x)))
(fma.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 (.f64 y x)))) (sqrt.f64 (*.f64 y x)))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (.f64 y x))) z)) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (pow.f64 z 2))) (sqrt.f64 (*.f64 y x))))
(fma.f64 1/2 (.f64 z (sqrt.f64 (/.f64 1 (.f64 y x)))) (fma.f64 -1/8 (.f64 (.f64 z z) (sqrt.f64 (/.f64 (/.f64 1 (pow.f64 y 3)) (pow.f64 x 3)))) (sqrt.f64 (*.f64 y x))))
(fma.f64 1/2 (.f64 z (sqrt.f64 (/.f64 (/.f64 1 y) x))) (fma.f64 -1/8 (.f64 (.f64 z z) (sqrt.f64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3))))) (sqrt.f64 (*.f64 y x))))
(fma.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 (.f64 y x)))) (fma.f64 (sqrt.f64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (.f64 z (.f64 z -1/8)) (sqrt.f64 (.f64 y x))))
(fma.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 (.f64 y x)))) (fma.f64 (sqrt.f64 (/.f64 (/.f64 1 (pow.f64 y 3)) (pow.f64 x 3))) (.f64 z (.f64 z -1/8)) (sqrt.f64 (*.f64 y x))))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 (.f64 y x))) z)) (+.f64 (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (.f64 (pow.f64 y 5) (pow.f64 x 5)))) (pow.f64 z 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (pow.f64 z 2))) (sqrt.f64 (.f64 y x)))))
(fma.f64 1/2 (.f64 z (sqrt.f64 (/.f64 1 (.f64 y x)))) (fma.f64 1/16 (.f64 (pow.f64 z 3) (sqrt.f64 (/.f64 1 (.f64 (pow.f64 y 5) (pow.f64 x 5))))) (fma.f64 -1/8 (.f64 (.f64 z z) (sqrt.f64 (/.f64 (/.f64 1 (pow.f64 y 3)) (pow.f64 x 3)))) (sqrt.f64 (*.f64 y x)))))
(fma.f64 1/2 (.f64 z (sqrt.f64 (/.f64 (/.f64 1 y) x))) (fma.f64 1/16 (.f64 (pow.f64 z 3) (sqrt.f64 (/.f64 (/.f64 1 (pow.f64 y 5)) (pow.f64 x 5)))) (fma.f64 -1/8 (.f64 (.f64 z z) (sqrt.f64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3))))) (sqrt.f64 (.f64 y x)))))
(fma.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 (.f64 y x)))) (fma.f64 -1/8 (.f64 (.f64 z z) (sqrt.f64 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3))))) (fma.f64 (sqrt.f64 (/.f64 1 (.f64 (pow.f64 y 5) (pow.f64 x 5)))) (.f64 1/16 (pow.f64 z 3)) (sqrt.f64 (.f64 y x)))))
(fma.f64 z (.f64 1/2 (sqrt.f64 (/.f64 1 (.f64 y x)))) (fma.f64 -1/8 (.f64 z (.f64 z (sqrt.f64 (/.f64 (/.f64 1 (pow.f64 y 3)) (pow.f64 x 3))))) (fma.f64 (sqrt.f64 (/.f64 (/.f64 1 (pow.f64 y 5)) (pow.f64 x 5))) (.f64 1/16 (pow.f64 z 3)) (sqrt.f64 (.f64 y x)))))

eval33.0ms (0.4%)

Compiler: Compiled 1844 to 909 computations (50.7% saved)

prune58.0ms (0.8%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	112	1	113
Fresh	0	4	4
Picked	1	0	1
Done	0	4	4
Total	113	9	122

Error

Counts

122 → 9

Alt Table

Click to see full alt table

Status	Error	Program
▶	50.2b	(.f64 y (.f64 y x))
▶	37.2b	(+.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 y x)) 2) y) t)
	29.3b	t
▶	33.9b	(.f64 (+.f64 (.f64 y x) z) y)
✓	46.2b	(*.f64 y z)
✓	0.0b	(+.f64 (+.f64 (.f64 (.f64 x y) y) (*.f64 z y)) t)
✓	16.9b	(+.f64 (.f64 (.f64 y x) y) t)
✓	12.9b	(+.f64 (*.f64 z y) t)
▶	20.4b	(+.f64 (.f64 (.f64 y y) x) t)

Compiler

Compiled 92 to 61 computations (33.7% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 y (.f64 y x))

Compiler

Compiled 14 to 6 computations (57.1% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(.f64 y (.f64 y x))
0.0ms	y	@	-inf	(.f64 y (.f64 y x))
0.0ms	y	@	inf	(.f64 y (.f64 y x))
0.0ms	x	@	-inf	(.f64 y (.f64 y x))
0.0ms	x	@	inf	(.f64 y (.f64 y x))

rewrite112.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

471×	`pow1_binary64`
447×	`add-sqr-sqrt_binary64`
442×	`*-un-lft-identity_binary64`
431×	`add-log-exp_binary64`
431×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	99	7
2	1194	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 y (.f64 y x))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 y (*.f64 y x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (*.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 y (*.f64 y x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (sqrt.f64 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 y (*.f64 y x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 y) (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 y (*.f64 y x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 y (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 y (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 y (*.f64 y x))))))))

simplify182.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
551×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
445×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	12	168
2	23	168
3	44	168
4	105	168
5	332	168
6	1258	168
7	2133	168
8	2297	168
9	2481	168
10	2689	168
11	2985	168
12	3378	168
13	3859	168
14	4425	168
15	5113	168
16	5948	168
17	6336	168
18	6624	168
19	6900	168
20	6970	168
21	7006	168
22	7947	168

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

Inputs
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)

Outputs
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 y x) z)
✓	0.1b	(.f64 (+.f64 (.f64 y x) z) y)

Compiler

Compiled 22 to 7 computations (68.2% saved)

series5.0ms (0.1%)

Counts

2 → 45

Calls

18 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(.f64 (+.f64 (.f64 y x) z) y)
0.0ms	y	@	inf	(.f64 (+.f64 (.f64 y x) z) y)
0.0ms	z	@	-inf	(+.f64 (*.f64 y x) z)
0.0ms	x	@	inf	(.f64 (+.f64 (.f64 y x) z) y)
0.0ms	y	@	-inf	(.f64 (+.f64 (.f64 y x) z) y)

rewrite70.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

815×	`pow1_binary64`
754×	`add-log-exp_binary64`
754×	`log1p-expm1-u_binary64`
754×	`expm1-log1p-u_binary64`
737×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	149	13
2	2047	13

Stop Event

1×	node limit

Counts

2 → 56

Calls

Call 1

Inputs
(.f64 (+.f64 (.f64 y x) z) y)
(+.f64 (*.f64 y x) z)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 y x) y) (*.f64 z y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z y) (*.f64 (*.f64 y x) y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 y x)) (*.f64 y z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y z) (*.f64 y (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 y (fma.f64 y x z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)) y) (+.f64 (pow.f64 (*.f64 y x) 2) (*.f64 z (-.f64 z (*.f64 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 (*.f64 y x) 2) (*.f64 z z)) y) (-.f64 (*.f64 y x) z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3))) (+.f64 (pow.f64 (*.f64 y x) 2) (*.f64 z (-.f64 z (*.f64 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (-.f64 (pow.f64 (*.f64 y x) 2) (*.f64 z z))) (-.f64 (*.f64 y x) z))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (fma.f64 y x z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 y (fma.f64 y x z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 y (fma.f64 y x z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 y (fma.f64 y x z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 y (fma.f64 y x z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (fma.f64 y x z)) y))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 y (fma.f64 y x z)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 y 3) (pow.f64 (fma.f64 y x z) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (fma.f64 y x z) 3) (pow.f64 y 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 y (fma.f64 y x z))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 y (fma.f64 y x z))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 y (fma.f64 y x z))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (fma.f64 y x z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (*.f64 y x) 2) (-.f64 (*.f64 y x) z)) (/.f64 (*.f64 z z) (-.f64 (*.f64 y x) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 y x z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 y x z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 y x z)) (pow.f64 (cbrt.f64 (fma.f64 y x z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 y x z)) 2) (cbrt.f64 (fma.f64 y x z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 y x z)) (sqrt.f64 (fma.f64 y x z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)) (/.f64 1 (+.f64 (pow.f64 (*.f64 y x) 2) (*.f64 z (-.f64 z (*.f64 y x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (*.f64 y x) 2) (*.f64 z z)) (/.f64 1 (-.f64 (*.f64 y x) z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (*.f64 y x) 2) (*.f64 z (-.f64 z (*.f64 y x)))) (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (*.f64 y x) z) (-.f64 (pow.f64 (*.f64 y x) 2) (*.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)) (+.f64 (pow.f64 (*.f64 y x) 2) (*.f64 z (-.f64 z (*.f64 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)) (+.f64 (*.f64 z z) (-.f64 (pow.f64 (*.f64 y x) 2) (*.f64 y (*.f64 x z)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 y x) 2) (*.f64 z z)) (-.f64 (*.f64 y x) z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3))) (neg.f64 (+.f64 (pow.f64 (*.f64 y x) 2) (*.f64 z (-.f64 z (*.f64 y x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 y x) 2) (*.f64 z z))) (neg.f64 (-.f64 (*.f64 y x) z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 z z) (pow.f64 (*.f64 y x) 2)) (-.f64 z (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 y x z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 y x z) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 y x z)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 y x z)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 y x z) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 y x z)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 y x z) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 y x z)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 y x z)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 y x z)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y x z)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x y z)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 y x) z)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 z (*.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 z) 2) (cbrt.f64 z) (*.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 y x)) 2) (cbrt.f64 (*.f64 y x)) z)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 z) (sqrt.f64 z) (*.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 y x)) (sqrt.f64 (*.f64 y x)) z)))))

simplify233.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

778×	`sqr-pow_binary64`
561×	`cube-prod_binary64`
556×	`fabs-mul_binary64`
536×	`associate-l_binary64`
434×	`unswap-sqr_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	372
1	20	372
2	32	345
3	61	291
4	158	291
5	471	291
6	1726	291
7	2978	291
8	3182	291
9	3395	291
10	3615	291
11	3924	291
12	4324	291
13	4835	291
14	5403	291
15	6091	291
16	6926	291
17	7320	291
18	7610	291
19	7886	291
20	7960	291
21	7996	291

Stop Event

1×	node limit

Counts

101 → 63

Calls

Call 1

Inputs
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 (pow.f64 y 2) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
z
(*.f64 y x)
(*.f64 y x)
z
(*.f64 y x)
(*.f64 y x)
(*.f64 y x)
z
z

Outputs
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(*.f64 y z)
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
(fma.f64 y z (.f64 (.f64 y y) x))
(.f64 y (+.f64 z (.f64 y x)))
(*.f64 y (fma.f64 y x z))
z
(*.f64 y x)
(*.f64 y x)
z
(*.f64 y x)
(*.f64 y x)
(*.f64 y x)
z
z

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	10.1b	(.f64 (.f64 y y) x)

Compiler

Compiled 22 to 7 computations (68.2% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(.f64 (.f64 y y) x)
0.0ms	y	@	inf	(.f64 (.f64 y y) x)
0.0ms	y	@	-inf	(.f64 (.f64 y y) x)
0.0ms	x	@	-inf	(.f64 (.f64 y y) x)
0.0ms	x	@	inf	(.f64 (.f64 y y) x)

rewrite66.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

457×	`pow1_binary64`
434×	`add-sqr-sqrt_binary64`
428×	`*-un-lft-identity_binary64`
420×	`add-log-exp_binary64`
420×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	100	7
2	1205	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 (.f64 y y) x)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 y (*.f64 y x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (*.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 y (*.f64 y x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (sqrt.f64 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 y 4) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (*.f64 y y)) x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 y (*.f64 y x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 y (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 y (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 y (*.f64 y x))))))))

simplify181.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
551×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
445×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	12	168
2	23	168
3	44	168
4	105	168
5	332	168
6	1258	168
7	2133	168
8	2297	168
9	2481	168
10	2689	168
11	2985	168
12	3378	168
13	3859	168
14	4425	168
15	5113	168
16	5948	168
17	6336	168
18	6624	168
19	6900	168
20	6970	168
21	7006	168
22	7947	168

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

Inputs
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)

Outputs
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))

localize15.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (pow.f64 (sqrt.f64 (.f64 y x)) 2) y)
✓	0.2b	(pow.f64 (sqrt.f64 (*.f64 y x)) 2)
✓	11.1b	(sqrt.f64 (*.f64 y x))

Compiler

Compiled 39 to 16 computations (59% saved)

series23.0ms (0.3%)

Counts

3 → 24

Calls

18 calls:

Time	Variable		Point	Expression
4.0ms	y	@	inf	(sqrt.f64 (*.f64 y x))
3.0ms	y	@	-inf	(pow.f64 (sqrt.f64 (*.f64 y x)) 2)
3.0ms	x	@	-inf	(.f64 (pow.f64 (sqrt.f64 (.f64 y x)) 2) y)
2.0ms	x	@	-inf	(sqrt.f64 (*.f64 y x))
1.0ms	y	@	-inf	(.f64 (pow.f64 (sqrt.f64 (.f64 y x)) 2) y)

rewrite105.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

616×	`pow1_binary64`
568×	`add-log-exp_binary64`
568×	`log1p-expm1-u_binary64`
568×	`expm1-log1p-u_binary64`
554×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	165	17
2	1623	17

Stop Event

1×	node limit

Counts

3 → 61

Calls

Call 1

Inputs
(sqrt.f64 (*.f64 y x))
(pow.f64 (sqrt.f64 (*.f64 y x)) 2)
(.f64 (pow.f64 (sqrt.f64 (.f64 y x)) 2) y)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (sqrt.f64 (*.f64 y x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sqrt.f64 (*.f64 y x))) (cbrt.f64 (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 y x)) (cbrt.f64 (sqrt.f64 (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 y x) 1/4) (pow.f64 (*.f64 y x) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 y) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (sqrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 y x)) 2)) (sqrt.f64 (cbrt.f64 (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/2) (sqrt.f64 (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 y x)) 2) 1/2) (pow.f64 (cbrt.f64 (*.f64 y x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y x) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 y x) 3/2) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sqrt.f64 (*.f64 y x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 y x) 1/4) 2)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (sqrt.f64 (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sqrt.f64 (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 y x) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sqrt.f64 (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sqrt.f64 (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sqrt.f64 (*.f64 y x))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 y x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x y)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 y x)) (sqrt.f64 (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 y x)) (pow.f64 (cbrt.f64 (*.f64 y x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 y x)) (*.f64 (cbrt.f64 (sqrt.f64 (*.f64 y x))) (sqrt.f64 (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 y x)) 2) (cbrt.f64 (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 y (*.f64 y x))) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 y x) 1/4) (*.f64 (pow.f64 (*.f64 y x) 1/4) (sqrt.f64 (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 x) (sqrt.f64 (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (*.f64 y x)) (pow.f64 (*.f64 y x) 1/4)) (pow.f64 (*.f64 y x) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (sqrt.f64 y)) (sqrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (*.f64 y x)) (cbrt.f64 (*.f64 y x))) (cbrt.f64 (sqrt.f64 (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 y x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 y) x))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 y x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 y x)))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 y (*.f64 y x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 y (*.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 y (*.f64 y x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 y (*.f64 y x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 y (*.f64 y x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 y (*.f64 y x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 y) (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 y (*.f64 y x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 y (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 y (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 y (*.f64 y x))))))))

simplify85.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

1282×	`fma-def_binary64`
358×	`fma-neg_binary64`
347×	`distribute-rgt-neg-in_binary64`
321×	`neg-sub0_binary64`
311×	`distribute-lft-neg-out_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	168
1	27	168
2	84	168
3	275	168
4	1373	168
5	3438	168
6	5133	168
7	6563	168
8	7082	168

Stop Event

1×	node limit

Counts

85 → 64

Calls

Call 1

Inputs
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))

Outputs
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))

eval34.0ms (0.5%)

Compiler: Compiled 1742 to 676 computations (61.2% saved)

prune30.0ms (0.4%)

Pruning

10 alts after pruning (3 fresh and 7 done)

	Pruned	Kept	Total
New	151	2	153
Fresh	0	1	1
Picked	0	1	1
Done	1	6	7
Total	152	10	162

Error

Counts

162 → 10

Alt Table

Click to see full alt table

Status	Error	Program
▶	33.9b	(+.f64 (.f64 (.f64 y x) y) (*.f64 z y))
✓	37.2b	(+.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 y x)) 2) y) t)
✓	50.2b	(.f64 y (.f64 y x))
	29.3b	t
▶	53.4b	(.f64 (.f64 y y) x)
✓	33.9b	(.f64 (+.f64 (.f64 y x) z) y)
✓	46.2b	(*.f64 y z)
✓	16.9b	(+.f64 (.f64 (.f64 y x) y) t)
✓	12.9b	(+.f64 (*.f64 z y) t)
✓	20.4b	(+.f64 (.f64 (.f64 y y) x) t)

Compiler

Compiled 99 to 66 computations (33.3% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
	10.1b	(.f64 (.f64 y y) x)

Compiler

Compiled 14 to 6 computations (57.1% saved)

localize11.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.1b	(.f64 (.f64 y x) y)

Compiler

Compiled 27 to 8 computations (70.4% saved)

eval5.0ms (0.1%)

Compiler: Compiled 244 to 85 computations (65.2% saved)

prune16.0ms (0.2%)

Pruning

10 alts after pruning (1 fresh and 9 done)

	Pruned	Kept	Total
New	26	0	26
Fresh	0	1	1
Picked	0	1	1
Done	0	8	8
Total	26	10	36

Error

Counts

36 → 10

Alt Table

Click to see full alt table

Status	Error	Program
✓	33.9b	(+.f64 (.f64 (.f64 y x) y) (*.f64 z y))
✓	37.2b	(+.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 y x)) 2) y) t)
✓	50.2b	(.f64 y (.f64 y x))
	29.3b	t
✓	53.4b	(.f64 (.f64 y y) x)
✓	33.9b	(.f64 (+.f64 (.f64 y x) z) y)
✓	46.2b	(*.f64 y z)
✓	16.9b	(+.f64 (.f64 (.f64 y x) y) t)
✓	12.9b	(+.f64 (*.f64 z y) t)
✓	20.4b	(+.f64 (.f64 (.f64 y y) x) t)

Compiler

Compiled 99 to 66 computations (33.3% saved)

regimes116.0ms (1.5%)

Counts

14 → 1

Calls

Call 1

Inputs
t
(*.f64 y z)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(+.f64 (*.f64 z y) t)
(.f64 (+.f64 (.f64 y x) z) y)
(+.f64 (.f64 (.f64 y x) y) t)
(+.f64 (.f64 (.f64 y y) x) t)
(+.f64 (.f64 (.f64 y x) y) (*.f64 z y))
(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
(+.f64 (+.f64 (.f64 (.f64 x y) y) (*.f64 z y)) t)
(fma.f64 y (fma.f64 x y z) t)
(+.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 y x)) 2) y) t)
(+.f64 (*.f64 (pow.f64 (sqrt.f64 (fma.f64 x y z)) 2) y) t)

Outputs
(+.f64 (+.f64 (.f64 (.f64 x y) y) (*.f64 z y)) t)

Calls

7 calls:

18.0ms	t
16.0ms	z
16.0ms	y
16.0ms	x
16.0ms	(.f64 (+.f64 (.f64 x y) z) y)

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`z`
0.0b	1	`t`
0.0b	1	`(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)`
0.0b	1	`(.f64 (+.f64 (.f64 x y) z) y)`
0.0b	1	`(.f64 (+.f64 (.f64 x y) z) y)`

Compiler

Compiled 156 to 74 computations (52.6% saved)

regimes89.0ms (1.2%)

Counts

10 → 1

Calls

Call 1

Inputs
t
(*.f64 y z)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(+.f64 (*.f64 z y) t)
(.f64 (+.f64 (.f64 y x) z) y)
(+.f64 (.f64 (.f64 y x) y) t)
(+.f64 (.f64 (.f64 y y) x) t)
(+.f64 (.f64 (.f64 y x) y) (*.f64 z y))
(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)

Outputs
(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)

Calls

6 calls:

14.0ms	x
13.0ms	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
13.0ms	z
13.0ms	t
12.0ms	y

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`z`
0.0b	1	`t`
0.0b	1	`(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)`
0.0b	1	`(.f64 (+.f64 (.f64 x y) z) y)`

Compiler

Compiled 106 to 52 computations (50.9% saved)

regimes242.0ms (3.2%)

Counts

9 → 3

Calls

Call 1

Inputs
t
(*.f64 y z)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(+.f64 (*.f64 z y) t)
(.f64 (+.f64 (.f64 y x) z) y)
(+.f64 (.f64 (.f64 y x) y) t)
(+.f64 (.f64 (.f64 y y) x) t)
(+.f64 (.f64 (.f64 y x) y) (*.f64 z y))

Outputs
(+.f64 (*.f64 z y) t)
(+.f64 (.f64 (.f64 y x) y) t)
(+.f64 (*.f64 z y) t)

Calls

4 calls:

80.0ms	z
73.0ms	x
53.0ms	t
32.0ms	y

Results

Error	Segments	Branch
9.0b	5	`x`
7.5b	3	`y`
5.0b	3	`z`
8.3b	5	`t`

Compiler

Compiled 73 to 33 computations (54.8% saved)

bsearch75.0ms (1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
42.0ms	2.797961030596841e+41	7.308845516439637e+43
33.0ms	-1849051290919909600.0	-1656028318963966.0

Compiler

Compiled 20 to 14 computations (30% saved)

regimes200.0ms (2.7%)

Counts

6 → 3

Calls

Call 1

Inputs
t
(*.f64 y z)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(+.f64 (*.f64 z y) t)
(.f64 (+.f64 (.f64 y x) z) y)

Outputs
(.f64 (+.f64 (.f64 y x) z) y)
(+.f64 (*.f64 z y) t)
(.f64 (+.f64 (.f64 y x) z) y)

Calls

4 calls:

63.0ms	y
28.0ms	t
28.0ms	z
12.0ms	x

Results

Error	Segments	Branch
12.9b	1	`x`
7.6b	3	`y`
11.7b	3	`z`
10.2b	3	`t`

Compiler

Compiled 50 to 29 computations (42% saved)

bsearch227.0ms (3%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
79.0ms	9.144752934837097e-13	8.391294968023866e-7
148.0ms	-1.95589569390443e+87	-1.3909672735577008e+75

Compiler

Compiled 240 to 164 computations (31.7% saved)

regimes110.0ms (1.5%)

Counts

5 → 4

Calls

Call 1

Inputs
t
(*.f64 y z)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(+.f64 (*.f64 z y) t)

Outputs
(+.f64 (*.f64 z y) t)
(.f64 y (.f64 y x))
(+.f64 (*.f64 z y) t)
(.f64 y (.f64 y x))

Calls

4 calls:

42.0ms	y
42.0ms	z
14.0ms	x
9.0ms	t

Results

Error	Segments	Branch
11.5b	3	`x`
10.3b	4	`y`
11.8b	3	`z`
12.9b	1	`t`

Compiler

Compiled 43 to 27 computations (37.2% saved)

bsearch276.0ms (3.7%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
112.0ms	4.941952993790199e+48	1.540665105195884e+54
144.0ms	1.9211979732639173e+26	2.838885227454513e+27
20.0ms	1024955.113786615	525334052.83295196

Compiler

Compiled 320 to 224 computations (30% saved)

regimes68.0ms (0.9%)

Counts

4 → 7

Calls

Call 1

Inputs
t
(*.f64 y z)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))

Outputs
t
(*.f64 y z)
(.f64 y (.f64 y x))
(*.f64 y z)
(.f64 y (.f64 y x))
(*.f64 y z)
t

Calls

4 calls:

28.0ms	t
23.0ms	z
12.0ms	y
4.0ms	x

Results

Error	Segments	Branch
29.3b	1	`x`
24.1b	3	`y`
24.1b	5	`z`
20.2b	7	`t`

Compiler

Compiled 38 to 25 computations (34.2% saved)

bsearch158.0ms (2.1%)

Algorithm

6×	binary-search

Steps

Time	Left	Right
41.0ms	1.6949710219950935e-46	4.7226231465980267e-42
25.0ms	6.309788258062418e-67	2.705348011372824e-63
24.0ms	2.7229447038234774e-114	1.2139419646672136e-107
20.0ms	1.9282024663912063e-165	1.5223353852025487e-150
23.0ms	2.0461205227154176e-229	8.319199590910977e-222
24.0ms	-3.257442775400132e-79	-1.75006976417969e-82

Compiler

Compiled 20 to 14 computations (30% saved)

regimes131.0ms (1.7%)

Counts

3 → 5

Calls

Call 1

Inputs
t
(*.f64 y z)
(.f64 (.f64 y y) x)

Outputs
t
(*.f64 y z)
(.f64 (.f64 y y) x)
(*.f64 y z)
t

Calls

4 calls:

45.0ms	z
44.0ms	t
29.0ms	y
10.0ms	x

Results

Error	Segments	Branch
29.3b	1	`x`
24.6b	4	`y`
24.1b	5	`z`
21.4b	5	`t`

Compiler

Compiled 33 to 23 computations (30.3% saved)

bsearch164.0ms (2.2%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
42.0ms	1.936231027305437e-95	1.7604514983774282e-94
39.0ms	1.9282024663912063e-165	1.5223353852025487e-150
41.0ms	2.0461205227154176e-229	8.319199590910977e-222
42.0ms	-3.257442775400132e-79	-1.75006976417969e-82

Compiler

Compiled 20 to 14 computations (30% saved)

regimes61.0ms (0.8%)

Accuracy

Total -39.6b remaining (-174.9%)

Threshold costs -39.6b (-174.9%)

Counts

2 → 3

Calls

Call 1

Inputs
t
(*.f64 y z)

Outputs
t
(*.f64 y z)
t

Calls

4 calls:

27.0ms	t
15.0ms	z
13.0ms	y
3.0ms	x

Results

Error	Segments	Branch
29.3b	1	`x`
26.5b	3	`y`
25.3b	3	`z`
22.6b	3	`t`

Compiler

Compiled 28 to 21 computations (25% saved)

bsearch82.0ms (1.1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
40.0ms	1.936231027305437e-95	1.7604514983774282e-94
41.0ms	-3.257442775400132e-79	-1.75006976417969e-82

Compiler

Compiled 20 to 14 computations (30% saved)

simplify23.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64`
6×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	70	274
1	86	274

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 (+.f64 (.f64 (.f64 x y) y) (*.f64 z y)) t)
(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
(if (<=.f64 z -1849051290919909632) (+.f64 (.f64 z y) t) (if (<=.f64 z 279796103059684096762681213058982610993152) (+.f64 (.f64 (.f64 y x) y) t) (+.f64 (.f64 z y) t)))
(if (<=.f64 y -1950000000000000097547319167721640284739142449106331890104380756684968461914981259018240) (.f64 (+.f64 (.f64 y x) z) y) (if (<=.f64 y 4528262322962933/4951760157141521099596496896) (+.f64 (.f64 z y) t) (.f64 (+.f64 (*.f64 y x) z) y)))
(if (<=.f64 y 2201074346790735/2147483648) (+.f64 (.f64 z y) t) (if (<=.f64 y 200000000000000009529458688) (.f64 y (.f64 y x)) (if (<=.f64 y 1519999999999999989695841985029674524221796831754977280) (+.f64 (.f64 z y) t) (.f64 y (.f64 y x)))))
(if (<=.f64 t -5435824639460087/16687398718132110018711107079449625895333629080911349765211262561111091607661254297054391304192) t (if (<=.f64 t 1397100664512315/6828046779268970776657768233698567984276232522051489956245767999246374131525255241237946573692471593720760228447675638216590132893818229842292076597586769967201441361422350907866192164773697561322460176523147880429251325990375896362151810433024) (.f64 y z) (if (<=.f64 t 500069134640315/259344723055062059907025491480697571938277889515152306249728583105665800713306759149981690559193987143012367913206299323899696942213235956742929677132122730441323862712594345230336) (.f64 y (.f64 y x)) (if (<=.f64 t 3774913129529067/1386334847060407429789207092071541851718218537687908287585239790307310653902812811519987203052069789048695605480701785914487078912) (.f64 y z) (if (<=.f64 t 1197053648971585/1897137590064188545819787018382342682267975428761855001222473056385648716020711424) (.f64 y (.f64 y x)) (if (<=.f64 t 1089485367664183/6427752177035961102167848369364650410088811975131171341205504) (*.f64 y z) t))))))
(if (<=.f64 t -5435824639460087/16687398718132110018711107079449625895333629080911349765211262561111091607661254297054391304192) t (if (<=.f64 t 1397100664512315/6828046779268970776657768233698567984276232522051489956245767999246374131525255241237946573692471593720760228447675638216590132893818229842292076597586769967201441361422350907866192164773697561322460176523147880429251325990375896362151810433024) (.f64 y z) (if (<=.f64 t 500069134640315/259344723055062059907025491480697571938277889515152306249728583105665800713306759149981690559193987143012367913206299323899696942213235956742929677132122730441323862712594345230336) (.f64 (.f64 y y) x) (if (<=.f64 t 727571362834359/37576681324381331646231689548629392438010920782533117931316655544515344401833735095419183974156299248510959616) (.f64 y z) t))))
(if (<=.f64 t -5435824639460087/16687398718132110018711107079449625895333629080911349765211262561111091607661254297054391304192) t (if (<=.f64 t 727571362834359/37576681324381331646231689548629392438010920782533117931316655544515344401833735095419183974156299248510959616) (*.f64 y z) t))
t

Outputs
(+.f64 (+.f64 (.f64 (.f64 x y) y) (*.f64 z y)) t)
(+.f64 (+.f64 (.f64 y (.f64 x y)) (*.f64 y z)) t)
(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
(+.f64 t (.f64 y (+.f64 z (.f64 x y))))
(if (<=.f64 z -1849051290919909632) (+.f64 (.f64 z y) t) (if (<=.f64 z 279796103059684096762681213058982610993152) (+.f64 (.f64 (.f64 y x) y) t) (+.f64 (.f64 z y) t)))
(if (<=.f64 z -1849051290919909632) (+.f64 t (.f64 y z)) (if (<=.f64 z 279796103059684096762681213058982610993152) (+.f64 t (.f64 y (.f64 x y))) (+.f64 t (.f64 y z))))
(if (<=.f64 y -1950000000000000097547319167721640284739142449106331890104380756684968461914981259018240) (.f64 (+.f64 (.f64 y x) z) y) (if (<=.f64 y 4528262322962933/4951760157141521099596496896) (+.f64 (.f64 z y) t) (.f64 (+.f64 (*.f64 y x) z) y)))
(if (<=.f64 y -1950000000000000097547319167721640284739142449106331890104380756684968461914981259018240) (.f64 y (+.f64 z (.f64 x y))) (if (<=.f64 y 4528262322962933/4951760157141521099596496896) (+.f64 t (.f64 y z)) (.f64 y (+.f64 z (*.f64 x y)))))
(if (<=.f64 y 2201074346790735/2147483648) (+.f64 (.f64 z y) t) (if (<=.f64 y 200000000000000009529458688) (.f64 y (.f64 y x)) (if (<=.f64 y 1519999999999999989695841985029674524221796831754977280) (+.f64 (.f64 z y) t) (.f64 y (.f64 y x)))))
(if (<=.f64 y 2201074346790735/2147483648) (+.f64 t (.f64 y z)) (if (<=.f64 y 200000000000000009529458688) (.f64 y (.f64 x y)) (if (<=.f64 y 1519999999999999989695841985029674524221796831754977280) (+.f64 t (.f64 y z)) (.f64 y (.f64 x y)))))
(if (<=.f64 t -5435824639460087/16687398718132110018711107079449625895333629080911349765211262561111091607661254297054391304192) t (if (<=.f64 t 1397100664512315/6828046779268970776657768233698567984276232522051489956245767999246374131525255241237946573692471593720760228447675638216590132893818229842292076597586769967201441361422350907866192164773697561322460176523147880429251325990375896362151810433024) (.f64 y z) (if (<=.f64 t 500069134640315/259344723055062059907025491480697571938277889515152306249728583105665800713306759149981690559193987143012367913206299323899696942213235956742929677132122730441323862712594345230336) (.f64 y (.f64 y x)) (if (<=.f64 t 3774913129529067/1386334847060407429789207092071541851718218537687908287585239790307310653902812811519987203052069789048695605480701785914487078912) (.f64 y z) (if (<=.f64 t 1197053648971585/1897137590064188545819787018382342682267975428761855001222473056385648716020711424) (.f64 y (.f64 y x)) (if (<=.f64 t 1089485367664183/6427752177035961102167848369364650410088811975131171341205504) (*.f64 y z) t))))))
(if (<=.f64 t -5435824639460087/16687398718132110018711107079449625895333629080911349765211262561111091607661254297054391304192) t (if (<=.f64 t 1397100664512315/6828046779268970776657768233698567984276232522051489956245767999246374131525255241237946573692471593720760228447675638216590132893818229842292076597586769967201441361422350907866192164773697561322460176523147880429251325990375896362151810433024) (.f64 y z) (if (<=.f64 t 500069134640315/259344723055062059907025491480697571938277889515152306249728583105665800713306759149981690559193987143012367913206299323899696942213235956742929677132122730441323862712594345230336) (.f64 y (.f64 x y)) (if (<=.f64 t 3774913129529067/1386334847060407429789207092071541851718218537687908287585239790307310653902812811519987203052069789048695605480701785914487078912) (.f64 y z) (if (<=.f64 t 1197053648971585/1897137590064188545819787018382342682267975428761855001222473056385648716020711424) (.f64 y (.f64 x y)) (if (<=.f64 t 1089485367664183/6427752177035961102167848369364650410088811975131171341205504) (*.f64 y z) t))))))
(if (<=.f64 t -5435824639460087/16687398718132110018711107079449625895333629080911349765211262561111091607661254297054391304192) t (if (<=.f64 t 1397100664512315/6828046779268970776657768233698567984276232522051489956245767999246374131525255241237946573692471593720760228447675638216590132893818229842292076597586769967201441361422350907866192164773697561322460176523147880429251325990375896362151810433024) (.f64 y z) (if (<=.f64 t 500069134640315/259344723055062059907025491480697571938277889515152306249728583105665800713306759149981690559193987143012367913206299323899696942213235956742929677132122730441323862712594345230336) (.f64 (.f64 y y) x) (if (<=.f64 t 727571362834359/37576681324381331646231689548629392438010920782533117931316655544515344401833735095419183974156299248510959616) (.f64 y z) t))))
(if (<=.f64 t -5435824639460087/16687398718132110018711107079449625895333629080911349765211262561111091607661254297054391304192) t (if (<=.f64 t 1397100664512315/6828046779268970776657768233698567984276232522051489956245767999246374131525255241237946573692471593720760228447675638216590132893818229842292076597586769967201441361422350907866192164773697561322460176523147880429251325990375896362151810433024) (.f64 y z) (if (<=.f64 t 500069134640315/259344723055062059907025491480697571938277889515152306249728583105665800713306759149981690559193987143012367913206299323899696942213235956742929677132122730441323862712594345230336) (.f64 x (.f64 y y)) (if (<=.f64 t 727571362834359/37576681324381331646231689548629392438010920782533117931316655544515344401833735095419183974156299248510959616) (.f64 y z) t))))
(if (<=.f64 t -5435824639460087/16687398718132110018711107079449625895333629080911349765211262561111091607661254297054391304192) t (if (<=.f64 t 727571362834359/37576681324381331646231689548629392438010920782533117931316655544515344401833735095419183974156299248510959616) (*.f64 y z) t))
t

Compiler

Compiled 228 to 123 computations (46.1% saved)

soundness0.0ms (0%)

end149.0ms (2%)

Compiler: Compiled 196 to 73 computations (62.8% saved)

Details

analyze831.0ms (11%)

sample2.0s (26.4%)

preprocess22.0ms (0.3%)

simplify7.0ms (0.1%)

eval1.0ms (0%)

prune1.0ms (0%)

localize10.0ms (0.1%)

series8.0ms (0.1%)

rewrite55.0ms (0.7%)

simplify213.0ms (2.8%)

localize8.0ms (0.1%)

series6.0ms (0.1%)

rewrite53.0ms (0.7%)

simplify166.0ms (2.2%)

eval19.0ms (0.3%)

prune25.0ms (0.3%)

localize12.0ms (0.2%)

series3.0ms (0%)

rewrite46.0ms (0.6%)

simplify179.0ms (2.4%)

localize4.0ms (0.1%)

localize6.0ms (0.1%)

localize9.0ms (0.1%)

series2.0ms (0%)

rewrite57.0ms (0.8%)

simplify184.0ms (2.4%)

localize16.0ms (0.2%)

series23.0ms (0.3%)

rewrite61.0ms (0.8%)

simplify60.0ms (0.8%)

eval33.0ms (0.4%)

prune58.0ms (0.8%)

localize6.0ms (0.1%)

series2.0ms (0%)

rewrite112.0ms (1.5%)

simplify182.0ms (2.4%)

localize8.0ms (0.1%)

series5.0ms (0.1%)

rewrite70.0ms (0.9%)

simplify233.0ms (3.1%)

localize8.0ms (0.1%)

series2.0ms (0%)

rewrite66.0ms (0.9%)

simplify181.0ms (2.4%)

localize15.0ms (0.2%)

series23.0ms (0.3%)

rewrite105.0ms (1.4%)

simplify85.0ms (1.1%)

eval34.0ms (0.5%)

prune30.0ms (0.4%)

localize6.0ms (0.1%)

localize11.0ms (0.1%)

eval5.0ms (0.1%)

prune16.0ms (0.2%)

regimes116.0ms (1.5%)

regimes89.0ms (1.2%)

regimes242.0ms (3.2%)

bsearch75.0ms (1%)

regimes200.0ms (2.7%)

bsearch227.0ms (3%)

regimes110.0ms (1.5%)

bsearch276.0ms (3.7%)

regimes68.0ms (0.9%)

bsearch158.0ms (2.1%)

regimes131.0ms (1.7%)

bsearch164.0ms (2.2%)

regimes61.0ms (0.8%)

bsearch82.0ms (1.1%)

simplify23.0ms (0.3%)

soundness0.0ms (0%)

end149.0ms (2%)

Profiling