Details

analyze389.0ms (11.6%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
0%	0%	99.8%	0.2%	0%	0%	0%	5
0%	0%	99.8%	0.2%	0%	0%	0%	6
0%	0%	99.8%	0.2%	0%	0%	0%	7
0%	0%	99.8%	0.2%	0%	0%	0%	8
6.3%	6.2%	93.6%	0.2%	0%	0%	0%	9
9.4%	9.4%	90.4%	0.2%	0%	0%	0%	10
14.1%	14%	85.8%	0.2%	0%	0%	0%	11
21.1%	21.1%	78.8%	0.2%	0%	0%	0%	12

Compiler

Compiled 18 to 14 computations (22.2% saved)

sample1.2s (37.3%)

Results

1.1s	8255×	body	256	valid
153.0ms	1160×	body	256	infinite
0.0ms	1×	body	1024	valid

Bogosity

preprocess192.0ms (5.7%)

Algorithm

2×	egg-herbie

Rules

1709×	`fma-neg_binary64`
492×	`fma-def_binary64`
250×	`cancel-sign-sub-inv_binary64`
248×	`unsub-neg_binary64`
239×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	112
1	101	112
2	218	105
3	474	98
4	1168	84
5	2538	84
6	4531	84
7	4826	84
8	4874	84
9	4874	84
10	5862	84
11	5862	84
12	5862	84
0	4	4
1	4	4

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2
3

Outputs
0
1
2
1
3

Call 2

Inputs
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) y) (/.f64 (.f64 x z) 2)) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) z) (/.f64 (.f64 y x) 2)) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) t) (/.f64 (.f64 y z) 2)) x)
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 z y) 2)) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 t z) 2)) y)
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y t) 2)) z)

Outputs
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
(-.f64 (+.f64 t (.f64 1/8 x)) (/.f64 (.f64 y z) 2))
(fma.f64 1/8 x (fma.f64 -1 (*.f64 y (/.f64 z 2)) t))
(-.f64 (fma.f64 1/8 x t) (*.f64 y (/.f64 z 2)))
(fma.f64 1/8 x (fma.f64 y (*.f64 -1/2 z) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(+.f64 (-.f64 (.f64 (/.f64 1 8) y) (/.f64 (.f64 x z) 2)) t)
(+.f64 t (-.f64 (*.f64 1/8 y) (/.f64 x (/.f64 2 z))))
(+.f64 t (-.f64 (.f64 1/8 y) (.f64 (/.f64 x 2) z)))
(fma.f64 1/8 y (fma.f64 -1 (*.f64 z (/.f64 x 2)) t))
(-.f64 (fma.f64 1/8 y t) (*.f64 x (/.f64 z 2)))
(fma.f64 1/8 y (fma.f64 z (*.f64 -1/2 x) t))
(fma.f64 1/8 y (fma.f64 x (*.f64 z -1/2) t))
(+.f64 (-.f64 (.f64 (/.f64 1 8) z) (/.f64 (.f64 y x) 2)) t)
(+.f64 t (-.f64 (*.f64 1/8 z) (/.f64 y (/.f64 2 x))))
(+.f64 t (-.f64 (.f64 1/8 z) (.f64 (/.f64 y 2) x)))
(fma.f64 1/8 z (fma.f64 -1 (*.f64 x (/.f64 y 2)) t))
(-.f64 (fma.f64 1/8 z t) (*.f64 x (/.f64 y 2)))
(fma.f64 1/8 z (fma.f64 x (*.f64 -1/2 y) t))
(fma.f64 1/8 z (fma.f64 x (*.f64 y -1/2) t))
(+.f64 (-.f64 (.f64 (/.f64 1 8) t) (/.f64 (.f64 y z) 2)) x)
(+.f64 x (-.f64 (.f64 1/8 t) (/.f64 (.f64 y z) 2)))
(fma.f64 1/8 t (fma.f64 -1 (*.f64 y (/.f64 z 2)) x))
(fma.f64 1/8 t (fma.f64 (/.f64 (neg.f64 y) 2) z x))
(fma.f64 1/8 t (fma.f64 z (*.f64 -1/2 y) x))
(fma.f64 1/8 t (fma.f64 z (*.f64 y -1/2) x))
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 z y) 2)) t)
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
(-.f64 (+.f64 t (.f64 1/8 x)) (/.f64 (.f64 y z) 2))
(fma.f64 1/8 x (fma.f64 -1 (*.f64 y (/.f64 z 2)) t))
(-.f64 (fma.f64 1/8 x t) (*.f64 y (/.f64 z 2)))
(fma.f64 1/8 x (fma.f64 y (*.f64 -1/2 z) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 t z) 2)) y)
(+.f64 y (-.f64 (*.f64 1/8 x) (/.f64 t (/.f64 2 z))))
(+.f64 y (-.f64 (.f64 1/8 x) (.f64 (/.f64 t 2) z)))
(fma.f64 1/8 x (fma.f64 -1 (*.f64 z (/.f64 t 2)) y))
(-.f64 (fma.f64 1/8 x y) (*.f64 z (/.f64 t 2)))
(fma.f64 1/8 x (fma.f64 (*.f64 -1/2 z) t y))
(fma.f64 1/8 x (fma.f64 t (*.f64 z -1/2) y))
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y t) 2)) z)
(+.f64 z (-.f64 (.f64 1/8 x) (/.f64 (.f64 y t) 2)))
(+.f64 z (-.f64 (*.f64 1/8 x) (/.f64 t (/.f64 2 y))))
(fma.f64 1/8 x (fma.f64 -1 (*.f64 t (/.f64 y 2)) z))
(-.f64 (fma.f64 1/8 x z) (*.f64 y (/.f64 t 2)))
(fma.f64 1/8 x (fma.f64 t (*.f64 -1/2 y) z))
(fma.f64 1/8 x (fma.f64 y (*.f64 t -1/2) z))

Symmetry

(sort y z)

Compiler

Compiled 21 to 17 computations (19% saved)

simplify35.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

382×	`fma-def_binary64`
318×	`fma-neg_binary64`
114×	`cancel-sign-sub-inv_binary64`
53×	`unsub-neg_binary64`
51×	`sub-neg_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	15	16
1	27	16
2	51	15
3	103	14
4	236	12
5	456	12
6	731	12
7	1061	12
8	1535	12
9	1633	12

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)

Outputs
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (fma.f64 1/8 x (neg.f64 (/.f64 y (/.f64 2 z)))) t)
(+.f64 (fma.f64 1/8 x (/.f64 (neg.f64 y) (/.f64 2 z))) t)
(fma.f64 1/8 x (fma.f64 -1 (*.f64 z (/.f64 y 2)) t))
(-.f64 (fma.f64 1/8 x t) (/.f64 (*.f64 y z) 2))
(fma.f64 z (*.f64 -1/2 y) (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 -1/2 (*.f64 y z) t))
(fma.f64 1/8 x (fma.f64 (*.f64 y z) -1/2 t))

eval1.0ms (0%)

Compiler: Compiled 26 to 17 computations (34.6% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)

Compiler

Compiled 17 to 13 computations (23.5% saved)

localize19.0ms (0.6%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)
✓	0.0b	(/.f64 (*.f64 y z) 2)

Compiler

Compiled 51 to 32 computations (37.3% saved)

series11.0ms (0.3%)

Counts

2 → 72

Calls

18 calls:

Time	Variable		Point	Expression
1.0ms	y	@	0	(/.f64 (*.f64 y z) 2)
1.0ms	x	@	inf	(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)
1.0ms	z	@	0	(/.f64 (*.f64 y z) 2)
1.0ms	y	@	inf	(/.f64 (*.f64 y z) 2)
1.0ms	z	@	inf	(/.f64 (*.f64 y z) 2)

rewrite83.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

653×	`log-prod_binary64`
573×	`fma-def_binary64`
321×	`fma-neg_binary64`
261×	`pow1/3_binary64`
258×	`expm1-udef_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	23
1	304	21
2	3992	19

Stop Event

1×	node limit

Counts

2 → 112

Calls

Call 1

Inputs
(/.f64 (*.f64 y z) 2)
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)

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

Outputs

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

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

simplify74.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

635×	`fma-def_binary64`
296×	`fma-neg_binary64`
140×	`cancel-sign-sub-inv_binary64`
53×	`distribute-rgt-neg-in_binary64`
50×	`sub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	17	671
1	40	669
2	87	667
3	179	667
4	281	667
5	386	667
6	634	667
7	871	667
8	1072	667
9	1497	667
10	1721	667
11	1733	667

Stop Event

1×

saturated

Counts

184 → 126

Calls

Call 1

Inputs
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(-.f64 t (.f64 1/2 (.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(*.f64 1/8 x)
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(*.f64 1/8 x)
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(+.f64 (*.f64 1/8 x) t)
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (*.f64 1/8 x) t)
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(-.f64 (.f64 1/8 x) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
t
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
t
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))

Outputs
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(.f64 1/2 (.f64 y z))
(.f64 (.f64 1/2 y) z)
(-.f64 t (.f64 1/2 (.f64 y z)))
(-.f64 t (.f64 (.f64 1/2 y) z))
(+.f64 t (.f64 z (.f64 y -1/2)))
(fma.f64 z (*.f64 y -1/2) t)
(fma.f64 y (*.f64 z -1/2) t)
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(*.f64 1/8 x)
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(*.f64 1/8 x)
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(+.f64 (*.f64 1/8 x) t)
(fma.f64 1/8 x t)
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(.f64 -1/2 (.f64 y z))
(.f64 (.f64 y z) -1/2)
(.f64 z (.f64 y -1/2))
(.f64 y (.f64 z -1/2))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(.f64 -1/2 (.f64 y z))
(.f64 (.f64 y z) -1/2)
(.f64 z (.f64 y -1/2))
(.f64 y (.f64 z -1/2))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(+.f64 (*.f64 1/8 x) t)
(fma.f64 1/8 x t)
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(.f64 -1/2 (.f64 y z))
(.f64 (.f64 y z) -1/2)
(.f64 z (.f64 y -1/2))
(.f64 y (.f64 z -1/2))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(.f64 -1/2 (.f64 y z))
(.f64 (.f64 y z) -1/2)
(.f64 z (.f64 y -1/2))
(.f64 y (.f64 z -1/2))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(-.f64 (.f64 1/8 x) (.f64 1/2 (*.f64 y z)))
(+.f64 (.f64 1/8 x) (.f64 (*.f64 y z) -1/2))
(fma.f64 (.f64 y z) -1/2 (.f64 1/8 x))
(fma.f64 y (.f64 z -1/2) (.f64 1/8 x))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
t
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
t
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(fma.f64 -1/2 (*.f64 y z) (fma.f64 1/8 x t))
(fma.f64 (*.f64 y z) -1/2 (fma.f64 1/8 x t))
(fma.f64 1/8 x (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 1/8 x (fma.f64 y (*.f64 z -1/2) t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))

eval43.0ms (1.3%)

Compiler: Compiled 2111 to 1282 computations (39.3% saved)

prune24.0ms (0.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	119	7	126
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	120	7	127

Error

Counts

127 → 7

Alt Table

Click to see full alt table

Status	Error	Program
	40.7b	t
▶	22.3b	(-.f64 (.f64 1/8 x) (.f64 1/2 (*.f64 y z)))
▶	46.0b	(.f64 y (.f64 z -1/2))
▶	16.7b	(+.f64 (*.f64 1/8 x) t)
▶	38.8b	(*.f64 1/8 x)
	24.2b	(fma.f64 y (*.f64 z -1/2) t)
▶	24.3b	(-.f64 t (.f64 1/2 (.f64 y z)))

Compiler

Compiled 123 to 94 computations (23.6% saved)

localize7.0ms (0.2%)

Compiler: Compiled 15 to 10 computations (33.3% saved)

localize4.0ms (0.1%)

Compiler: Compiled 9 to 7 computations (22.2% saved)

localize6.0ms (0.2%)

Compiler: Compiled 15 to 10 computations (33.3% saved)

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 t (.f64 1/2 (.f64 y z)))
✓	0.0b	(.f64 1/2 (.f64 y z))

Compiler

Compiled 23 to 11 computations (52.2% saved)

series4.0ms (0.1%)

Counts

2 → 36

Calls

15 calls:

Time	Variable		Point	Expression
0.0ms	y	@	-inf	(-.f64 t (.f64 1/2 (.f64 y z)))
0.0ms	y	@	0	(.f64 1/2 (.f64 y z))
0.0ms	t	@	0	(-.f64 t (.f64 1/2 (.f64 y z)))
0.0ms	z	@	-inf	(-.f64 t (.f64 1/2 (.f64 y z)))
0.0ms	y	@	inf	(.f64 1/2 (.f64 y z))

rewrite66.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

927×	`pow1_binary64`
861×	`add-log-exp_binary64`
861×	`log1p-expm1-u_binary64`
861×	`expm1-log1p-u_binary64`
844×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	176	17
2	2349	17

Stop Event

1×	node limit

Counts

2 → 49

Calls

Call 1

Inputs
(.f64 1/2 (.f64 y z))
(-.f64 t (.f64 1/2 (.f64 y z)))

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

Outputs

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

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

simplify14.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

6×	`fma-def_binary64`
5×	`*-commutative_binary64`
3×	`associate-r_binary64`
3×	`associate-l_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	255
1	14	255
2	23	255
3	29	255

Stop Event

1×

saturated

Counts

85 → 53

Calls

Call 1

Inputs
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
t
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
t
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
t
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
t
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)

Outputs
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
t
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
t
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
t
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
t
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(fma.f64 -1/2 (*.f64 y z) t)
(fma.f64 (*.f64 -1/2 y) z t)
(fma.f64 z (*.f64 -1/2 y) t)

localize11.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.0b	(.f64 1/2 (.f64 y z))

Compiler

Compiled 29 to 16 computations (44.8% saved)

eval17.0ms (0.5%)

Compiler: Compiled 890 to 496 computations (44.3% saved)

prune14.0ms (0.4%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	62	2	64
Fresh	2	0	2
Picked	0	1	1
Done	0	4	4
Total	64	7	71

Error

Counts

71 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	22.3b	(-.f64 (.f64 1/8 x) (.f64 1/2 (*.f64 y z)))
✓	46.0b	(.f64 y (.f64 z -1/2))
	40.7b	t
▶	24.2b	(fma.f64 z (*.f64 -1/2 y) t)
✓	16.7b	(+.f64 (*.f64 1/8 x) t)
✓	38.8b	(*.f64 1/8 x)
✓	24.3b	(-.f64 t (.f64 1/2 (.f64 y z)))

Compiler

Compiled 64 to 49 computations (23.4% saved)

localize8.0ms (0.2%)

Compiler: Compiled 17 to 10 computations (41.2% saved)

eval0.0ms (0%)

Compiler: Compiled 4 to 4 computations (0% saved)

prune3.0ms (0.1%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	1	1
Done	5	5
Total	7	7

Error

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	22.3b	(-.f64 (.f64 1/8 x) (.f64 1/2 (*.f64 y z)))
✓	46.0b	(.f64 y (.f64 z -1/2))
	40.7b	t
✓	24.2b	(fma.f64 z (*.f64 -1/2 y) t)
✓	16.7b	(+.f64 (*.f64 1/8 x) t)
✓	38.8b	(*.f64 1/8 x)
✓	24.3b	(-.f64 t (.f64 1/2 (.f64 y z)))

Compiler

Compiled 64 to 49 computations (23.4% saved)

eval0.0ms (0%)

Compiler: Compiled 4 to 4 computations (0% saved)

prune3.0ms (0.1%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	6	6
Total	7	7

Error

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	22.3b	(-.f64 (.f64 1/8 x) (.f64 1/2 (*.f64 y z)))
✓	46.0b	(.f64 y (.f64 z -1/2))
	40.7b	t
✓	24.2b	(fma.f64 z (*.f64 -1/2 y) t)
✓	16.7b	(+.f64 (*.f64 1/8 x) t)
✓	38.8b	(*.f64 1/8 x)
✓	24.3b	(-.f64 t (.f64 1/2 (.f64 y z)))

Compiler

Compiled 64 to 49 computations (23.4% saved)

regimes64.0ms (1.9%)

Counts

10 → 1

Calls

Call 1

Inputs
t
t
(*.f64 1/8 x)
(.f64 y (.f64 z -1/2))
(+.f64 (*.f64 1/8 x) t)
(-.f64 t (.f64 1/2 (.f64 y z)))
(-.f64 (.f64 1/8 x) (.f64 1/2 (*.f64 y z)))
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)
(fma.f64 z (*.f64 -1/2 y) t)
(fma.f64 y (*.f64 z -1/2) t)

Outputs
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)

Calls

9 calls:

7.0ms	y
7.0ms	x
7.0ms	(-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2))
7.0ms	t
7.0ms	(/.f64 (*.f64 y z) 2)

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 1 8) x) (/.f64 (.f64 y z) 2)) t)`
0.0b	1	`(-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2))`
0.0b	1	`(*.f64 (/.f64 1 8) x)`
0.0b	1	`(/.f64 (*.f64 y z) 2)`
0.0b	1	`(*.f64 y z)`

Compiler

Compiled 137 to 96 computations (29.9% saved)

regimes114.0ms (3.4%)

Counts

7 → 3

Calls

Call 1

Inputs
t
t
(*.f64 1/8 x)
(.f64 y (.f64 z -1/2))
(+.f64 (*.f64 1/8 x) t)
(-.f64 t (.f64 1/2 (.f64 y z)))
(-.f64 (.f64 1/8 x) (.f64 1/2 (*.f64 y z)))

Outputs
(-.f64 (.f64 1/8 x) (.f64 1/2 (*.f64 y z)))
(+.f64 (*.f64 1/8 x) t)
(-.f64 (.f64 1/8 x) (.f64 1/2 (*.f64 y z)))

Calls

5 calls:

29.0ms	t
28.0ms	y
25.0ms	z
15.0ms	x
14.0ms	(*.f64 y z)

Results

Error	Segments	Branch
8.0b	3	`x`
8.7b	5	`y`
8.1b	5	`z`
7.9b	5	`t`
6.1b	3	`(*.f64 y z)`

Compiler

Compiled 62 to 42 computations (32.3% saved)

bsearch0.0ms (0%)

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	5.177441805523351e+24	7.28749216037377e+24
0.0ms	-3.506660348031005e+70	-2.20921999847064e+68

Compiler

Compiled 24 to 19 computations (20.8% saved)

regimes102.0ms (3%)

Counts

6 → 3

Calls

Call 1

Inputs
t
t
(*.f64 1/8 x)
(.f64 y (.f64 z -1/2))
(+.f64 (*.f64 1/8 x) t)
(-.f64 t (.f64 1/2 (.f64 y z)))

Outputs
(-.f64 t (.f64 1/2 (.f64 y z)))
(+.f64 (*.f64 1/8 x) t)
(-.f64 t (.f64 1/2 (.f64 y z)))

Calls

5 calls:

24.0ms	t
24.0ms	y
23.0ms	z
14.0ms	x
13.0ms	(*.f64 y z)

Results

Error	Segments	Branch
8.0b	3	`x`
9.9b	5	`y`
8.9b	5	`z`
14.7b	5	`t`
7.7b	3	`(*.f64 y z)`

Compiler

Compiled 53 to 37 computations (30.2% saved)

bsearch0.0ms (0%)

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	2398937.5251462213	536838370.98893255
0.0ms	-3.506660348031005e+70	-2.20921999847064e+68

Compiler

Compiled 24 to 19 computations (20.8% saved)

regimes63.0ms (1.9%)

Counts

5 → 5

Calls

Call 1

Inputs
t
t
(*.f64 1/8 x)
(.f64 y (.f64 z -1/2))
(+.f64 (*.f64 1/8 x) t)

Outputs
(.f64 y (.f64 z -1/2))
(+.f64 (*.f64 1/8 x) t)
(.f64 y (.f64 z -1/2))
(+.f64 (*.f64 1/8 x) t)
(.f64 y (.f64 z -1/2))

Calls

4 calls:

25.0ms	z
16.0ms	x
16.0ms	y
5.0ms	t

Results

Error	Segments	Branch
14.3b	3	`x`
13.8b	4	`y`
11.6b	5	`z`
16.7b	1	`t`

Compiler

Compiled 39 to 28 computations (28.2% saved)

bsearch277.0ms (8.3%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
74.0ms	1.147494798271195e+197	3.4161085062359203e+202
87.0ms	4.1575657264631565e+150	3.6467441149002523e+158
94.0ms	2.4938747624471908e+137	8.6099437545395e+140
22.0ms	-5.025960595020686e-34	-1.2076454422819538e-38

Compiler

Compiled 544 to 435 computations (20% saved)

regimes111.0ms (3.3%)

Counts

4 → 5

Calls

Call 1

Inputs
t
t
(*.f64 1/8 x)
(.f64 y (.f64 z -1/2))

Outputs
(*.f64 1/8 x)
t
(.f64 y (.f64 z -1/2))
t
(*.f64 1/8 x)

Calls

4 calls:

37.0ms	y
34.0ms	z
22.0ms	x
15.0ms	t

Results

Error	Segments	Branch
22.7b	5	`x`
28.6b	10	`y`
25.9b	9	`z`
26.3b	3	`t`

Compiler

Compiled 34 to 25 computations (26.5% saved)

bsearch89.0ms (2.7%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
21.0ms	3.482249038250502e+48	5.692046266268184e+56
23.0ms	-5.92849089249355e-233	-4.427461990753116e-234
22.0ms	-1.770742044916842e-109	-4.945236291775378e-127
22.0ms	-1.7042907241313035e+94	-2.0539842938622102e+83

Compiler

Compiled 24 to 19 computations (20.8% saved)

regimes85.0ms (2.5%)

Counts

3 → 3

Calls

Call 1

Inputs
t
t
(*.f64 1/8 x)

Outputs
(*.f64 1/8 x)
t
(*.f64 1/8 x)

Calls

4 calls:

33.0ms	y
23.0ms	z
14.0ms	x
13.0ms	t

Results

Error	Segments	Branch
25.4b	3	`x`
32.3b	10	`y`
32.3b	7	`z`
26.3b	3	`t`

Compiler

Compiled 29 to 22 computations (24.1% saved)

bsearch44.0ms (1.3%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
22.0ms	3.482249038250502e+48	5.692046266268184e+56
22.0ms	-1.7042907241313035e+94	-2.0539842938622102e+83

Compiler

Compiled 24 to 19 computations (20.8% saved)

regimes14.0ms (0.4%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0.0b (-0%)

Counts

2 → 1

Calls

Call 1

Inputs
t
t

Outputs
t

Calls

4 calls:

3.0ms	z
3.0ms	t
3.0ms	x
3.0ms	y

Results

Error	Segments	Branch
40.7b	1	`x`
40.7b	1	`y`
40.7b	1	`z`
40.7b	1	`t`

Compiler

Compiled 26 to 20 computations (23.1% saved)

simplify16.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

10×	`+-commutative_binary64`
10×	`*-commutative_binary64`
8×	`sub-neg_binary64`
5×	`neg-sub0_binary64`
5×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	59	234
1	77	234
2	92	234
3	104	234
4	112	234
5	117	234
6	119	234

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)
(if (<=.f64 (.f64 y z) -20000000000000001450628727630584702523167488192930439110364203109580800) (-.f64 (.f64 1/8 x) (.f64 1/2 (.f64 y z))) (if (<=.f64 (.f64 y z) 5999999999999999899336704) (+.f64 (.f64 1/8 x) t) (-.f64 (.f64 1/8 x) (.f64 1/2 (*.f64 y z)))))
(if (<=.f64 (.f64 y z) -20000000000000001450628727630584702523167488192930439110364203109580800) (-.f64 t (.f64 1/2 (.f64 y z))) (if (<=.f64 (.f64 y z) 4000000) (+.f64 (.f64 1/8 x) t) (-.f64 t (.f64 1/2 (*.f64 y z)))))
(if (<=.f64 z -5876359711026665/11692013098647223345629478661730264157247460343808) (.f64 y (.f64 z -1/2)) (if (<=.f64 z 849999999999999955199171548896841282428276797800855560060951286249000834552602316027764082289320260010543930697992737006817894286510354595840) (+.f64 (.f64 1/8 x) t) (if (<=.f64 z 4199999999999999955851440139017317807873294453327565648664960237013123485329960007532417133858025004552901188806117500888507616104384193259310250196992) (.f64 y (.f64 z -1/2)) (if (<=.f64 z 34000000000000001010496047641737955390151824526950332246039767394920513553953876371176424923272737753513362919911576987316951376871778583708255570542457357808704739426404025280113896532006784892498083840) (+.f64 (.f64 1/8 x) t) (.f64 y (.f64 z -1/2))))))
(if (<=.f64 x -17042907241313034911012091397283044882425945300559094307831343962335651382040670765405637181440) (.f64 1/8 x) (if (<=.f64 x -7491581427072825/42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472384) t (if (<=.f64 x -6632245353581119/111870718431542817204760874740917337854381793641291611443130662899652593770909781872442516663377454591520935582886717656540612737332317877736113382974861639142628415265543797274479692427652260844707187532155254872952853725026318685997495262134665216) (.f64 y (.f64 z -1/2)) (if (<=.f64 x 3482249038250502076995438243109218107498359160832) t (.f64 1/8 x)))))
(if (<=.f64 x -17042907241313034911012091397283044882425945300559094307831343962335651382040670765405637181440) (.f64 1/8 x) (if (<=.f64 x 3482249038250502076995438243109218107498359160832) t (.f64 1/8 x)))
t

Outputs
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
(if (<=.f64 (.f64 y z) -20000000000000001450628727630584702523167488192930439110364203109580800) (-.f64 (.f64 1/8 x) (.f64 1/2 (.f64 y z))) (if (<=.f64 (.f64 y z) 5999999999999999899336704) (+.f64 (.f64 1/8 x) t) (-.f64 (.f64 1/8 x) (.f64 1/2 (*.f64 y z)))))
(if (<=.f64 (.f64 y z) -20000000000000001450628727630584702523167488192930439110364203109580800) (+.f64 (.f64 1/8 x) (.f64 -1/2 (.f64 y z))) (if (<=.f64 (.f64 y z) 5999999999999999899336704) (+.f64 (.f64 1/8 x) t) (+.f64 (.f64 1/8 x) (.f64 -1/2 (*.f64 y z)))))
(if (<=.f64 (.f64 y z) -20000000000000001450628727630584702523167488192930439110364203109580800) (+.f64 (.f64 1/8 x) (.f64 (.f64 y z) -1/2)) (if (<=.f64 (.f64 y z) 5999999999999999899336704) (+.f64 (.f64 1/8 x) t) (+.f64 (.f64 1/8 x) (.f64 (*.f64 y z) -1/2))))
(if (<=.f64 (.f64 y z) -20000000000000001450628727630584702523167488192930439110364203109580800) (-.f64 t (.f64 1/2 (.f64 y z))) (if (<=.f64 (.f64 y z) 4000000) (+.f64 (.f64 1/8 x) t) (-.f64 t (.f64 1/2 (*.f64 y z)))))
(if (<=.f64 (.f64 y z) -20000000000000001450628727630584702523167488192930439110364203109580800) (+.f64 t (.f64 -1/2 (.f64 y z))) (if (<=.f64 (.f64 y z) 4000000) (+.f64 (.f64 1/8 x) t) (+.f64 t (.f64 -1/2 (*.f64 y z)))))
(if (<=.f64 (.f64 y z) -20000000000000001450628727630584702523167488192930439110364203109580800) (+.f64 t (.f64 (.f64 y z) -1/2)) (if (<=.f64 (.f64 y z) 4000000) (+.f64 (.f64 1/8 x) t) (+.f64 t (.f64 (*.f64 y z) -1/2))))
(if (<=.f64 z -5876359711026665/11692013098647223345629478661730264157247460343808) (.f64 y (.f64 z -1/2)) (if (<=.f64 z 849999999999999955199171548896841282428276797800855560060951286249000834552602316027764082289320260010543930697992737006817894286510354595840) (+.f64 (.f64 1/8 x) t) (if (<=.f64 z 4199999999999999955851440139017317807873294453327565648664960237013123485329960007532417133858025004552901188806117500888507616104384193259310250196992) (.f64 y (.f64 z -1/2)) (if (<=.f64 z 34000000000000001010496047641737955390151824526950332246039767394920513553953876371176424923272737753513362919911576987316951376871778583708255570542457357808704739426404025280113896532006784892498083840) (+.f64 (.f64 1/8 x) t) (.f64 y (.f64 z -1/2))))))
(if (<=.f64 x -17042907241313034911012091397283044882425945300559094307831343962335651382040670765405637181440) (.f64 1/8 x) (if (<=.f64 x -7491581427072825/42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472384) t (if (<=.f64 x -6632245353581119/111870718431542817204760874740917337854381793641291611443130662899652593770909781872442516663377454591520935582886717656540612737332317877736113382974861639142628415265543797274479692427652260844707187532155254872952853725026318685997495262134665216) (.f64 y (.f64 z -1/2)) (if (<=.f64 x 3482249038250502076995438243109218107498359160832) t (.f64 1/8 x)))))
(if (<=.f64 x -17042907241313034911012091397283044882425945300559094307831343962335651382040670765405637181440) (.f64 1/8 x) (if (<=.f64 x 3482249038250502076995438243109218107498359160832) t (.f64 1/8 x)))
t

Compiler

Compiled 191 to 127 computations (33.5% saved)

soundness0.0ms (0%)

end82.0ms (2.4%)

Remove: (sort y z)
Compiler: Compiled 197 to 123 computations (37.6% saved)

Details

analyze389.0ms (11.6%)

sample1.2s (37.3%)

preprocess192.0ms (5.7%)

simplify35.0ms (1.1%)

eval1.0ms (0%)

prune1.0ms (0%)

localize19.0ms (0.6%)

series11.0ms (0.3%)

rewrite83.0ms (2.5%)

simplify74.0ms (2.2%)

eval43.0ms (1.3%)

prune24.0ms (0.7%)

localize7.0ms (0.2%)

localize4.0ms (0.1%)

localize6.0ms (0.2%)

localize9.0ms (0.3%)

series4.0ms (0.1%)

rewrite66.0ms (2%)

simplify14.0ms (0.4%)

localize11.0ms (0.3%)

eval17.0ms (0.5%)

prune14.0ms (0.4%)

localize8.0ms (0.2%)

eval0.0ms (0%)

prune3.0ms (0.1%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes64.0ms (1.9%)

regimes114.0ms (3.4%)

bsearch0.0ms (0%)

regimes102.0ms (3%)

bsearch0.0ms (0%)

regimes63.0ms (1.9%)

bsearch277.0ms (8.3%)

regimes111.0ms (3.3%)

bsearch89.0ms (2.7%)

regimes85.0ms (2.5%)

bsearch44.0ms (1.3%)

regimes14.0ms (0.4%)

simplify16.0ms (0.5%)

soundness0.0ms (0%)

end82.0ms (2.4%)

Profiling