Details

analyze1.2s (26.5%)

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
6.2%	90.4%	3.3%	10
9.4%	87.3%	3.3%	11
14%	82.7%	3.3%	12
21.1%	75.6%	3.3%	13
26.3%	66.7%	7%	14

Compiler

Compiled 20 to 12 computations (40% saved)

sample1.3s (28.6%)

Results

963.0ms	8256×	body	128	valid
365.0ms	3224×	body	128	invalid

Compiler

Compiled 40 to 24 computations (40% saved)

preprocess43.0ms (0.9%)

Algorithm

2×	egg-herbie

Rules

471×	`fma-neg_binary64`
295×	`cancel-sign-sub-inv_binary64`
285×	`unsub-neg_binary64`
269×	`sub-neg_binary64`
261×	`fma-def_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	133
1	169	98
2	555	91
3	1962	91
4	4882	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
2
3
1

Call 2

Inputs
(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
(-.f64 (+.f64 (-.f64 (.f64 d2 d1) (.f64 d2 d3)) (.f64 d4 d2)) (.f64 d2 d2))
(-.f64 (+.f64 (-.f64 (.f64 d3 d2) (.f64 d3 d1)) (.f64 d4 d3)) (.f64 d3 d3))
(-.f64 (+.f64 (-.f64 (.f64 d4 d2) (.f64 d4 d3)) (.f64 d1 d4)) (.f64 d4 d4))
(-.f64 (+.f64 (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (.f64 d4 d1)) (.f64 d1 d1))
(-.f64 (+.f64 (-.f64 (.f64 d1 d4) (.f64 d1 d3)) (.f64 d2 d1)) (.f64 d1 d1))
(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d4)) (.f64 d3 d1)) (.f64 d1 d1))

Outputs
(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
(+.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (.f64 d1 d4) (*.f64 d1 d1)))
(fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1)))
(*.f64 d1 (+.f64 (-.f64 d2 d3) (-.f64 d4 d1)))
(*.f64 d1 (+.f64 d2 (-.f64 d4 (+.f64 d3 d1))))
(-.f64 (+.f64 (-.f64 (.f64 d2 d1) (.f64 d2 d3)) (.f64 d4 d2)) (.f64 d2 d2))
(+.f64 (.f64 d2 (-.f64 d1 d3)) (-.f64 (.f64 d2 d4) (*.f64 d2 d2)))
(fma.f64 d2 (-.f64 d1 d3) (*.f64 d2 (-.f64 d4 d2)))
(*.f64 d2 (-.f64 (+.f64 d1 (-.f64 d4 d3)) d2))
(*.f64 d2 (+.f64 d1 (-.f64 (-.f64 d4 d3) d2)))
(-.f64 (+.f64 (-.f64 (.f64 d3 d2) (.f64 d3 d1)) (.f64 d4 d3)) (.f64 d3 d3))
(+.f64 (.f64 d3 (-.f64 d2 d1)) (-.f64 (.f64 d3 d4) (*.f64 d3 d3)))
(fma.f64 d3 (-.f64 d2 d1) (*.f64 d3 (-.f64 d4 d3)))
(*.f64 d3 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(*.f64 d3 (+.f64 d2 (-.f64 d4 (+.f64 d3 d1))))
(-.f64 (+.f64 (-.f64 (.f64 d4 d2) (.f64 d4 d3)) (.f64 d1 d4)) (.f64 d4 d4))
(+.f64 (.f64 d4 (-.f64 d2 d3)) (-.f64 (.f64 d1 d4) (*.f64 d4 d4)))
(fma.f64 d4 (-.f64 d2 d3) (*.f64 d4 (-.f64 d1 d4)))
(*.f64 d4 (+.f64 (-.f64 d2 d3) (-.f64 d1 d4)))
(-.f64 (+.f64 (-.f64 (.f64 d1 d3) (.f64 d1 d2)) (.f64 d4 d1)) (.f64 d1 d1))
(+.f64 (.f64 d1 (-.f64 d3 d2)) (-.f64 (.f64 d1 d4) (*.f64 d1 d1)))
(fma.f64 d1 (-.f64 d3 d2) (*.f64 d1 (-.f64 d4 d1)))
(*.f64 d1 (-.f64 (+.f64 d4 (-.f64 d3 d2)) d1))
(*.f64 d1 (+.f64 d3 (-.f64 (-.f64 d4 d2) d1)))
(-.f64 (+.f64 (-.f64 (.f64 d1 d4) (.f64 d1 d3)) (.f64 d2 d1)) (.f64 d1 d1))
(+.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (.f64 d1 d4) (*.f64 d1 d1)))
(fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1)))
(*.f64 d1 (+.f64 (-.f64 d2 d3) (-.f64 d4 d1)))
(*.f64 d1 (+.f64 d2 (-.f64 d4 (+.f64 d3 d1))))
(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d4)) (.f64 d3 d1)) (.f64 d1 d1))
(+.f64 (.f64 d1 (-.f64 d2 d4)) (-.f64 (.f64 d1 d3) (*.f64 d1 d1)))
(fma.f64 d1 (-.f64 d2 d4) (*.f64 d1 (-.f64 d3 d1)))
(*.f64 d1 (-.f64 (-.f64 d2 (-.f64 d4 d3)) d1))
(*.f64 d1 (+.f64 d3 (-.f64 d2 (+.f64 d1 d4))))
(*.f64 d1 (+.f64 d2 (-.f64 (-.f64 d3 d1) d4)))

Symmetry

(sort d2 d4)

Compiler

Compiled 19 to 11 computations (42.1% saved)

simplify40.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

1400×	`fma-neg_binary64`
358×	`fma-def_binary64`
223×	`sub-neg_binary64`
177×	`unsub-neg_binary64`
153×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	32	14
2	100	13
3	316	13
4	935	13
5	2470	13
6	3635	13
7	3780	13
8	3780	13

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))

Outputs
(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
(+.f64 (.f64 d1 (-.f64 d2 d3)) (-.f64 (.f64 d1 d4) (*.f64 d1 d1)))
(fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1)))
(*.f64 d1 (-.f64 (-.f64 d2 (-.f64 d3 d4)) d1))
(*.f64 d1 (+.f64 d4 (-.f64 (-.f64 d2 d3) d1)))
(*.f64 d1 (+.f64 d2 (-.f64 (-.f64 d4 d1) d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d4 (+.f64 d1 d3))))

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))

Compiler

Compiled 66 to 37 computations (43.9% saved)

localize12.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	0.0b	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
✓	0.0b	(+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (*.f64 d4 d1))

series35.0ms (0.7%)

Counts

3 → 132

Calls

33 calls:

Time	Variable		Point	Expression
1.0ms	d4	@	0	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
1.0ms	d2	@	0	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
1.0ms	d3	@	0	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
1.0ms	d3	@	inf	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
1.0ms	d2	@	-inf	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))

rewrite68.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

265×	`log1p-udef_binary64`
155×	`add-sqr-sqrt_binary64`
153×	`*-un-lft-identity_binary64`
153×	`pow1_binary64`
144×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	39
1	288	31
2	4548	31

Stop Event

1×	node limit

Counts

3 → 154

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (*.f64 d4 d1))
(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
(-.f64 (.f64 d1 d2) (.f64 d1 d3))

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

Outputs

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

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 d2) (+.f64 (*.f64 d1 (neg.f64 d3)) (*.f64 d1 (-.f64 d4 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (-.f64 d2 d3)) (*.f64 d1 (-.f64 d4 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (-.f64 d2 d3)) (*.f64 (*.f64 d1 (-.f64 d4 d1)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (-.f64 d2 d3)) (+.f64 (fma.f64 (neg.f64 d3) d1 (*.f64 d1 d3)) (*.f64 d1 (-.f64 d4 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 d4) (-.f64 (*.f64 d1 (-.f64 d2 d3)) (*.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 d4) (+.f64 (*.f64 d1 (-.f64 d2 d3)) (*.f64 d1 (neg.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) (*.f64 d1 (neg.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) (*.f64 (*.f64 d1 (neg.f64 d1)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1))) (fma.f64 (neg.f64 d1) d1 (*.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1))) (fma.f64 (*.f64 d1 (neg.f64 d1)) 1 (*.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 (pow.f64 d1 4)) (*.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (neg.f64 d1)) (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 (-.f64 d4 d1)) (*.f64 d1 (-.f64 d2 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1)))) (cbrt.f64 (pow.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1))) 2)) (cbrt.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1)))) (sqrt.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) 3) (pow.f64 d1 6)) (/.f64 1 (+.f64 (+.f64 (pow.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) 2) (pow.f64 d1 4)) (*.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) 2) (pow.f64 d1 4)) (/.f64 1 (+.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1) (-.f64 (sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (+.f64 (pow.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) 2) (pow.f64 d1 4)) (*.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) (*.f64 d1 d1))) (-.f64 (pow.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) 3) (pow.f64 d1 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) (*.f64 d1 d1)) (-.f64 (pow.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) 2) (pow.f64 d1 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) 3) (pow.f64 d1 6)) (+.f64 (+.f64 (pow.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) 2) (pow.f64 d1 4)) (*.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) 2) (pow.f64 d1 4)) (+.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) (*.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) 3) (pow.f64 d1 6))) (neg.f64 (+.f64 (+.f64 (pow.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) 2) (pow.f64 d1 4)) (*.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) (*.f64 d1 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) 2) (pow.f64 d1 4))) (neg.f64 (+.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) (*.f64 d1 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 d1 (-.f64 d2 d3)) 3) (pow.f64 (*.f64 d1 (-.f64 d4 d1)) 3)) (+.f64 (pow.f64 (*.f64 d1 (-.f64 d2 d3)) 2) (-.f64 (*.f64 (*.f64 d1 (-.f64 d4 d1)) (*.f64 d1 (-.f64 d4 d1))) (*.f64 (*.f64 d1 (-.f64 d2 d3)) (*.f64 d1 (-.f64 d4 d1))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) 3) (pow.f64 (*.f64 d1 (neg.f64 d1)) 3)) (+.f64 (pow.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) 2) (-.f64 (*.f64 (*.f64 d1 (neg.f64 d1)) (*.f64 d1 (neg.f64 d1))) (*.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) (*.f64 d1 (neg.f64 d1))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 d1 (-.f64 d2 d3)) 2) (*.f64 (*.f64 d1 (-.f64 d4 d1)) (*.f64 d1 (-.f64 d4 d1)))) (-.f64 (*.f64 d1 (-.f64 d2 d3)) (*.f64 d1 (-.f64 d4 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) 2) (*.f64 (*.f64 d1 (neg.f64 d1)) (*.f64 d1 (neg.f64 d1)))) (-.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) (*.f64 d1 (neg.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 d1 (-.f64 d2 d3) (*.f64 d1 (-.f64 d4 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 d1 (-.f64 d2 d3)) (*.f64 d1 (-.f64 d4 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)) (*.f64 d1 (neg.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) 2) (cbrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) (*.f64 d1 (neg.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (-.f64 d2 d3))) 2) (cbrt.f64 (*.f64 d1 (-.f64 d2 d3))) (*.f64 d1 (-.f64 d4 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) (sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) (*.f64 d1 (neg.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 d1 (-.f64 d2 d3))) (sqrt.f64 (*.f64 d1 (-.f64 d2 d3))) (*.f64 d1 (-.f64 d4 d1)))))))

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

simplify49.0ms (1%)

Algorithm

1×	egg-herbie

Rules

447×	`fma-def_binary64`
292×	`distribute-rgt-in_binary64`
248×	`distribute-lft-out_binary64`
240×	`distribute-lft-in_binary64`
208×	`distribute-rgt-out_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	33	1589
1	99	1342
2	246	1227
3	738	1227
4	2791	1227

Stop Event

1×	node limit

Counts

286 → 180

Calls

Call 1

Inputs
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(.f64 -1 (.f64 (-.f64 d3 (+.f64 d2 d4)) d1))
(.f64 -1 (.f64 (-.f64 d3 (+.f64 d2 d4)) d1))
(.f64 -1 (.f64 (-.f64 d3 (+.f64 d2 d4)) d1))
(.f64 -1 (.f64 (-.f64 d3 (+.f64 d2 d4)) d1))
(-.f64 (.f64 d1 d4) (.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d2 d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d2 d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d4))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(.f64 -1 (.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(.f64 -1 (.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 d4)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 d4)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(*.f64 -1 (pow.f64 d1 2))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(*.f64 -1 (pow.f64 d1 2))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (.f64 d1 d4) (+.f64 (pow.f64 d1 2) (.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(*.f64 d2 d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(*.f64 d2 d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (pow.f64 d1 2))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(.f64 -1 (.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(.f64 -1 (.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (.f64 d2 d1) (+.f64 (pow.f64 d1 2) (.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(*.f64 d1 d4)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(*.f64 d1 d4)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(*.f64 d1 (-.f64 d2 d3))
(*.f64 d1 (-.f64 d2 d3))
(*.f64 d1 (-.f64 d2 d3))
(*.f64 d1 (-.f64 d2 d3))
(*.f64 d1 (-.f64 d2 d3))
(*.f64 d1 (-.f64 d2 d3))
(*.f64 d1 (-.f64 d2 d3))
(*.f64 d1 (-.f64 d2 d3))
(.f64 -1 (.f64 (-.f64 d3 d2) d1))
(.f64 -1 (.f64 (-.f64 d3 d2) d1))
(.f64 -1 (.f64 (-.f64 d3 d2) d1))
(.f64 -1 (.f64 (-.f64 d3 d2) d1))
(.f64 -1 (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d2 d1)
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d2 d1)
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d2 d1)
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(.f64 -1 (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(.f64 -1 (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))

Outputs
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(.f64 -1 (.f64 (-.f64 d3 (+.f64 d2 d4)) d1))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(.f64 -1 (.f64 (-.f64 d3 (+.f64 d2 d4)) d1))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(.f64 -1 (.f64 (-.f64 d3 (+.f64 d2 d4)) d1))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(.f64 -1 (.f64 (-.f64 d3 (+.f64 d2 d4)) d1))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (.f64 d1 d4) (.f64 d1 d3))
(*.f64 d1 (-.f64 d4 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 d2 d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 d2 d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d4))
(fma.f64 d2 d1 (*.f64 d4 d1))
(*.f64 d1 (+.f64 d2 d4))
(*.f64 (+.f64 d2 d4) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(.f64 -1 (.f64 d1 d3))
(neg.f64 (*.f64 d3 d1))
(*.f64 d1 (neg.f64 d3))
(*.f64 d3 (neg.f64 d1))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(.f64 -1 (.f64 d1 d3))
(neg.f64 (*.f64 d3 d1))
(*.f64 d1 (neg.f64 d3))
(*.f64 d3 (neg.f64 d1))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 d1 d4)
(*.f64 d4 d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 d1 d4)
(*.f64 d4 d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (+.f64 d2 (-.f64 d4 d3)) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(*.f64 -1 (pow.f64 d1 2))
(neg.f64 (*.f64 d1 d1))
(*.f64 d1 (neg.f64 d1))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(*.f64 -1 (pow.f64 d1 2))
(neg.f64 (*.f64 d1 d1))
(*.f64 d1 (neg.f64 d1))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (.f64 d1 d4) (+.f64 (pow.f64 d1 2) (.f64 d1 d3)))
(-.f64 (.f64 d4 d1) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (-.f64 d4 d3)) (.f64 d1 d1))
(*.f64 d1 (-.f64 (-.f64 d4 d3) d1))
(*.f64 d1 (-.f64 d4 (+.f64 d3 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(*.f64 d2 d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(*.f64 d2 d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (pow.f64 d1 2))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (.f64 d1 d1))
(fma.f64 d2 d1 (*.f64 d1 (-.f64 d4 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d1) d2))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(.f64 -1 (.f64 d1 d3))
(neg.f64 (*.f64 d3 d1))
(*.f64 d1 (neg.f64 d3))
(*.f64 d3 (neg.f64 d1))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(.f64 -1 (.f64 d1 d3))
(neg.f64 (*.f64 d3 d1))
(*.f64 d1 (neg.f64 d3))
(*.f64 d3 (neg.f64 d1))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (.f64 d2 d1) (+.f64 (pow.f64 d1 2) (.f64 d1 d3)))
(-.f64 (.f64 d2 d1) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d2 d1) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (-.f64 d2 d3) d1))
(*.f64 d1 (-.f64 d2 (+.f64 d3 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(*.f64 d1 d4)
(*.f64 d4 d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(*.f64 d1 d4)
(*.f64 d4 d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (+.f64 (pow.f64 d1 2) (*.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d4 d1)) (+.f64 (.f64 d3 d1) (*.f64 d1 d1)))
(-.f64 (.f64 d1 (+.f64 d2 d4)) (.f64 d1 (+.f64 d3 d1)))
(*.f64 d1 (-.f64 (+.f64 d2 d4) (+.f64 d3 d1)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) (-.f64 d2 d1)))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(.f64 -1 (.f64 (-.f64 d3 d2) d1))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(.f64 -1 (.f64 (-.f64 d3 d2) d1))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(.f64 -1 (.f64 (-.f64 d3 d2) d1))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(.f64 -1 (.f64 (-.f64 d3 d2) d1))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(.f64 -1 (.f64 d1 d3))
(neg.f64 (*.f64 d3 d1))
(*.f64 d1 (neg.f64 d3))
(*.f64 d3 (neg.f64 d1))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(*.f64 d2 d1)
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(*.f64 d2 d1)
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(*.f64 d2 d1)
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(.f64 -1 (.f64 d1 d3))
(neg.f64 (*.f64 d3 d1))
(*.f64 d1 (neg.f64 d3))
(*.f64 d3 (neg.f64 d1))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(.f64 -1 (.f64 d1 d3))
(neg.f64 (*.f64 d3 d1))
(*.f64 d1 (neg.f64 d3))
(*.f64 d3 (neg.f64 d1))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (.f64 d2 d1) (.f64 d1 d3))
(-.f64 (.f64 d2 d1) (.f64 d3 d1))
(*.f64 d1 (-.f64 d2 d3))

prune122.0ms (2.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	179	1	180
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	179	2	181

Error

Counts

181 → 2

Alt Table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
▶	32.5b	(.f64 (+.f64 (sqrt.f64 (.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1) (-.f64 (sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1))

Status

Error

Program

✓

0.0b

(-.f64 (+.f64 (-.f64 (*.f64 d1 d2) (*.f64 d1 d3)) (*.f64 d4 d1)) (*.f64 d1 d1))

▶

32.5b

(*.f64 (+.f64 (sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1) (-.f64 (sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1))

Compiler

Compiled 3602 to 905 computations (74.9% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1)
✓	0.0b	(*.f64 d1 (+.f64 (-.f64 d2 d3) d4))
✓	0.2b	(.f64 (+.f64 (sqrt.f64 (.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1) (-.f64 (sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1))
✓	1.5b	(sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)))

series894.0ms (19%)

Counts

4 → 88

Calls

48 calls:

Time	Variable		Point	Expression
152.0ms	d1	@	0	(.f64 (+.f64 (sqrt.f64 (.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1) (-.f64 (sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1))
65.0ms	d1	@	-inf	(.f64 (+.f64 (sqrt.f64 (.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1) (-.f64 (sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1))
63.0ms	d1	@	inf	(.f64 (+.f64 (sqrt.f64 (.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1) (-.f64 (sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1))
48.0ms	d2	@	inf	(.f64 (+.f64 (sqrt.f64 (.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1) (-.f64 (sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1))
45.0ms	d2	@	-inf	(.f64 (+.f64 (sqrt.f64 (.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1) (-.f64 (sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1))

rewrite79.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

261×	`expm1-udef_binary64`
261×	`log1p-udef_binary64`
153×	`add-sqr-sqrt_binary64`
151×	`*-un-lft-identity_binary64`
151×	`pow1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	69
1	282	50
2	4472	50

Stop Event

1×	node limit

Counts

4 → 144

Calls

Call 1

Inputs
(sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4)))
(.f64 (+.f64 (sqrt.f64 (.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1) (-.f64 (sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1))
(*.f64 d1 (+.f64 (-.f64 d2 d3) d4))
(-.f64 (sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1)

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

simplify55.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

975×	`fma-neg_binary64`
537×	`fma-def_binary64`
242×	`cancel-sign-sub-inv_binary64`
224×	`associate-r_binary64`
218×	`associate-l_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	127	1622
1	378	1572
2	1114	1554
3	4167	1552

Stop Event

1×	node limit

Counts

232 → 213

Calls

Call 1

Inputs
(sqrt.f64 (*.f64 d1 (-.f64 d4 d3)))
(+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (.f64 1/2 (*.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3))))))
(-.f64 (+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))))) (.f64 1/8 (*.f64 (pow.f64 d2 2) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3))))))
(-.f64 (+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (+.f64 (.f64 1/16 (.f64 (pow.f64 d2 3) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 5))))) (.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3))))))) (.f64 1/8 (*.f64 (pow.f64 d2 2) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3))))))
(sqrt.f64 (*.f64 (+.f64 d2 d4) d1))
(-.f64 (sqrt.f64 (.f64 (+.f64 d2 d4) d1)) (.f64 1/2 (*.f64 (sqrt.f64 (/.f64 d1 (+.f64 d2 d4))) d3)))
(-.f64 (sqrt.f64 (.f64 (+.f64 d2 d4) d1)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (+.f64 d2 d4))) d3)) (.f64 1/8 (*.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d2 d4) 3))) (pow.f64 d3 2)))))
(-.f64 (sqrt.f64 (.f64 (+.f64 d2 d4) d1)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (+.f64 d2 d4))) d3)) (+.f64 (.f64 1/8 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d2 d4) 3))) (pow.f64 d3 2))) (.f64 1/16 (*.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d2 d4) 5))) (pow.f64 d3 3))))))
(sqrt.f64 (*.f64 d1 (-.f64 d2 d3)))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3))) d4)) (sqrt.f64 (*.f64 d1 (-.f64 d2 d3))))
(-.f64 (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3))) d4)) (sqrt.f64 (.f64 d1 (-.f64 d2 d3)))) (.f64 1/8 (*.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))) (pow.f64 d4 2))))
(-.f64 (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3))) d4)) (+.f64 (.f64 1/16 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 5))) (pow.f64 d4 3))) (sqrt.f64 (.f64 d1 (-.f64 d2 d3))))) (.f64 1/8 (*.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))) (pow.f64 d4 2))))
(*.f64 -1 (pow.f64 d1 2))
(*.f64 -1 (pow.f64 d1 2))
(.f64 (+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) d1) (-.f64 (sqrt.f64 (*.f64 d1 (-.f64 d4 d3))) d1))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 (-.f64 d4 d3))) (pow.f64 d1 2))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 (-.f64 d4 d3))) (pow.f64 d1 2))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 (-.f64 d4 d3))) (pow.f64 d1 2))
(.f64 (-.f64 (sqrt.f64 (.f64 (+.f64 d2 d4) d1)) d1) (+.f64 d1 (sqrt.f64 (*.f64 (+.f64 d2 d4) d1))))
(-.f64 (.f64 (+.f64 d2 d4) d1) (+.f64 (pow.f64 d1 2) (.f64 d1 d3)))
(-.f64 (.f64 (+.f64 d2 d4) d1) (+.f64 (pow.f64 d1 2) (.f64 d1 d3)))
(-.f64 (.f64 (+.f64 d2 d4) d1) (+.f64 (pow.f64 d1 2) (.f64 d1 d3)))
(.f64 (+.f64 d1 (sqrt.f64 (.f64 d1 (-.f64 d2 d3)))) (-.f64 (sqrt.f64 (*.f64 d1 (-.f64 d2 d3))) d1))
(-.f64 (+.f64 (.f64 d1 d4) (.f64 d1 (-.f64 d2 d3))) (pow.f64 d1 2))
(-.f64 (+.f64 (.f64 d1 d4) (.f64 d1 (-.f64 d2 d3))) (pow.f64 d1 2))
(-.f64 (+.f64 (.f64 d1 d4) (.f64 d1 (-.f64 d2 d3))) (pow.f64 d1 2))
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 d1 (-.f64 d4 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d2 d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d2 d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 d4) d1)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(.f64 -1 (.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(.f64 -1 (.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 d4)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 d4)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 -1 d1)
(*.f64 -1 d1)
(-.f64 (sqrt.f64 (*.f64 d1 (-.f64 d4 d3))) d1)
(-.f64 (+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (.f64 1/2 (*.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))))) d1)
(-.f64 (+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))))) (+.f64 d1 (.f64 1/8 (*.f64 (pow.f64 d2 2) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3)))))))
(-.f64 (+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (+.f64 (.f64 1/16 (.f64 (pow.f64 d2 3) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 5))))) (.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3))))))) (+.f64 d1 (.f64 1/8 (*.f64 (pow.f64 d2 2) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3)))))))
(-.f64 (sqrt.f64 (*.f64 (+.f64 d2 d4) d1)) d1)
(-.f64 (sqrt.f64 (.f64 (+.f64 d2 d4) d1)) (+.f64 (.f64 1/2 (*.f64 (sqrt.f64 (/.f64 d1 (+.f64 d2 d4))) d3)) d1))
(-.f64 (sqrt.f64 (.f64 (+.f64 d2 d4) d1)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (+.f64 d2 d4))) d3)) (+.f64 d1 (.f64 1/8 (*.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d2 d4) 3))) (pow.f64 d3 2))))))
(-.f64 (sqrt.f64 (.f64 (+.f64 d2 d4) d1)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (+.f64 d2 d4))) d3)) (+.f64 d1 (+.f64 (.f64 1/8 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d2 d4) 3))) (pow.f64 d3 2))) (.f64 1/16 (*.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d2 d4) 5))) (pow.f64 d3 3)))))))
(-.f64 (sqrt.f64 (*.f64 d1 (-.f64 d2 d3))) d1)
(-.f64 (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3))) d4)) (sqrt.f64 (*.f64 d1 (-.f64 d2 d3)))) d1)
(-.f64 (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3))) d4)) (sqrt.f64 (.f64 d1 (-.f64 d2 d3)))) (+.f64 (.f64 1/8 (*.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))) (pow.f64 d4 2))) d1))
(-.f64 (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3))) d4)) (+.f64 (.f64 1/16 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 5))) (pow.f64 d4 3))) (sqrt.f64 (.f64 d1 (-.f64 d2 d3))))) (+.f64 (.f64 1/8 (*.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))) (pow.f64 d4 2))) d1))

Outputs
(sqrt.f64 (*.f64 d1 (-.f64 d4 d3)))
(+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (.f64 1/2 (*.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3))))))
(+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (.f64 (*.f64 1/2 d2) (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))))
(fma.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))) (sqrt.f64 (.f64 d1 (-.f64 d4 d3))))
(-.f64 (+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))))) (.f64 1/8 (*.f64 (pow.f64 d2 2) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3))))))
(+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (-.f64 (.f64 (.f64 1/2 d2) (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))) (.f64 (.f64 1/8 (.f64 d2 d2)) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3))))))
(+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (fma.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))) (.f64 (.f64 -1/8 (*.f64 d2 d2)) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3))))))
(fma.f64 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3))) (.f64 d2 d2)) -1/8 (fma.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))) (sqrt.f64 (.f64 d1 (-.f64 d4 d3)))))
(-.f64 (+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (+.f64 (.f64 1/16 (.f64 (pow.f64 d2 3) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 5))))) (.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3))))))) (.f64 1/8 (*.f64 (pow.f64 d2 2) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3))))))
(+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (-.f64 (fma.f64 1/16 (.f64 (pow.f64 d2 3) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 5)))) (.f64 (.f64 1/2 d2) (sqrt.f64 (/.f64 d1 (-.f64 d4 d3))))) (.f64 (.f64 1/8 (*.f64 d2 d2)) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3))))))
(+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (+.f64 (.f64 1/16 (.f64 (pow.f64 d2 3) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 5))))) (fma.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))) (.f64 (.f64 -1/8 (*.f64 d2 d2)) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3)))))))
(fma.f64 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3))) (.f64 d2 d2)) -1/8 (fma.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))) (fma.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 5))) (.f64 1/16 (pow.f64 d2 3)) (sqrt.f64 (*.f64 d1 (-.f64 d4 d3))))))
(sqrt.f64 (*.f64 (+.f64 d2 d4) d1))
(sqrt.f64 (*.f64 d1 (+.f64 d4 d2)))
(-.f64 (sqrt.f64 (.f64 (+.f64 d2 d4) d1)) (.f64 1/2 (*.f64 (sqrt.f64 (/.f64 d1 (+.f64 d2 d4))) d3)))
(+.f64 (sqrt.f64 (.f64 d1 (+.f64 d4 d2))) (.f64 -1/2 (*.f64 d3 (sqrt.f64 (/.f64 d1 (+.f64 d4 d2))))))
(+.f64 (sqrt.f64 (.f64 d1 (+.f64 d4 d2))) (.f64 (*.f64 d3 (sqrt.f64 (/.f64 d1 (+.f64 d4 d2)))) -1/2))
(fma.f64 (.f64 d3 (sqrt.f64 (/.f64 d1 (+.f64 d4 d2)))) -1/2 (sqrt.f64 (.f64 d1 (+.f64 d4 d2))))
(-.f64 (sqrt.f64 (.f64 (+.f64 d2 d4) d1)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (+.f64 d2 d4))) d3)) (.f64 1/8 (*.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d2 d4) 3))) (pow.f64 d3 2)))))
(-.f64 (sqrt.f64 (.f64 d1 (+.f64 d4 d2))) (fma.f64 1/2 (.f64 d3 (sqrt.f64 (/.f64 d1 (+.f64 d4 d2)))) (.f64 1/8 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d4 d2) 3))) (*.f64 d3 d3)))))
(+.f64 (sqrt.f64 (.f64 d1 (+.f64 d4 d2))) (.f64 d3 (-.f64 (.f64 (sqrt.f64 (/.f64 d1 (+.f64 d4 d2))) -1/2) (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d4 d2) 3))) (*.f64 1/8 d3)))))
(-.f64 (sqrt.f64 (.f64 (+.f64 d2 d4) d1)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (+.f64 d2 d4))) d3)) (+.f64 (.f64 1/8 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d2 d4) 3))) (pow.f64 d3 2))) (.f64 1/16 (*.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d2 d4) 5))) (pow.f64 d3 3))))))
(-.f64 (sqrt.f64 (.f64 d1 (+.f64 d4 d2))) (fma.f64 1/2 (.f64 d3 (sqrt.f64 (/.f64 d1 (+.f64 d4 d2)))) (fma.f64 1/8 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d4 d2) 3))) (.f64 d3 d3)) (.f64 1/16 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d4 d2) 5))) (pow.f64 d3 3))))))
(-.f64 (sqrt.f64 (.f64 d1 (+.f64 d4 d2))) (fma.f64 d3 (.f64 1/2 (sqrt.f64 (/.f64 d1 (+.f64 d4 d2)))) (.f64 (.f64 d3 d3) (+.f64 (.f64 1/8 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d4 d2) 3)))) (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d4 d2) 5))) (*.f64 1/16 d3))))))
(+.f64 (sqrt.f64 (.f64 d1 (+.f64 d4 d2))) (fma.f64 d3 (-.f64 (.f64 (sqrt.f64 (/.f64 d1 (+.f64 d4 d2))) -1/2) (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d4 d2) 3))) (.f64 1/8 d3))) (.f64 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d4 d2) 5))) (pow.f64 d3 3)) -1/16)))
(sqrt.f64 (*.f64 d1 (-.f64 d2 d3)))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3))) d4)) (sqrt.f64 (*.f64 d1 (-.f64 d2 d3))))
(fma.f64 1/2 (.f64 d4 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3)))) (sqrt.f64 (.f64 d1 (-.f64 d2 d3))))
(fma.f64 d4 (.f64 1/2 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3)))) (sqrt.f64 (.f64 d1 (-.f64 d2 d3))))
(-.f64 (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3))) d4)) (sqrt.f64 (.f64 d1 (-.f64 d2 d3)))) (.f64 1/8 (*.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))) (pow.f64 d4 2))))
(+.f64 (fma.f64 1/2 (.f64 d4 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3)))) (sqrt.f64 (.f64 d1 (-.f64 d2 d3)))) (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))) (*.f64 d4 d4))))
(+.f64 (fma.f64 1/2 (.f64 d4 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3)))) (sqrt.f64 (.f64 d1 (-.f64 d2 d3)))) (.f64 (.f64 d4 (*.f64 d4 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))))) -1/8))
(fma.f64 (.f64 d4 (.f64 d4 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))))) -1/8 (fma.f64 d4 (.f64 1/2 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3)))) (sqrt.f64 (.f64 d1 (-.f64 d2 d3)))))
(-.f64 (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3))) d4)) (+.f64 (.f64 1/16 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 5))) (pow.f64 d4 3))) (sqrt.f64 (.f64 d1 (-.f64 d2 d3))))) (.f64 1/8 (*.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))) (pow.f64 d4 2))))
(+.f64 (fma.f64 1/2 (.f64 d4 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3)))) (fma.f64 1/16 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 5))) (pow.f64 d4 3)) (sqrt.f64 (.f64 d1 (-.f64 d2 d3))))) (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))) (.f64 d4 d4))))
(+.f64 (fma.f64 1/2 (.f64 d4 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3)))) (fma.f64 1/16 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 5))) (pow.f64 d4 3)) (sqrt.f64 (.f64 d1 (-.f64 d2 d3))))) (.f64 (.f64 d4 (.f64 d4 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))))) -1/8))
(fma.f64 (.f64 d4 (.f64 d4 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))))) -1/8 (fma.f64 d4 (.f64 1/2 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3)))) (fma.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 5))) (.f64 1/16 (pow.f64 d4 3)) (sqrt.f64 (*.f64 d1 (-.f64 d2 d3))))))
(+.f64 (fma.f64 d4 (.f64 1/2 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3)))) (sqrt.f64 (.f64 d1 (-.f64 d2 d3)))) (.f64 (.f64 d4 d4) (fma.f64 d4 (.f64 1/16 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 5)))) (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))) -1/8))))
(*.f64 -1 (pow.f64 d1 2))
(neg.f64 (*.f64 d1 d1))
(*.f64 d1 (neg.f64 d1))
(*.f64 -1 (pow.f64 d1 2))
(neg.f64 (*.f64 d1 d1))
(*.f64 d1 (neg.f64 d1))
(.f64 (+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) d1) (-.f64 (sqrt.f64 (*.f64 d1 (-.f64 d4 d3))) d1))
(.f64 (+.f64 d1 (sqrt.f64 (.f64 d1 (-.f64 d4 d3)))) (-.f64 (sqrt.f64 (*.f64 d1 (-.f64 d4 d3))) d1))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 (-.f64 d4 d3))) (pow.f64 d1 2))
(-.f64 (fma.f64 d2 d1 (.f64 d1 (-.f64 d4 d3))) (.f64 d1 d1))
(*.f64 d1 (-.f64 (+.f64 (-.f64 d4 d3) d2) d1))
(*.f64 d1 (+.f64 d4 (-.f64 d2 (+.f64 d1 d3))))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 (-.f64 d4 d3))) (pow.f64 d1 2))
(-.f64 (fma.f64 d2 d1 (.f64 d1 (-.f64 d4 d3))) (.f64 d1 d1))
(*.f64 d1 (-.f64 (+.f64 (-.f64 d4 d3) d2) d1))
(*.f64 d1 (+.f64 d4 (-.f64 d2 (+.f64 d1 d3))))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 (-.f64 d4 d3))) (pow.f64 d1 2))
(-.f64 (fma.f64 d2 d1 (.f64 d1 (-.f64 d4 d3))) (.f64 d1 d1))
(*.f64 d1 (-.f64 (+.f64 (-.f64 d4 d3) d2) d1))
(*.f64 d1 (+.f64 d4 (-.f64 d2 (+.f64 d1 d3))))
(.f64 (-.f64 (sqrt.f64 (.f64 (+.f64 d2 d4) d1)) d1) (+.f64 d1 (sqrt.f64 (*.f64 (+.f64 d2 d4) d1))))
(.f64 (-.f64 (sqrt.f64 (.f64 d1 (+.f64 d4 d2))) d1) (+.f64 d1 (sqrt.f64 (*.f64 d1 (+.f64 d4 d2)))))
(-.f64 (.f64 (+.f64 d2 d4) d1) (+.f64 (pow.f64 d1 2) (.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d1 (-.f64 d4 d3))) (.f64 d1 d1))
(*.f64 d1 (-.f64 (+.f64 (-.f64 d4 d3) d2) d1))
(*.f64 d1 (+.f64 d4 (-.f64 d2 (+.f64 d1 d3))))
(-.f64 (.f64 (+.f64 d2 d4) d1) (+.f64 (pow.f64 d1 2) (.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d1 (-.f64 d4 d3))) (.f64 d1 d1))
(*.f64 d1 (-.f64 (+.f64 (-.f64 d4 d3) d2) d1))
(*.f64 d1 (+.f64 d4 (-.f64 d2 (+.f64 d1 d3))))
(-.f64 (.f64 (+.f64 d2 d4) d1) (+.f64 (pow.f64 d1 2) (.f64 d1 d3)))
(-.f64 (fma.f64 d2 d1 (.f64 d1 (-.f64 d4 d3))) (.f64 d1 d1))
(*.f64 d1 (-.f64 (+.f64 (-.f64 d4 d3) d2) d1))
(*.f64 d1 (+.f64 d4 (-.f64 d2 (+.f64 d1 d3))))
(.f64 (+.f64 d1 (sqrt.f64 (.f64 d1 (-.f64 d2 d3)))) (-.f64 (sqrt.f64 (*.f64 d1 (-.f64 d2 d3))) d1))
(-.f64 (+.f64 (.f64 d1 d4) (.f64 d1 (-.f64 d2 d3))) (pow.f64 d1 2))
(-.f64 (fma.f64 d2 d1 (.f64 d1 (-.f64 d4 d3))) (.f64 d1 d1))
(*.f64 d1 (-.f64 (+.f64 (-.f64 d4 d3) d2) d1))
(*.f64 d1 (+.f64 d4 (-.f64 d2 (+.f64 d1 d3))))
(-.f64 (+.f64 (.f64 d1 d4) (.f64 d1 (-.f64 d2 d3))) (pow.f64 d1 2))
(-.f64 (fma.f64 d2 d1 (.f64 d1 (-.f64 d4 d3))) (.f64 d1 d1))
(*.f64 d1 (-.f64 (+.f64 (-.f64 d4 d3) d2) d1))
(*.f64 d1 (+.f64 d4 (-.f64 d2 (+.f64 d1 d3))))
(-.f64 (+.f64 (.f64 d1 d4) (.f64 d1 (-.f64 d2 d3))) (pow.f64 d1 2))
(-.f64 (fma.f64 d2 d1 (.f64 d1 (-.f64 d4 d3))) (.f64 d1 d1))
(*.f64 d1 (-.f64 (+.f64 (-.f64 d4 d3) d2) d1))
(*.f64 d1 (+.f64 d4 (-.f64 d2 (+.f64 d1 d3))))
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(*.f64 (-.f64 (+.f64 d2 d4) d3) d1)
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(*.f64 d1 (-.f64 d4 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(*.f64 d2 d1)
(*.f64 d1 d2)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(*.f64 d2 d1)
(*.f64 d1 d2)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(*.f64 (+.f64 d2 d4) d1)
(*.f64 d1 (+.f64 d4 d2))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(.f64 -1 (.f64 d1 d3))
(neg.f64 (*.f64 d1 d3))
(*.f64 d3 (neg.f64 d1))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(.f64 -1 (.f64 d1 d3))
(neg.f64 (*.f64 d1 d3))
(*.f64 d3 (neg.f64 d1))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(*.f64 d1 (-.f64 d2 d3))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(*.f64 d1 d4)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(*.f64 d1 d4)
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(-.f64 (+.f64 (.f64 d2 d1) (.f64 d1 d4)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 (-.f64 d4 d3)))
(*.f64 d1 (+.f64 (-.f64 d4 d3) d2))
(*.f64 d1 (-.f64 d4 (-.f64 d3 d2)))
(*.f64 -1 d1)
(neg.f64 d1)
(*.f64 -1 d1)
(neg.f64 d1)
(-.f64 (sqrt.f64 (*.f64 d1 (-.f64 d4 d3))) d1)
(-.f64 (+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (.f64 1/2 (*.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))))) d1)
(+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (-.f64 (.f64 (*.f64 1/2 d2) (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))) d1))
(-.f64 (fma.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))) (sqrt.f64 (.f64 d1 (-.f64 d4 d3)))) d1)
(fma.f64 d2 (.f64 1/2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))) (-.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) d1))
(-.f64 (+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))))) (+.f64 d1 (.f64 1/8 (*.f64 (pow.f64 d2 2) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3)))))))
(+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (-.f64 (.f64 (.f64 1/2 d2) (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))) (+.f64 d1 (.f64 (.f64 1/8 (.f64 d2 d2)) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3)))))))
(-.f64 (fma.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))) (sqrt.f64 (.f64 d1 (-.f64 d4 d3)))) (fma.f64 1/8 (.f64 d2 (.f64 d2 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3))))) d1))
(-.f64 (fma.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))) (sqrt.f64 (.f64 d1 (-.f64 d4 d3)))) (fma.f64 1/8 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3))) (.f64 d2 d2)) d1))
(-.f64 (+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (+.f64 (.f64 1/16 (.f64 (pow.f64 d2 3) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 5))))) (.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3))))))) (+.f64 d1 (.f64 1/8 (*.f64 (pow.f64 d2 2) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3)))))))
(+.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (-.f64 (fma.f64 1/16 (.f64 (pow.f64 d2 3) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 5)))) (.f64 (.f64 1/2 d2) (sqrt.f64 (/.f64 d1 (-.f64 d4 d3))))) (+.f64 d1 (.f64 (.f64 1/8 (*.f64 d2 d2)) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3)))))))
(+.f64 (fma.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))) (.f64 1/16 (.f64 (pow.f64 d2 3) (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 5)))))) (-.f64 (sqrt.f64 (.f64 d1 (-.f64 d4 d3))) (fma.f64 1/8 (.f64 d2 (.f64 d2 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3))))) d1)))
(-.f64 (fma.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 d1 (-.f64 d4 d3)))) (fma.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 5))) (.f64 1/16 (pow.f64 d2 3)) (sqrt.f64 (.f64 d1 (-.f64 d4 d3))))) (fma.f64 1/8 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d4 d3) 3))) (*.f64 d2 d2)) d1))
(-.f64 (sqrt.f64 (*.f64 (+.f64 d2 d4) d1)) d1)
(-.f64 (sqrt.f64 (*.f64 d1 (+.f64 d4 d2))) d1)
(-.f64 (sqrt.f64 (.f64 (+.f64 d2 d4) d1)) (+.f64 (.f64 1/2 (*.f64 (sqrt.f64 (/.f64 d1 (+.f64 d2 d4))) d3)) d1))
(-.f64 (sqrt.f64 (.f64 d1 (+.f64 d4 d2))) (fma.f64 1/2 (.f64 d3 (sqrt.f64 (/.f64 d1 (+.f64 d4 d2)))) d1))
(-.f64 (sqrt.f64 (.f64 (+.f64 d2 d4) d1)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (+.f64 d2 d4))) d3)) (+.f64 d1 (.f64 1/8 (*.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d2 d4) 3))) (pow.f64 d3 2))))))
(-.f64 (sqrt.f64 (.f64 d1 (+.f64 d4 d2))) (+.f64 (fma.f64 1/2 (.f64 d3 (sqrt.f64 (/.f64 d1 (+.f64 d4 d2)))) d1) (.f64 1/8 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d4 d2) 3))) (*.f64 d3 d3)))))
(-.f64 (sqrt.f64 (.f64 d1 (+.f64 d4 d2))) (fma.f64 1/2 (.f64 d3 (sqrt.f64 (/.f64 d1 (+.f64 d4 d2)))) (fma.f64 1/8 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d4 d2) 3))) (.f64 d3 d3)) d1)))
(-.f64 (sqrt.f64 (.f64 d1 (+.f64 d4 d2))) (fma.f64 1/2 (.f64 d3 (sqrt.f64 (/.f64 d1 (+.f64 d4 d2)))) (fma.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d4 d2) 3))) (.f64 d3 (.f64 d3 1/8)) d1)))
(-.f64 (sqrt.f64 (.f64 (+.f64 d2 d4) d1)) (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (+.f64 d2 d4))) d3)) (+.f64 d1 (+.f64 (.f64 1/8 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d2 d4) 3))) (pow.f64 d3 2))) (.f64 1/16 (*.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d2 d4) 5))) (pow.f64 d3 3)))))))
(-.f64 (sqrt.f64 (.f64 d1 (+.f64 d4 d2))) (+.f64 (fma.f64 1/2 (.f64 d3 (sqrt.f64 (/.f64 d1 (+.f64 d4 d2)))) d1) (fma.f64 1/8 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d4 d2) 3))) (.f64 d3 d3)) (.f64 1/16 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d4 d2) 5))) (pow.f64 d3 3))))))
(-.f64 (-.f64 (sqrt.f64 (.f64 d1 (+.f64 d4 d2))) (fma.f64 1/2 (.f64 d3 (sqrt.f64 (/.f64 d1 (+.f64 d4 d2)))) (fma.f64 1/8 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d4 d2) 3))) (.f64 d3 d3)) d1))) (.f64 1/16 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d4 d2) 5))) (pow.f64 d3 3))))
(-.f64 (sqrt.f64 (.f64 d1 (+.f64 d4 d2))) (fma.f64 1/2 (.f64 d3 (sqrt.f64 (/.f64 d1 (+.f64 d4 d2)))) (fma.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d4 d2) 3))) (.f64 d3 (.f64 d3 1/8)) (fma.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (+.f64 d4 d2) 5))) (*.f64 1/16 (pow.f64 d3 3)) d1))))
(-.f64 (sqrt.f64 (*.f64 d1 (-.f64 d2 d3))) d1)
(-.f64 (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3))) d4)) (sqrt.f64 (*.f64 d1 (-.f64 d2 d3)))) d1)
(-.f64 (fma.f64 1/2 (.f64 d4 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3)))) (sqrt.f64 (.f64 d1 (-.f64 d2 d3)))) d1)
(fma.f64 d4 (.f64 1/2 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3)))) (-.f64 (sqrt.f64 (.f64 d1 (-.f64 d2 d3))) d1))
(-.f64 (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3))) d4)) (sqrt.f64 (.f64 d1 (-.f64 d2 d3)))) (+.f64 (.f64 1/8 (*.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))) (pow.f64 d4 2))) d1))
(-.f64 (fma.f64 1/2 (.f64 d4 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3)))) (sqrt.f64 (.f64 d1 (-.f64 d2 d3)))) (fma.f64 1/8 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))) (.f64 d4 d4)) d1))
(-.f64 (fma.f64 1/2 (.f64 d4 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3)))) (sqrt.f64 (.f64 d1 (-.f64 d2 d3)))) (fma.f64 1/8 (.f64 d4 (.f64 d4 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))))) d1))
(fma.f64 d4 (.f64 1/2 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3)))) (-.f64 (sqrt.f64 (.f64 d1 (-.f64 d2 d3))) (fma.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))) (.f64 d4 (.f64 d4 1/8)) d1)))
(-.f64 (+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3))) d4)) (+.f64 (.f64 1/16 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 5))) (pow.f64 d4 3))) (sqrt.f64 (.f64 d1 (-.f64 d2 d3))))) (+.f64 (.f64 1/8 (*.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))) (pow.f64 d4 2))) d1))
(-.f64 (fma.f64 1/2 (.f64 d4 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3)))) (fma.f64 1/16 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 5))) (pow.f64 d4 3)) (sqrt.f64 (.f64 d1 (-.f64 d2 d3))))) (fma.f64 1/8 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))) (*.f64 d4 d4)) d1))
(-.f64 (fma.f64 1/2 (.f64 d4 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3)))) (fma.f64 1/16 (.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 5))) (pow.f64 d4 3)) (sqrt.f64 (.f64 d1 (-.f64 d2 d3))))) (fma.f64 1/8 (.f64 d4 (*.f64 d4 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))))) d1))
(-.f64 (fma.f64 d4 (.f64 1/2 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3)))) (fma.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 5))) (.f64 1/16 (pow.f64 d4 3)) (sqrt.f64 (.f64 d1 (-.f64 d2 d3))))) (fma.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))) (.f64 d4 (*.f64 d4 1/8)) d1))
(+.f64 (fma.f64 d4 (.f64 1/2 (sqrt.f64 (/.f64 d1 (-.f64 d2 d3)))) (sqrt.f64 (.f64 d1 (-.f64 d2 d3)))) (fma.f64 (.f64 d4 d4) (fma.f64 d4 (.f64 1/16 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 5)))) (*.f64 (sqrt.f64 (/.f64 d1 (pow.f64 (-.f64 d2 d3) 3))) -1/8)) (neg.f64 d1)))

prune139.0ms (3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	299	0	299
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	299	2	301

Error

Counts

301 → 2

Alt Table

Status

Error

Program

✓

0.0b

(-.f64 (+.f64 (-.f64 (*.f64 d1 d2) (*.f64 d1 d3)) (*.f64 d4 d1)) (*.f64 d1 d1))

✓

32.5b

(*.f64 (+.f64 (sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1) (-.f64 (sqrt.f64 (*.f64 d1 (+.f64 (-.f64 d2 d3) d4))) d1))

Compiler

Compiled 8667 to 1873 computations (78.4% saved)

regimes525.0ms (11.1%)

Accuracy

Total 0.0b remaining (24.4%)

Threshold costs 0.0b (24.4%)

Counts

111 → 1

Compiler

Compiled 9198 to 5754 computations (37.4% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	18	19
2	27	19
3	41	19
4	50	19
5	56	19
6	58	19

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (.f64 (+.f64 d2 d4) d1) (+.f64 (pow.f64 d1 2) (.f64 d1 d3)))

Outputs
(-.f64 (.f64 (+.f64 d2 d4) d1) (+.f64 (pow.f64 d1 2) (.f64 d1 d3)))

end45.0ms (0.9%)

Stop Event

1×

done

Remove

(sort d2 d4)

Compiler

Compiled 112 to 66 computations (41.1% saved)

Details

analyze1.2s (26.5%)

sample1.3s (28.6%)

preprocess43.0ms (0.9%)

simplify40.0ms (0.8%)

prune3.0ms (0.1%)

localize12.0ms (0.2%)

series35.0ms (0.7%)

rewrite68.0ms (1.4%)

simplify49.0ms (1%)

prune122.0ms (2.6%)

localize9.0ms (0.2%)

series894.0ms (19%)

rewrite79.0ms (1.7%)

simplify55.0ms (1.2%)

prune139.0ms (3%)

regimes525.0ms (11.1%)

simplify2.0ms (0.1%)

end45.0ms (0.9%)

Profiling