Details

analyze1.2s (30.8%)

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
14%	85.8%	0.2%	11
21.4%	78.4%	0.2%	12
31.7%	68.1%	0.2%	13
35.3%	63.3%	1.4%	14

Compiler

Compiled 14 to 10 computations (28.6% saved)

sample1.3s (35.1%)

Results

992.0ms	8256×	body	128	valid
313.0ms	2727×	body	128	invalid

preprocess43.0ms (1.1%)

Algorithm

2×	egg-herbie

Rules

739×	`fma-neg_binary64`
711×	`div-sub_binary64`
668×	`sub-neg_binary64`
220×	`fma-def_binary64`
155×	`associate--r+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	91
1	96	91
2	214	91
3	362	91
4	779	91
5	1787	91
6	3963	91
0	4	4
1	4	4

Stop Event

1×	unsound
1×	node limit

Calls

Call 1

Inputs
0
1
2
3

Outputs
0
1
0
2
3

Call 2

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

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

Symmetry

(sort x y)

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify26.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

709×	`fma-neg_binary64`
579×	`fma-def_binary64`
349×	`div-sub_binary64`
329×	`cancel-sign-sub-inv_binary64`
297×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	21	13
2	45	13
3	74	13
4	155	13
5	299	13
6	610	13
7	1305	13
8	2658	13

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 22 to 13 computations (40.9% saved)

prune2.0ms (0.1%)

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

Compiler

Compiled 52 to 36 computations (30.8% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series11.0ms (0.3%)

Counts

1 → 48

Calls

12 calls:

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

rewrite50.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

439×	`fma-def_binary64`
245×	`fma-neg_binary64`
221×	`expm1-udef_binary64`
221×	`log1p-udef_binary64`
125×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	232	13
2	3624	13

Stop Event

1×	node limit

Counts

1 → 60

Calls

Call 1

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

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

Outputs

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

simplify89.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1389×	`fma-def_binary64`
570×	`fma-neg_binary64`
298×	`distribute-rgt-in_binary64`
251×	`cancel-sign-sub-inv_binary64`
212×	`div-sub_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	37	696
1	90	696
2	184	696
3	320	579
4	553	579
5	946	579
6	1759	579
7	3009	579
8	4247	579
9	4806	579
10	4959	579
11	4972	579
12	4973	579

Stop Event

1×	node limit

Counts

108 → 79

Calls

Call 1

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

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

eval19.0ms (0.5%)

Compiler: Compiled 1184 to 549 computations (53.6% saved)

prune81.0ms (2.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	78	1	79
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	78	3	81

Error

Counts

81 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 77 to 53 computations (31.2% saved)

localize10.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

series20.0ms (0.5%)

Counts

3 → 75

Calls

27 calls:

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

rewrite75.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

287×	`log1p-udef_binary64`
161×	`add-sqr-sqrt_binary64`
158×	`*-un-lft-identity_binary64`
158×	`pow1_binary64`
150×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	30
1	304	30
2	4835	30

Stop Event

1×	node limit

Counts

3 → 124

Calls

Call 1

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

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

Outputs

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

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

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

simplify57.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

758×	`fma-neg_binary64`
441×	`fma-def_binary64`
267×	`div-sub_binary64`
217×	`unsub-neg_binary64`
214×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	37	709
1	96	709
2	224	709
3	501	706
4	1164	702
5	2753	702
6	4760	702

Stop Event

1×	node limit

Counts

199 → 144

Calls

Call 1

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

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

eval45.0ms (1.2%)

Compiler: Compiled 2810 to 1245 computations (55.7% saved)

prune306.0ms (8.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	143	1	144
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	144	3	147

Error

Counts

147 → 3

Alt Table

Click to see full alt table

Status

Error

Program

✓

0.0b

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

✓

0.0b

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

▶

0.1b

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

Compiler

Compiled 86 to 58 computations (32.6% saved)

localize14.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series21.0ms (0.6%)

Counts

3 → 96

Calls

27 calls:

Time	Variable		Point	Expression
4.0ms	z	@	0	(fma.f64 (neg.f64 (pow.f64 t -1)) z (/.f64 z t))
2.0ms	y	@	inf	(/.f64 (-.f64 y z) t)
1.0ms	z	@	-inf	(fma.f64 (neg.f64 (pow.f64 t -1)) z (/.f64 z t))
1.0ms	z	@	inf	(fma.f64 (neg.f64 (pow.f64 t -1)) z (/.f64 z t))
1.0ms	t	@	-inf	(fma.f64 (neg.f64 (pow.f64 t -1)) z (/.f64 z t))

rewrite38.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

219×	`add-sqr-sqrt_binary64`
213×	`pow1_binary64`
212×	`*-un-lft-identity_binary64`
204×	`add-log-exp_binary64`
204×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	51
1	419	47

Stop Event

1×	node limit

Counts

3 → 75

Calls

Call 1

Inputs
(fma.f64 (neg.f64 (pow.f64 t -1)) z (/.f64 z t))
(/.f64 (-.f64 y z) t)
(+.f64 (.f64 1/2 (/.f64 x t)) (.f64 1/2 (+.f64 (/.f64 (-.f64 y z) t) (fma.f64 (neg.f64 (pow.f64 t -1)) z (/.f64 z t)))))

Outputs

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

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

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

simplify47.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

624×	`fma-neg_binary64`
537×	`fma-def_binary64`
319×	`unsub-neg_binary64`
305×	`cancel-sign-sub-inv_binary64`
250×	`associate-+l+_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	48	1317
1	146	1128
2	401	1056
3	1017	819
4	2889	818

Stop Event

1×	node limit

Counts

171 → 102

Calls

Call 1

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

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

eval45.0ms (1.2%)

Compiler: Compiled 3109 to 1492 computations (52% saved)

prune219.0ms (5.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

126 → 3

Alt Table

Click to see full alt table

Status

Error

Program

✓

0.0b

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

✓

0.0b

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

✓

0.1b

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

Compiler

Compiled 59 to 40 computations (32.2% saved)

regimes41.0ms (1.1%)

Accuracy

Total -0.3b remaining (-2266.7%)

Threshold costs -0.3b (-2266.7%)

Counts

4 → 1

Calls

Call 1

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

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

Results

Time	Error	Segments	Branch
4.0ms	0.0b	1	`x`
4.0ms	0.0b	1	`y`
5.0ms	0.0b	1	`z`
4.0ms	0.0b	1	`t`
5.0ms	0.0b	1	`(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))`
5.0ms	0.0b	1	`(-.f64 (+.f64 x y) z)`
4.0ms	0.0b	1	`(+.f64 x y)`
4.0ms	0.0b	1	`(+.f64 x y)`
4.0ms	0.0b	1	`(*.f64 t 2)`

Compiler

Compiled 123 to 81 computations (34.1% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`
4×	`*-commutative_binary64`
3×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	22
1	18	22
2	25	22
3	29	22
4	32	22
5	33	22

Stop Event

1×

saturated

Calls

Call 1

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

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

end18.0ms (0.5%)

Stop Event

1×

done

Remove

(sort x y)

Compiler

Compiled 76 to 52 computations (31.6% saved)

Details

analyze1.2s (30.8%)

sample1.3s (35.1%)

preprocess43.0ms (1.1%)

simplify26.0ms (0.7%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize6.0ms (0.2%)

series11.0ms (0.3%)

rewrite50.0ms (1.3%)

simplify89.0ms (2.4%)

eval19.0ms (0.5%)

prune81.0ms (2.2%)

localize10.0ms (0.3%)

series20.0ms (0.5%)

rewrite75.0ms (2%)

simplify57.0ms (1.5%)

eval45.0ms (1.2%)

prune306.0ms (8.1%)

localize14.0ms (0.4%)

series21.0ms (0.6%)

rewrite38.0ms (1%)

simplify47.0ms (1.2%)

eval45.0ms (1.2%)

prune219.0ms (5.8%)

regimes41.0ms (1.1%)

simplify2.0ms (0.1%)

end18.0ms (0.5%)

Profiling