Details

analyze174.0ms (8.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
25%	71.8%	3.3%	9
34.3%	60.1%	5.6%	10
41.3%	51.5%	7.2%	11
46.8%	44.1%	9.1%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample925.0ms (47.4%)

Results

797.0ms	8248×	body	64	valid
113.0ms	1242×	body	64	invalid
1.0ms	8×	body	128	valid

preprocess17.0ms (0.9%)

Algorithm

2×	egg-herbie

Rules

12×	`fma-def_binary64`
7×	`*-commutative_binary64`
6×	`+-commutative_binary64`
4×	`distribute-lft-out_binary64`
2×	`distribute-rgt-out_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	28
1	31	28
2	47	28
0	3	3
1	3	3

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2
1

Call 2

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

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d2 d3))
(*.f64 d2 (+.f64 d1 d3))
(+.f64 (.f64 d3 d2) (.f64 d3 d1))
(*.f64 d3 (+.f64 d2 d1))
(*.f64 d3 (+.f64 d1 d2))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))

Symmetry

(sort d2 d3)

Compiler

Compiled 10 to 6 computations (40% saved)

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

4×	`fma-def_binary64`
3×	`*-commutative_binary64`
2×	`+-commutative_binary64`
1×	`distribute-lft-out_binary64`
1×	`distribute-rgt-out_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	13	7
2	19	7

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))

prune2.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 51 to 30 computations (41.2% saved)

localize7.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series5.0ms (0.2%)

Counts

1 → 24

Calls

9 calls:

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

rewrite43.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

779×	`pow1_binary64`
725×	`add-log-exp_binary64`
725×	`log1p-expm1-u_binary64`
725×	`expm1-log1p-u_binary64`
706×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	134	7
2	1975	7

Stop Event

1×	node limit

Counts

1 → 24

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 d1 d2) (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 d1 d3) (.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 d1 d2) 1) (.f64 (.f64 d1 d3) 1))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 d1 (+.f64 d2 d3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 d2) (.f64 d1 d3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 d3) (.f64 d1 d3))) (-.f64 (.f64 d1 d2) (.f64 d1 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3)) d1) (fma.f64 d2 d2 (.f64 d3 (-.f64 d3 d2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 d2 d2) (.f64 d3 d3)) d1) (-.f64 d2 d3))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) (pow.f64 d3 3))) (fma.f64 d2 d2 (.f64 d3 (-.f64 d3 d2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 d1 (-.f64 (.f64 d2 d2) (.f64 d3 d3))) (-.f64 d2 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 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 3) 1/3)))) (#(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 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 cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 d3) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (+.f64 d2 d3) 3) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 d1 (+.f64 d2 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 d1 d2 (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 d2 d1 (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 d1 (+.f64 d2 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))))))

Outputs

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

simplify12.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
4×	`fma-def_binary64`
2×	`+-commutative_binary64`
2×	`distribute-rgt-out_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	168
1	11	150
2	18	150
3	20	150

Stop Event

1×

saturated

Counts

48 → 29

Calls

Call 1

Inputs
(*.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 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.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 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))

prune23.0ms (1.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	27	2	29
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	28	3	31

Error

Counts

31 → 3

Alt Table

Status	Error	Program
▶	0.0b	(fma.f64 d2 d1 (*.f64 d1 d3))
	35.7b	(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 d2) (*.f64 d1 d3)))))
✓	0.0b	(*.f64 d1 (+.f64 d2 d3))

Status

Error

Program

▶

0.0b

(fma.f64 d2 d1 (*.f64 d1 d3))

35.7b

(/.f64 (+.f64 (pow.f64 (*.f64 d1 d2) 3) (pow.f64 (*.f64 d1 d3) 3)) (+.f64 (*.f64 (*.f64 d1 d2) (*.f64 d1 d2)) (-.f64 (*.f64 (*.f64 d1 d3) (*.f64 d1 d3)) (*.f64 (*.f64 d1 d2) (*.f64 d1 d3)))))

✓

0.0b

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

Compiler

Compiled 388 to 149 computations (61.6% saved)

localize31.0ms (1.6%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 d2 d1 (*.f64 d1 d3))

series5.0ms (0.3%)

Counts

1 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	d1	@	0	(fma.f64 d2 d1 (*.f64 d1 d3))
1.0ms	d1	@	inf	(fma.f64 d2 d1 (*.f64 d1 d3))
1.0ms	d1	@	-inf	(fma.f64 d2 d1 (*.f64 d1 d3))
1.0ms	d2	@	0	(fma.f64 d2 d1 (*.f64 d1 d3))
0.0ms	d2	@	-inf	(fma.f64 d2 d1 (*.f64 d1 d3))

rewrite36.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

575×	`pow1_binary64`
525×	`add-log-exp_binary64`
525×	`log1p-expm1-u_binary64`
525×	`expm1-log1p-u_binary64`
512×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	118	7
2	1414	7

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

Inputs
(fma.f64 d2 d1 (*.f64 d1 d3))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 d1 d3) (.f64 d2 d1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 d2 d1) (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 d2 d1) 1) (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 d1 (+.f64 d2 d3))) 1)))) (#(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 (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 (.f64 d1 (+.f64 d2 d3))) (sqrt.f64 (.f64 d1 (+.f64 d2 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 d2 d1) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (.f64 (.f64 d2 d1) (.f64 d2 d1)) (-.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 (.f64 d2 d1) (.f64 d1 d3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 d2 d1) (.f64 d2 d1)) (pow.f64 (.f64 d1 d3) 2)) (-.f64 (.f64 d2 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 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 3) 1/3)))) (#(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 sqrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.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 expm1.f64 (log1p.f64 (.f64 d1 (+.f64 d2 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d1 d3) (*.f64 d2 d1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 d2 d1) (*.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 d2 d1) 1) (*.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 d1 (+.f64 d2 d3))) 1)))) (#(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 (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 (*.f64 d1 (+.f64 d2 d3))) (sqrt.f64 (*.f64 d1 (+.f64 d2 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 d2 d1) 3) (pow.f64 (*.f64 d1 d3) 3)) (+.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (-.f64 (pow.f64 (*.f64 d1 d3) 2) (*.f64 (*.f64 d2 d1) (*.f64 d1 d3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (pow.f64 (*.f64 d1 d3) 2)) (-.f64 (*.f64 d2 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 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3) 1/3)))) (#(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 sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.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 expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 d3))))))))

simplify48.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

112×	`fma-neg_binary64`
75×	`fma-def_binary64`
31×	`unsub-neg_binary64`
25×	`cancel-sign-sub-inv_binary64`
23×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	234
1	42	234
2	109	234
3	208	234
4	391	234
5	528	234
6	584	234
7	589	234

Stop Event

1×

saturated

Counts

58 → 27

Calls

Call 1

Inputs
(*.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 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 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(*.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 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.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 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d3 d2))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(*.f64 d1 (+.f64 d3 d2))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d3 d2))

prune27.0ms (1.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	26	1	27
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	27	3	30

Error

Counts

30 → 3

Alt Table

Status

Error

Program

✓

0.0b

(fma.f64 d2 d1 (*.f64 d1 d3))

✓

0.0b

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

▶

35.7b

(/.f64 (+.f64 (pow.f64 (*.f64 d2 d1) 3) (pow.f64 (*.f64 d1 d3) 3)) (+.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (-.f64 (pow.f64 (*.f64 d1 d3) 2) (*.f64 (*.f64 d2 d1) (*.f64 d1 d3)))))

Compiler

Compiled 341 to 125 computations (63.3% saved)

localize13.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.1b	(-.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 (.f64 d2 d1) (.f64 d1 d3)))
✓	1.7b	(.f64 (.f64 d2 d1) (*.f64 d1 d3))
✓	2.0b	(+.f64 (pow.f64 (.f64 d2 d1) 3) (pow.f64 (.f64 d1 d3) 3))
✓	34.7b	(/.f64 (+.f64 (pow.f64 (.f64 d2 d1) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (.f64 (.f64 d2 d1) (.f64 d2 d1)) (-.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 (.f64 d2 d1) (*.f64 d1 d3)))))

series38.0ms (1.9%)

Counts

4 → 144

Calls

36 calls:

Time	Variable		Point	Expression
9.0ms	d2	@	-inf	(+.f64 (pow.f64 (.f64 d2 d1) 3) (pow.f64 (.f64 d1 d3) 3))
4.0ms	d3	@	0	(.f64 (.f64 d2 d1) (*.f64 d1 d3))
4.0ms	d1	@	0	(/.f64 (+.f64 (pow.f64 (.f64 d2 d1) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (.f64 (.f64 d2 d1) (.f64 d2 d1)) (-.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 (.f64 d2 d1) (*.f64 d1 d3)))))
2.0ms	d1	@	-inf	(/.f64 (+.f64 (pow.f64 (.f64 d2 d1) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (.f64 (.f64 d2 d1) (.f64 d2 d1)) (-.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 (.f64 d2 d1) (*.f64 d1 d3)))))
2.0ms	d1	@	inf	(/.f64 (+.f64 (pow.f64 (.f64 d2 d1) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (.f64 (.f64 d2 d1) (.f64 d2 d1)) (-.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 (.f64 d2 d1) (*.f64 d1 d3)))))

rewrite99.0ms (5.1%)

Algorithm

1×	batch-egg-rewrite

Rules

613×	`fma-neg_binary64`
324×	`expm1-udef_binary64`
324×	`log1p-udef_binary64`
205×	`add-sqr-sqrt_binary64`
203×	`pow1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	91
1	415	49
2	6081	49

Stop Event

1×	node limit

Counts

4 → 163

Calls

Call 1

Inputs
(/.f64 (+.f64 (pow.f64 (.f64 d2 d1) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (.f64 (.f64 d2 d1) (.f64 d2 d1)) (-.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 (.f64 d2 d1) (*.f64 d1 d3)))))
(+.f64 (pow.f64 (.f64 d2 d1) 3) (pow.f64 (.f64 d1 d3) 3))
(.f64 (.f64 d2 d1) (*.f64 d1 d3))
(-.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 (.f64 d2 d1) (.f64 d1 d3)))

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

simplify93.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

739×	`fma-def_binary64`
539×	`associate-l_binary64`
508×	`unswap-sqr_binary64`
489×	`associate-r_binary64`
220×	`associate-+l+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	107	1986
1	390	1818
2	1516	1818
3	6236	1809

Stop Event

1×	node limit

Counts

307 → 198

Calls

Call 1

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

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

prune307.0ms (15.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

201 → 3

Alt Table

Status

Error

Program

✓

0.0b

(fma.f64 d2 d1 (*.f64 d1 d3))

✓

0.0b

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

✓

35.7b

(/.f64 (+.f64 (pow.f64 (*.f64 d2 d1) 3) (pow.f64 (*.f64 d1 d3) 3)) (+.f64 (*.f64 (*.f64 d2 d1) (*.f64 d2 d1)) (-.f64 (pow.f64 (*.f64 d1 d3) 2) (*.f64 (*.f64 d2 d1) (*.f64 d1 d3)))))

Compiler

Compiled 7029 to 2355 computations (66.5% saved)

regimes23.0ms (1.2%)

Accuracy

Total -35.7b remaining (-304535.6%)

Threshold costs -35.7b (-304535.6%)

Counts

5 → 1

Calls

Call 1

Inputs
(/.f64 (+.f64 (pow.f64 (.f64 d2 d1) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (.f64 (.f64 d2 d1) (.f64 d2 d1)) (-.f64 (pow.f64 (.f64 d1 d3) 2) (.f64 (.f64 d2 d1) (*.f64 d1 d3)))))
(fma.f64 d2 d1 (*.f64 d1 d3))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (+.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (-.f64 (.f64 (.f64 d1 d3) (.f64 d1 d3)) (.f64 (.f64 d1 d2) (*.f64 d1 d3)))))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))

Outputs
(*.f64 d1 (+.f64 d2 d3))

Results

7.0ms	0.0b	`d1`
4.0ms	0.0b	`d2`
4.0ms	0.0b	`d3`
4.0ms	0.0b	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`

Compiler

Compiled 111 to 48 computations (56.8% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7

Stop Event

1×

saturated

Calls

Call 1

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

Outputs
(*.f64 d1 (+.f64 d2 d3))

end13.0ms (0.7%)

Stop Event

1×

done

Remove

(sort d2 d3)

Compiler

Compiled 32 to 20 computations (37.5% saved)

Details

analyze174.0ms (8.9%)

sample925.0ms (47.4%)

preprocess17.0ms (0.9%)

simplify7.0ms (0.3%)

prune2.0ms (0.1%)

localize7.0ms (0.3%)

series5.0ms (0.2%)

rewrite43.0ms (2.2%)

simplify12.0ms (0.6%)

prune23.0ms (1.2%)

localize31.0ms (1.6%)

series5.0ms (0.3%)

rewrite36.0ms (1.9%)

simplify48.0ms (2.5%)

prune27.0ms (1.4%)

localize13.0ms (0.7%)

series38.0ms (1.9%)

rewrite99.0ms (5.1%)

simplify93.0ms (4.8%)

prune307.0ms (15.8%)

regimes23.0ms (1.2%)

simplify2.0ms (0.1%)

end13.0ms (0.7%)

Profiling