Details

analyze189.0ms (4.8%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
25.8%	25%	71.8%	0.1%	3.1%	0%	0%	9
36.4%	34.3%	60.1%	0.1%	5.5%	0%	0%	10
44.5%	41.3%	51.5%	0.1%	7%	0%	0%	11
51.5%	46.8%	44.1%	0.1%	9%	0%	0%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.8s (45%)

Results

1.5s	8256×	body	256	valid
171.0ms	1232×	body	256	infinite

Bogosity

preprocess294.0ms (7.5%)

Algorithm

2×

egglog

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify124.0ms (3.2%)

Algorithm

1×

egglog

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))

eval1.0ms (0%)

Compiler: Compiled 15 to 8 computations (46.7% saved)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

Counts

3 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 18 to 11 computations (38.9% saved)

localize50.0ms (1.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

series13.0ms (0.3%)

Counts

1 → 24

Calls

9 calls:

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

Compiler

Compiled 740 to 35 computations (95.3% saved)

rewrite217.0ms (5.5%)

Algorithm

1×	batch-egg-rewrite

Rules

97× egg-rr

Counts

1 → 97

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 d2) (.f64 (cbrt.f64 (.f64 d2 d2)) d1) (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (.f64 d1 d1)) d3) (.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 d3 (cbrt.f64 d1)) (cbrt.f64 (.f64 d1 d1)) (.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 d1 d2) (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 d1 d2) 1 (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 d1 d3) (.f64 d1 d2))))) (#(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 (.f64 d2 (cbrt.f64 d1)) (cbrt.f64 (.f64 d1 d1)) (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 d1 d3) 1 (.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d3) (cbrt.f64 d1) (.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 d1)) d3)) (.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 d1 d1)) (.f64 d3 (cbrt.f64 d1)) (.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 d3 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) 2) (.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 d1)) d2)) (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 d2 (cbrt.f64 d1)) (cbrt.f64 d1)) (cbrt.f64 d1) (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (cbrt.f64 (.f64 d1 d2)) (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 d1 d1)) (.f64 d2 (cbrt.f64 d1)) (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (.f64 d2 d2)) d1) (cbrt.f64 d2) (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 d2 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) 2) (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (.f64 d1 d1)) d2) (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 d1 (cbrt.f64 d2)) (cbrt.f64 (.f64 d2 d2)) (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 d3) (.f64 (cbrt.f64 (.f64 d3 d3)) d1) (.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 d3 d1 (.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 d1 d3 (.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 d1 (cbrt.f64 d3)) (cbrt.f64 (.f64 d3 d3)) (.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 d1 (cbrt.f64 d3)) (cbrt.f64 d3)) (cbrt.f64 d3) (.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 d3 d3)) (.f64 d1 (cbrt.f64 d3)) (.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 d1 (cbrt.f64 d3)) (pow.f64 (cbrt.f64 (cbrt.f64 d3)) 2)) (cbrt.f64 (.f64 d3 (cbrt.f64 d3))) (.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (cbrt.f64 (.f64 d1 d3)) (.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (.f64 d3 d3)) d1) (cbrt.f64 d3) (.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cbrt.f64 d3)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d3)) 2) (.f64 (cbrt.f64 (.f64 d3 d3)) d1)) (.f64 d1 d2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d2) (cbrt.f64 d1) (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 d2 d2)) (.f64 d1 (cbrt.f64 d2)) (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cbrt.f64 d2)) (.f64 (cbrt.f64 (cbrt.f64 (.f64 d2 d2))) (.f64 (cbrt.f64 (.f64 d2 d2)) d1)) (.f64 d1 d3))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2)) 0) (/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2))) (.f64 d1 (+.f64 d2 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 d1 d2) 0) (/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2))) (.f64 d1 (+.f64 d2 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 d1 d3) 0) (/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2))) (.f64 d1 (+.f64 d2 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 d1 (-.f64 d2 d3)) 0) (/.f64 (.f64 (.f64 d1 d1) (.f64 (+.f64 d2 d3) (-.f64 d3 d2))) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (+.f64 d2 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 d1 (-.f64 d3 d2)) 0) (/.f64 (.f64 (.f64 d1 d1) (.f64 (+.f64 d2 d3) (-.f64 d3 d2))) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (+.f64 d2 d3)))))) (#(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 (+.f64 d2 d3) (cbrt.f64 d1)) (cbrt.f64 d1)) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2) (cbrt.f64 (.f64 d1 (+.f64 d2 d3))))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 d1)) (+.f64 d2 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) 2) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) 2)) (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2) (.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 d1) (cbrt.f64 (.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2) (+.f64 d2 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) (cbrt.f64 (.f64 d1 (+.f64 d2 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) (.f64 d1 (cbrt.f64 (+.f64 d2 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 d1 (cbrt.f64 (+.f64 d2 d3))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (+.f64 d2 d3) (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.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 d1 (+.f64 d2 d3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 d2 d3) d1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (.f64 d1 d1)) (+.f64 d2 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 d1 d1)) (+.f64 d2 d3)) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 d1)) (+.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 d1)) d2)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 d1)) d3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 d1)) (+.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 d1)) d3)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 d1)) d2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 d1) (+.f64 (.f64 (.f64 d2 (cbrt.f64 d1)) (cbrt.f64 d1)) (.f64 (cbrt.f64 (.f64 d1 d1)) d3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) 2) (+.f64 (.f64 (.f64 d2 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (.f64 (.f64 d3 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 d1) (+.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d3) (.f64 (.f64 d2 (cbrt.f64 d1)) (cbrt.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) 2) (+.f64 (.f64 (.f64 d3 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (.f64 (.f64 d2 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 d2 d3) (cbrt.f64 d1)) (cbrt.f64 (.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 d1) (pow.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (cbrt.f64 (+.f64 d2 d3))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (-.f64 (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d3))))) (+.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (-.f64 (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d2))))) (+.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) (+.f64 d2 d3)) (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2) (.f64 d1 (cbrt.f64 (+.f64 d2 d3))))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 d1 (cbrt.f64 (+.f64 d2 d3)))) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) d1) (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) (cbrt.f64 (.f64 (+.f64 d2 d3) (pow.f64 d1 3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 d2 d3) 3) (.f64 d1 d1))) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2) (cbrt.f64 d1))) (cbrt.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) (+.f64 d2 d3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) 2) (cbrt.f64 (.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2) (.f64 (+.f64 d2 d3) (cbrt.f64 d1)))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 d1 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (+.f64 d2 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (+.f64 d2 d3)) (.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) d1) (cbrt.f64 (+.f64 d2 d3)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 d1 d1)) (.f64 (+.f64 d2 d3) (cbrt.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (+.f64 d2 d3)) (pow.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2) (cbrt.f64 d1)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (+.f64 d2 d3) (cbrt.f64 d1))) (cbrt.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2))) (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2) (+.f64 d2 d3))) (cbrt.f64 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2) (cbrt.f64 (+.f64 d2 d3)))) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) d1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.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 (.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 cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 3))))))

Outputs

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

simplify324.0ms (8.3%)

Algorithm

1×

egglog

Counts

121 → 109

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))
(fma.f64 (cbrt.f64 d2) (.f64 (cbrt.f64 (.f64 d2 d2)) d1) (*.f64 d1 d3))
(fma.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (.f64 d1 d1)) d3) (*.f64 d1 d2))
(fma.f64 (.f64 d3 (cbrt.f64 d1)) (cbrt.f64 (.f64 d1 d1)) (*.f64 d1 d2))
(fma.f64 1 (.f64 d1 d2) (.f64 d1 d3))
(fma.f64 (.f64 d1 d2) 1 (.f64 d1 d3))
(fma.f64 1 (.f64 d1 d3) (.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 d1 d3))
(fma.f64 d1 d2 (*.f64 d1 d3))
(fma.f64 (.f64 d2 (cbrt.f64 d1)) (cbrt.f64 (.f64 d1 d1)) (*.f64 d1 d3))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (*.f64 d1 d3))
(fma.f64 (.f64 d1 d3) 1 (.f64 d1 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d3) (cbrt.f64 d1) (*.f64 d1 d2))
(fma.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 d1)) d3)) (.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d1)) (.f64 d3 (cbrt.f64 d1)) (*.f64 d1 d2))
(fma.f64 (.f64 (.f64 d3 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) 2) (*.f64 d1 d2))
(fma.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 d1)) d2)) (.f64 d1 d3))
(fma.f64 (.f64 (.f64 d2 (cbrt.f64 d1)) (cbrt.f64 d1)) (cbrt.f64 d1) (*.f64 d1 d3))
(fma.f64 (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (cbrt.f64 (.f64 d1 d1)) (.f64 d2 (cbrt.f64 d1)) (*.f64 d1 d3))
(fma.f64 (.f64 (cbrt.f64 (.f64 d2 d2)) d1) (cbrt.f64 d2) (*.f64 d1 d3))
(fma.f64 (.f64 (.f64 d2 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) 2) (*.f64 d1 d3))
(fma.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (.f64 d1 d1)) d2) (*.f64 d1 d3))
(fma.f64 (.f64 d1 (cbrt.f64 d2)) (cbrt.f64 (.f64 d2 d2)) (*.f64 d1 d3))
(fma.f64 (cbrt.f64 d3) (.f64 (cbrt.f64 (.f64 d3 d3)) d1) (*.f64 d1 d2))
(fma.f64 d3 d1 (*.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (*.f64 d1 d2))
(fma.f64 d1 d3 (*.f64 d1 d2))
(fma.f64 (.f64 d1 (cbrt.f64 d3)) (cbrt.f64 (.f64 d3 d3)) (*.f64 d1 d2))
(fma.f64 (.f64 (.f64 d1 (cbrt.f64 d3)) (cbrt.f64 d3)) (cbrt.f64 d3) (*.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d3 d3)) (.f64 d1 (cbrt.f64 d3)) (*.f64 d1 d2))
(fma.f64 (.f64 (.f64 d1 (cbrt.f64 d3)) (pow.f64 (cbrt.f64 (cbrt.f64 d3)) 2)) (cbrt.f64 (.f64 d3 (cbrt.f64 d3))) (.f64 d1 d2))
(fma.f64 (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d3 d3)) d1) (cbrt.f64 d3) (*.f64 d1 d2))
(fma.f64 (cbrt.f64 (cbrt.f64 d3)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d3)) 2) (.f64 (cbrt.f64 (.f64 d3 d3)) d1)) (.f64 d1 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d2) (cbrt.f64 d1) (*.f64 d1 d3))
(fma.f64 (cbrt.f64 (.f64 d2 d2)) (.f64 d1 (cbrt.f64 d2)) (*.f64 d1 d3))
(fma.f64 (cbrt.f64 (cbrt.f64 d2)) (.f64 (cbrt.f64 (cbrt.f64 (.f64 d2 d2))) (.f64 (cbrt.f64 (.f64 d2 d2)) d1)) (*.f64 d1 d3))
(if (!=.f64 (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2)) 0) (/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2))) (*.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (.f64 d1 d2) 0) (/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2))) (*.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (.f64 d1 d3) 0) (/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2))) (*.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (.f64 d1 (-.f64 d2 d3)) 0) (/.f64 (.f64 (.f64 d1 d1) (.f64 (+.f64 d2 d3) (-.f64 d3 d2))) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (.f64 d1 (-.f64 d3 d2)) 0) (/.f64 (.f64 (.f64 d1 d1) (.f64 (+.f64 d2 d3) (-.f64 d3 d2))) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (+.f64 d2 d3)))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(.f64 (.f64 (*.f64 (+.f64 d2 d3) (cbrt.f64 d1)) (cbrt.f64 d1)) (cbrt.f64 d1))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2) (cbrt.f64 (.f64 d1 (+.f64 d2 d3))))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))) 2))
(.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 d1)) (+.f64 d2 d3))))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) 2) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) 2)) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))))
(.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2) (*.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) d1)))
(.f64 (cbrt.f64 d1) (cbrt.f64 (.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2) (+.f64 d2 d3))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2))))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2)))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(.f64 (.f64 d1 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)))
(.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) (.f64 d1 (cbrt.f64 (+.f64 d2 d3))))
(.f64 (.f64 (*.f64 d1 (cbrt.f64 (+.f64 d2 d3))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2) 2))
(.f64 (.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2)) 2)))
(.f64 (.f64 (*.f64 (+.f64 d2 d3) (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) 2))
(.f64 1 (.f64 d1 (+.f64 d2 d3)))
(.f64 (.f64 d1 (+.f64 d2 d3)) 1)
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (*.f64 d1 d1)) (+.f64 d2 d3)))
(.f64 (.f64 (cbrt.f64 (*.f64 d1 d1)) (+.f64 d2 d3)) (cbrt.f64 d1))
(.f64 (cbrt.f64 (cbrt.f64 d1)) (+.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 d1)) d2)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (*.f64 d1 d1)) d3))))
(.f64 (cbrt.f64 (cbrt.f64 d1)) (+.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 d1)) d3)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (*.f64 d1 d1)) d2))))
(.f64 (cbrt.f64 d1) (+.f64 (.f64 (.f64 d2 (cbrt.f64 d1)) (cbrt.f64 d1)) (.f64 (cbrt.f64 (*.f64 d1 d1)) d3)))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) 2) (+.f64 (.f64 (.f64 d2 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (.f64 (*.f64 d3 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))))
(.f64 (cbrt.f64 d1) (+.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d3) (.f64 (*.f64 d2 (cbrt.f64 d1)) (cbrt.f64 d1))))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) 2) (+.f64 (.f64 (.f64 d3 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (.f64 (*.f64 d2 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))))
(.f64 (.f64 (+.f64 d2 d3) (cbrt.f64 d1)) (cbrt.f64 (*.f64 d1 d1)))
(.f64 (cbrt.f64 d1) (pow.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (cbrt.f64 (+.f64 d2 d3))) 3))
(.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (-.f64 (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d3))))) (+.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d3))))
(.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (-.f64 (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d2))))) (+.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d2))))
(.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) (+.f64 d2 d3)) (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2) (.f64 d1 (cbrt.f64 (+.f64 d2 d3))))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2))
(.f64 (cbrt.f64 (.f64 d1 (cbrt.f64 (+.f64 d2 d3)))) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2))))
(.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) d1) (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2))))
(.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) (cbrt.f64 (.f64 (+.f64 d2 d3) (pow.f64 d1 3))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 d2 d3) 3) (*.f64 d1 d1))) (cbrt.f64 d1))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2) (cbrt.f64 d1))) (cbrt.f64 (.f64 (cbrt.f64 (*.f64 d1 d1)) (+.f64 d2 d3))))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) 2) (cbrt.f64 (.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2) (.f64 (+.f64 d2 d3) (cbrt.f64 d1)))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))
(.f64 (.f64 (*.f64 d1 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (+.f64 d2 d3)))
(.f64 (cbrt.f64 (+.f64 d2 d3)) (.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) d1))
(.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) d1) (cbrt.f64 (+.f64 d2 d3)))
(.f64 (cbrt.f64 (.f64 d1 d1)) (*.f64 (+.f64 d2 d3) (cbrt.f64 d1)))
(.f64 (cbrt.f64 (+.f64 d2 d3)) (pow.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2) (cbrt.f64 d1)) 3))
(.f64 (cbrt.f64 (.f64 (+.f64 d2 d3) (cbrt.f64 d1))) (cbrt.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2))))
(.f64 (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2))) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2) (+.f64 d2 d3))) (cbrt.f64 d1))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2) (cbrt.f64 (+.f64 d2 d3)))) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) d1)))
(/.f64 (*.f64 d1 (+.f64 d2 d3)) 1)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3) 1/3)
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 3)
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3))

Outputs
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (cbrt.f64 d2) (.f64 (cbrt.f64 (.f64 d2 d2)) d1) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (.f64 d1 d1)) d3) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 d3 (cbrt.f64 d1)) (cbrt.f64 (.f64 d1 d1)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 1 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 d1 d2) 1 (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 1 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 d1 d2 (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 d2 (cbrt.f64 d1)) (cbrt.f64 (.f64 d1 d1)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 d1 d3) 1 (.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d3) (cbrt.f64 d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 d1)) d3)) (.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (cbrt.f64 (.f64 d1 d1)) (.f64 d3 (cbrt.f64 d1)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 (.f64 d3 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) 2) (*.f64 d1 d2))
(fma.f64 (.f64 (.f64 d3 (cbrt.f64 d1)) (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) 2) (*.f64 d2 d1))
(fma.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 d1)) d2)) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 (.f64 d2 (cbrt.f64 d1)) (cbrt.f64 d1)) (cbrt.f64 d1) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (cbrt.f64 (.f64 d1 d1)) (.f64 d2 (cbrt.f64 d1)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 (cbrt.f64 (.f64 d2 d2)) d1) (cbrt.f64 d2) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 (.f64 d2 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) 2) (*.f64 d1 d3))
(fma.f64 (.f64 (.f64 d2 (cbrt.f64 d1)) (cbrt.f64 (cbrt.f64 (.f64 d1 d1)))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 d1))) 2) (*.f64 d1 d3))
(fma.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (.f64 d1 d1)) d2) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 d1 (cbrt.f64 d2)) (cbrt.f64 (.f64 d2 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (cbrt.f64 d3) (.f64 (cbrt.f64 (.f64 d3 d3)) d1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 d3 d1 (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 d1 d3 (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 d1 (cbrt.f64 d3)) (cbrt.f64 (.f64 d3 d3)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 (.f64 d1 (cbrt.f64 d3)) (cbrt.f64 d3)) (cbrt.f64 d3) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (cbrt.f64 (.f64 d3 d3)) (.f64 d1 (cbrt.f64 d3)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 (.f64 d1 (cbrt.f64 d3)) (pow.f64 (cbrt.f64 (cbrt.f64 d3)) 2)) (cbrt.f64 (.f64 d3 (cbrt.f64 d3))) (.f64 d1 d2))
(fma.f64 (.f64 d1 (.f64 (cbrt.f64 d3) (cbrt.f64 (cbrt.f64 (.f64 d3 d3))))) (cbrt.f64 (.f64 d3 (cbrt.f64 d3))) (*.f64 d2 d1))
(fma.f64 (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 (cbrt.f64 (.f64 d3 d3)) d1) (cbrt.f64 d3) (*.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (cbrt.f64 (cbrt.f64 d3)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d3)) 2) (.f64 (cbrt.f64 (.f64 d3 d3)) d1)) (.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d2) (cbrt.f64 d1) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (cbrt.f64 (.f64 d2 d2)) (.f64 d1 (cbrt.f64 d2)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(fma.f64 (cbrt.f64 (cbrt.f64 d2)) (.f64 (cbrt.f64 (cbrt.f64 (.f64 d2 d2))) (.f64 (cbrt.f64 (.f64 d2 d2)) d1)) (*.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(if (!=.f64 (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2)) 0) (/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2))) (*.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d2 d1) 2)) 0) (/.f64 (+.f64 (pow.f64 (.f64 d2 d1) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d2 d1) 2))) (*.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (.f64 d1 d2) 0) (/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2))) (*.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (.f64 d2 d1) 0) (/.f64 (+.f64 (pow.f64 (.f64 d2 d1) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d2 d1) 2))) (*.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (.f64 d1 d3) 0) (/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2))) (*.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (.f64 d1 d3) 0) (/.f64 (+.f64 (pow.f64 (.f64 d2 d1) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d2 d1) 2))) (*.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (.f64 d1 (-.f64 d2 d3)) 0) (/.f64 (.f64 (.f64 d1 d1) (.f64 (+.f64 d2 d3) (-.f64 d3 d2))) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (.f64 d1 (-.f64 d2 d3)) 0) (/.f64 (.f64 d1 (.f64 d1 (.f64 (+.f64 d2 d3) (-.f64 d3 d2)))) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (.f64 d1 (-.f64 d3 d2)) 0) (/.f64 (.f64 (.f64 d1 d1) (.f64 (+.f64 d2 d3) (-.f64 d3 d2))) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (.f64 d1 (-.f64 d3 d2)) 0) (/.f64 (.f64 d1 (.f64 d1 (.f64 (+.f64 d2 d3) (-.f64 d3 d2)))) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (+.f64 d2 d3)))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 d1 (+.f64 d2 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 (*.f64 (+.f64 d2 d3) (cbrt.f64 d1)) (cbrt.f64 d1)) (cbrt.f64 d1))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2) (cbrt.f64 (.f64 d1 (+.f64 d2 d3))))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))) 2))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 d1)) (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) 2) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) 2)) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2) (*.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) d1)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 d1) (cbrt.f64 (.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2) (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2))))
(cbrt.f64 (.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2))))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 d1 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) (.f64 d1 (cbrt.f64 (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 (*.f64 d1 (cbrt.f64 (+.f64 d2 d3))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2) 2))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2)) 2)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 (*.f64 (+.f64 d2 d3) (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) 2))
(*.f64 d1 (+.f64 d2 d3))
(.f64 1 (.f64 d1 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 d1 (+.f64 d2 d3)) 1)
(*.f64 d1 (+.f64 d2 d3))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (*.f64 d1 d1)) (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 (cbrt.f64 (*.f64 d1 d1)) (+.f64 d2 d3)) (cbrt.f64 d1))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (cbrt.f64 d1)) (+.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 d1)) d2)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (*.f64 d1 d1)) d3))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (cbrt.f64 d1)) (+.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 d1)) d3)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (*.f64 d1 d1)) d2))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 d1) (+.f64 (.f64 (.f64 d2 (cbrt.f64 d1)) (cbrt.f64 d1)) (.f64 (cbrt.f64 (*.f64 d1 d1)) d3)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) 2) (+.f64 (.f64 (.f64 d2 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (.f64 (*.f64 d3 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 d1) (+.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) d3) (.f64 (*.f64 d2 (cbrt.f64 d1)) (cbrt.f64 d1))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) 2) (+.f64 (.f64 (.f64 d3 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2)) (.f64 (*.f64 d2 (cbrt.f64 d1)) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 (+.f64 d2 d3) (cbrt.f64 d1)) (cbrt.f64 (*.f64 d1 d1)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 d1) (pow.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (cbrt.f64 (+.f64 d2 d3))) 3))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (-.f64 (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d3))))) (+.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d3))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (-.f64 (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d2))))) (+.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d2))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (cbrt.f64 d1)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) (+.f64 d2 d3)) (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2) (.f64 d1 (cbrt.f64 (+.f64 d2 d3))))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (.f64 d1 (cbrt.f64 (+.f64 d2 d3)))) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) d1) (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) (cbrt.f64 (.f64 (+.f64 d2 d3) (pow.f64 d1 3))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (.f64 (pow.f64 (+.f64 d2 d3) 3) (*.f64 d1 d1))) (cbrt.f64 d1))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2) (cbrt.f64 d1))) (cbrt.f64 (.f64 (cbrt.f64 (*.f64 d1 d1)) (+.f64 d2 d3))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3)))) 2) (cbrt.f64 (.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2) (.f64 (+.f64 d2 d3) (cbrt.f64 d1)))) (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 (*.f64 d1 (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (+.f64 d2 d3))) (cbrt.f64 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (+.f64 d2 d3)) (.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) d1))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) d1) (cbrt.f64 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (.f64 d1 d1)) (*.f64 (+.f64 d2 d3) (cbrt.f64 d1)))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (+.f64 d2 d3)) (pow.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 d2 d3))) 2) (cbrt.f64 d1)) 3))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (.f64 (+.f64 d2 d3) (cbrt.f64 d1))) (cbrt.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2))))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2))) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))))
(cbrt.f64 (.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2) (+.f64 d2 d3))) (cbrt.f64 d1))
(*.f64 d1 (+.f64 d2 d3))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2) (cbrt.f64 (+.f64 d2 d3)))) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 d2 d3) 2)) d1)))
(*.f64 d1 (+.f64 d2 d3))
(/.f64 (*.f64 d1 (+.f64 d2 d3)) 1)
(*.f64 d1 (+.f64 d2 d3))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3) 1/3)
(*.f64 d1 (+.f64 d2 d3))
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) 1)
(*.f64 d1 (+.f64 d2 d3))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 3)
(*.f64 d1 (+.f64 d2 d3))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3))
(*.f64 d1 (+.f64 d2 d3))

localize11.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 6 computations (68.4% saved)

series17.0ms (0.4%)

Counts

1 → 36

Calls

9 calls:

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

Compiler

Compiled 1160 to 205 computations (82.3% saved)

rewrite200.0ms (5.1%)

Algorithm

1×	batch-egg-rewrite

Rules

51× egg-rr

Counts

1 → 51

Calls

Call 1

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

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

Outputs

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

simplify359.0ms (9.2%)

Algorithm

1×

egglog

Counts

87 → 60

Calls

Call 1

Inputs
(*.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 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))
(fma.f64 d1 d2 (*.f64 d1 d3))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (*.f64 d1 d3))
(fma.f64 d2 d1 (*.f64 d1 d3))
(fma.f64 d3 d1 (*.f64 d1 d2))
(fma.f64 d1 d3 (*.f64 d1 d2))
(fma.f64 (.f64 d2 (cbrt.f64 d1)) (cbrt.f64 (.f64 d1 d1)) (*.f64 d1 d3))
(fma.f64 (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(fma.f64 (cbrt.f64 d2) (.f64 (cbrt.f64 (.f64 d2 d2)) d1) (*.f64 d1 d3))
(fma.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (.f64 d1 d1)) d2) (*.f64 d1 d3))
(fma.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (.f64 d1 d1)) d3) (*.f64 d1 d2))
(fma.f64 (.f64 d3 (cbrt.f64 d1)) (cbrt.f64 (.f64 d1 d1)) (*.f64 d1 d2))
(fma.f64 (cbrt.f64 d3) (.f64 (cbrt.f64 (.f64 d3 d3)) d1) (*.f64 d1 d2))
(fma.f64 (.f64 d1 (cbrt.f64 d3)) (cbrt.f64 (.f64 d3 d3)) (*.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (*.f64 d1 d2))
(fma.f64 (.f64 d1 (cbrt.f64 d2)) (cbrt.f64 (.f64 d2 d2)) (*.f64 d1 d3))
(fma.f64 (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(fma.f64 1 (.f64 d1 d2) (.f64 d1 d3))
(fma.f64 1 (.f64 d1 d3) (.f64 d1 d2))
(fma.f64 (.f64 d1 d2) 1 (.f64 d1 d3))
(fma.f64 (.f64 d1 d3) 1 (.f64 d1 d2))
(if (!=.f64 (.f64 d1 (-.f64 d2 d3)) 0) (/.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (.f64 d1 (-.f64 d3 d2)) 0) (/.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2)) 0) (/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2))) (*.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (.f64 d1 d3) 0) (/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2))) (*.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (.f64 d1 d2) 0) (/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2))) (*.f64 d1 (+.f64 d2 d3)))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (*.f64 d1 d1)) (+.f64 d2 d3)))
(.f64 (.f64 (cbrt.f64 (*.f64 d1 d1)) (+.f64 d2 d3)) (cbrt.f64 d1))
(.f64 (.f64 d1 (cbrt.f64 (+.f64 d2 d3))) (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2))
(.f64 (.f64 (+.f64 d2 d3) (cbrt.f64 d1)) (cbrt.f64 (*.f64 d1 d1)))
(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))) 2))
(.f64 (.f64 (cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2)) (cbrt.f64 d1)) (cbrt.f64 (+.f64 d2 d3)))
(.f64 (cbrt.f64 d1) (.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) (+.f64 d2 d3)) 1))
(.f64 (cbrt.f64 (+.f64 d2 d3)) (.f64 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2) d1))
(.f64 (cbrt.f64 (.f64 d1 d1)) (*.f64 (cbrt.f64 d1) (+.f64 d2 d3)))
(.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 d1)) (+.f64 d2 d3))))
(.f64 (cbrt.f64 (.f64 d1 d1)) (+.f64 (.f64 d2 (cbrt.f64 d1)) (.f64 d3 (cbrt.f64 d1))))
(.f64 (cbrt.f64 (.f64 d1 d1)) (+.f64 (.f64 d3 (cbrt.f64 d1)) (.f64 d2 (cbrt.f64 d1))))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2)))
(.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (-.f64 (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (cbrt.f64 (.f64 (.f64 d1 d2) (.f64 d1 d3))))) (+.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d2))))
(.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (-.f64 (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (cbrt.f64 (.f64 (.f64 d1 d2) (.f64 d1 d3))))) (+.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d3))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(.f64 1 (.f64 d1 (+.f64 d2 d3)))
(.f64 (.f64 d1 (+.f64 d2 d3)) 1)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3) 1/3)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 3)
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) 1)
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3))

Outputs
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(*.f64 (+.f64 d2 d3) d1)
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(*.f64 (+.f64 d2 d3) d1)
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(*.f64 (+.f64 d2 d3) d1)
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 d3) (.f64 -1 d2))))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 d3)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(+.f64 (.f64 d2 d1) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 d1 d2 (*.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 d2 d1 (*.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 d3 d1 (*.f64 d1 d2))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 d1 d3 (*.f64 d1 d2))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 (.f64 d2 (cbrt.f64 d1)) (cbrt.f64 (.f64 d1 d1)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 (cbrt.f64 d2) (.f64 (cbrt.f64 (.f64 d2 d2)) d1) (*.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (.f64 d1 d1)) d2) (*.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (.f64 d1 d1)) d3) (*.f64 d1 d2))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 (.f64 d3 (cbrt.f64 d1)) (cbrt.f64 (.f64 d1 d1)) (*.f64 d1 d2))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 (cbrt.f64 d3) (.f64 (cbrt.f64 (.f64 d3 d3)) d1) (*.f64 d1 d2))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 (.f64 d1 (cbrt.f64 d3)) (cbrt.f64 (.f64 d3 d3)) (*.f64 d1 d2))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (*.f64 d1 d2))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 (.f64 d1 (cbrt.f64 d2)) (cbrt.f64 (.f64 d2 d2)) (*.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (cbrt.f64 (.f64 d1 d3)) (*.f64 d1 d2))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 1 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 1 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 (.f64 d1 d2) 1 (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(fma.f64 (.f64 d1 d3) 1 (.f64 d1 d2))
(*.f64 (+.f64 d2 d3) d1)
(if (!=.f64 (.f64 d1 (-.f64 d2 d3)) 0) (/.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (.f64 d1 (-.f64 d2 d3)) 0) (/.f64 (.f64 (.f64 d1 (-.f64 d2 d3)) (.f64 (+.f64 d2 d3) d1)) (.f64 d1 (-.f64 d2 d3))) (.f64 (+.f64 d2 d3) d1))
(if (!=.f64 (.f64 d1 (-.f64 d3 d2)) 0) (/.f64 (.f64 (.f64 d1 (+.f64 d2 d3)) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (-.f64 d3 d2))) (.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (.f64 d1 (-.f64 d3 d2)) 0) (/.f64 (.f64 (.f64 d1 (-.f64 d2 d3)) (.f64 (+.f64 d2 d3) d1)) (.f64 d1 (-.f64 d2 d3))) (.f64 (+.f64 d2 d3) d1))
(if (!=.f64 (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2)) 0) (/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2))) (*.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d2 d1) 2)) 0) (/.f64 (+.f64 (pow.f64 (.f64 d2 d1) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d2 d1) 2))) (*.f64 (+.f64 d2 d3) d1))
(if (!=.f64 (.f64 d1 d3) 0) (/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2))) (*.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (.f64 d1 d3) 0) (/.f64 (+.f64 (pow.f64 (.f64 d2 d1) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d2 d1) 2))) (*.f64 (+.f64 d2 d3) d1))
(if (!=.f64 (.f64 d1 d2) 0) (/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d1 d2) 2))) (*.f64 d1 (+.f64 d2 d3)))
(if (!=.f64 (.f64 d2 d1) 0) (/.f64 (+.f64 (pow.f64 (.f64 d2 d1) 3) (pow.f64 (.f64 d1 d3) 3)) (fma.f64 (.f64 d1 d3) (.f64 d1 (-.f64 d3 d2)) (pow.f64 (.f64 d2 d1) 2))) (*.f64 (+.f64 d2 d3) d1))
(+.f64 (.f64 d1 d2) (.f64 d1 d3))
(*.f64 (+.f64 d2 d3) d1)
(+.f64 (.f64 d1 d3) (.f64 d1 d2))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 d1 (+.f64 d2 d3))
(*.f64 (+.f64 d2 d3) d1)
(*.f64 (+.f64 d2 d3) d1)
(.f64 (cbrt.f64 d1) (.f64 (cbrt.f64 (*.f64 d1 d1)) (+.f64 d2 d3)))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (.f64 (cbrt.f64 (*.f64 d1 d1)) (+.f64 d2 d3)) (cbrt.f64 d1))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (.f64 d1 (cbrt.f64 (+.f64 d2 d3))) (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (.f64 (+.f64 d2 d3) (cbrt.f64 d1)) (cbrt.f64 (*.f64 d1 d1)))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3)))) 2))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (.f64 (cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2)) (cbrt.f64 d1)) (cbrt.f64 (+.f64 d2 d3)))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (cbrt.f64 d1) (.f64 (.f64 (cbrt.f64 (.f64 d1 d1)) (+.f64 d2 d3)) 1))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (cbrt.f64 (+.f64 d2 d3)) (.f64 (pow.f64 (cbrt.f64 (+.f64 d2 d3)) 2) d1))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (cbrt.f64 (.f64 d1 d1)) (*.f64 (cbrt.f64 d1) (+.f64 d2 d3)))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (cbrt.f64 (cbrt.f64 d1)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 d1)) 2) (.f64 (cbrt.f64 (.f64 d1 d1)) (+.f64 d2 d3))))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (cbrt.f64 (.f64 d1 d1)) (+.f64 (.f64 d2 (cbrt.f64 d1)) (.f64 d3 (cbrt.f64 d1))))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (cbrt.f64 (.f64 d1 d1)) (+.f64 (.f64 d3 (cbrt.f64 d1)) (.f64 d2 (cbrt.f64 d1))))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 d3))) (cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 2)))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (-.f64 (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (cbrt.f64 (.f64 (.f64 d1 d2) (.f64 d1 d3))))) (+.f64 (cbrt.f64 (.f64 d1 d3)) (cbrt.f64 (.f64 d1 d2))))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 d1 d2) 2)) (-.f64 (cbrt.f64 (pow.f64 (.f64 d1 d3) 2)) (cbrt.f64 (.f64 (.f64 d1 d2) (.f64 d1 d3))))) (+.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d3))))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 d3)) 2)) (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))))
(*.f64 (+.f64 d2 d3) d1)
(.f64 1 (.f64 d1 (+.f64 d2 d3)))
(*.f64 (+.f64 d2 d3) d1)
(.f64 (.f64 d1 (+.f64 d2 d3)) 1)
(*.f64 (+.f64 d2 d3) d1)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3) 1/3)
(*.f64 (+.f64 d2 d3) d1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 d3))) 3)
(*.f64 (+.f64 d2 d3) d1)
(pow.f64 (*.f64 d1 (+.f64 d2 d3)) 1)
(*.f64 (+.f64 d2 d3) d1)
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 d3)) 3))
(*.f64 (+.f64 d2 d3) d1)

eval52.0ms (1.3%)

Compiler: Compiled 2816 to 737 computations (73.8% saved)

prune85.0ms (2.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	167	2	169
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	167	4	171

Error

Counts

171 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 30 to 19 computations (36.7% saved)

localize6.0ms (0.1%)

Compiler: Compiled 8 to 4 computations (50% saved)

localize5.0ms (0.1%)

Compiler: Compiled 8 to 4 computations (50% saved)

eval0.0ms (0%)

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

prune3.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

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

Error

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
✓	29.1b	(*.f64 d2 d1)
✓	0.0b	(*.f64 d1 (+.f64 d2 d3))
✓	31.1b	(*.f64 d1 d3)

Compiler

Compiled 30 to 19 computations (36.7% saved)

regimes30.0ms (0.8%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

4 calls:

8.0ms	(+.f64 (.f64 d1 d2) (.f64 d1 d3))
8.0ms	d1
6.0ms	d3
6.0ms	d2

Results

Error	Segments	Branch
0.0b	1	`d1`
0.0b	1	`d2`
0.0b	1	`d3`
0.0b	1	`(+.f64 (.f64 d1 d2) (.f64 d1 d3))`

Compiler

Compiled 43 to 24 computations (44.2% saved)

regimes98.0ms (2.5%)

Accuracy

Total -46.0b remaining (-352.5%)

Threshold costs -46.0b (-352.5%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

3 calls:

42.0ms	d3
35.0ms	d1
19.0ms	d2

Results

Error	Segments	Branch
22.5b	7	`d1`
13.1b	3	`d2`
13.3b	5	`d3`

Compiler

Compiled 21 to 14 computations (33.3% saved)

bsearch35.0ms (0.9%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
10.0ms	2.3243483043280306e-52	3.788445245719116e-52
26.0ms	-5.937284898389475e-16	-1.1564508142481709e-16

Results

32.0ms

160×

body

256

valid

Compiler

Compiled 156 to 111 computations (28.8% saved)

simplify2.0ms (0%)

Stop Event

1×

done

Compiler

Compiled 34 to 20 computations (41.2% saved)

soundness0.0ms (0%)

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

end34.0ms (0.9%)

Compiler: Compiled 28 to 13 computations (53.6% saved)

Details

analyze189.0ms (4.8%)

sample1.8s (45%)

preprocess294.0ms (7.5%)

simplify124.0ms (3.2%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize50.0ms (1.3%)

series13.0ms (0.3%)

rewrite217.0ms (5.5%)

simplify324.0ms (8.3%)

localize11.0ms (0.3%)

series17.0ms (0.4%)

rewrite200.0ms (5.1%)

simplify359.0ms (9.2%)

eval52.0ms (1.3%)

prune85.0ms (2.2%)

localize6.0ms (0.1%)

localize5.0ms (0.1%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes30.0ms (0.8%)

regimes98.0ms (2.5%)

bsearch35.0ms (0.9%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end34.0ms (0.9%)

Profiling