Details

analyze480.0ms (11.5%)

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.6%	25%	72.5%	0.1%	2.3%	0%	0%	9
35.6%	34.3%	62%	0.1%	3.5%	0%	0%	10
44.1%	41.3%	52.5%	0.1%	6%	0%	0%	11
50.9%	46.8%	45.1%	0.1%	7.9%	0%	0%	12

Compiler

Compiled 17 to 12 computations (29.4% saved)

sample1.2s (28.6%)

Results

971.0ms	8229×	body	256	valid
160.0ms	1401×	body	256	infinite
3.0ms	17×	body	512	valid
3.0ms	10×	body	1024	valid

Bogosity

preprocess30.0ms (0.7%)

Algorithm

2×	egg-herbie

Rules

358×	`fma-def_binary64`
180×	`associate-+l+_binary64`
125×	`associate-+r+_binary64`
94×	`distribute-lft-out_binary64`
66×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	68
1	62	56
2	171	40
3	490	40
4	896	40
5	1117	40
6	1147	40
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 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
(+.f64 (+.f64 (.f64 d2 d1) (.f64 (+.f64 d3 5) d2)) (*.f64 d2 32))
(+.f64 (+.f64 (.f64 d3 d2) (.f64 (+.f64 d1 5) d3)) (*.f64 d3 32))
(+.f64 (+.f64 (.f64 d1 d3) (.f64 (+.f64 d2 5) d1)) (*.f64 d1 32))

Outputs
(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
(+.f64 (fma.f64 d1 d2 (.f64 d1 (+.f64 d3 5))) (.f64 d1 32))
(fma.f64 d1 d2 (*.f64 d1 (+.f64 (+.f64 d3 5) 32)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (+.f64 (.f64 d2 d1) (.f64 (+.f64 d3 5) d2)) (*.f64 d2 32))
(+.f64 (fma.f64 d2 d1 (.f64 d2 (+.f64 d3 5))) (.f64 d2 32))
(fma.f64 d1 d2 (*.f64 d2 (+.f64 (+.f64 d3 5) 32)))
(*.f64 d2 (+.f64 d1 (+.f64 d3 37)))
(+.f64 (+.f64 (.f64 d3 d2) (.f64 (+.f64 d1 5) d3)) (*.f64 d3 32))
(+.f64 (fma.f64 d3 d2 (.f64 d3 (+.f64 d1 5))) (.f64 d3 32))
(fma.f64 d2 d3 (*.f64 d3 (+.f64 (+.f64 d1 5) 32)))
(*.f64 d3 (+.f64 d2 (+.f64 d1 37)))
(*.f64 d3 (+.f64 d1 (+.f64 d2 37)))
(+.f64 (+.f64 (.f64 d1 d3) (.f64 (+.f64 d2 5) d1)) (*.f64 d1 32))
(+.f64 (fma.f64 d1 d2 (.f64 d1 (+.f64 d3 5))) (.f64 d1 32))
(fma.f64 d1 d2 (*.f64 d1 (+.f64 (+.f64 d3 5) 32)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))

Symmetry

(sort d2 d3)

Compiler

Compiled 19 to 14 computations (26.3% saved)

simplify118.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

114×	`fma-def_binary64`
61×	`associate-+l+_binary64`
38×	`associate-+r+_binary64`
34×	`distribute-lft-out_binary64`
32×	`+-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	17
1	21	14
2	51	10
3	167	10
4	316	10
5	417	10
6	429	10

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

Outputs
(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
(+.f64 (fma.f64 d1 d2 (.f64 d1 (+.f64 d3 5))) (.f64 d1 32))
(fma.f64 d1 d2 (*.f64 d1 (+.f64 (+.f64 d3 5) 32)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))

eval1.0ms (0%)

Compiler: Compiled 23 to 15 computations (34.8% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 26 to 18 computations (30.8% saved)

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 22 to 13 computations (40.9% saved)

series5.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite70.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

808×	`prod-diff_binary64`
442×	`log-prod_binary64`
374×	`pow-prod-down_binary64`
331×	`fma-def_binary64`
256×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	187	10
2	2777	10

Stop Event

1×	node limit

Counts

1 → 58

Calls

Call 1

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

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

Outputs

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

simplify17.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

26×	`fma-def_binary64`
8×	`+-commutative_binary64`
8×	`*-commutative_binary64`
8×	`distribute-rgt-in_binary64`
7×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	330
1	46	330
2	73	330
3	85	330

Stop Event

1×

saturated

Counts

94 → 69

Calls

Call 1

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

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

localize17.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 44 to 24 computations (45.5% saved)

series19.0ms (0.5%)

Counts

3 → 96

Calls

24 calls:

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

rewrite136.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

811×	`fma-def_binary64`
658×	`log-prod_binary64`
384×	`fma-neg_binary64`
250×	`expm1-udef_binary64`
250×	`log1p-udef_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	35
1	273	31
2	3889	31

Stop Event

1×	node limit

Counts

3 → 212

Calls

Call 1

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

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

Outputs

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

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

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

simplify201.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

1204×	`fma-neg_binary64`
563×	`fma-def_binary64`
265×	`distribute-rgt-in_binary64`
221×	`unsub-neg_binary64`
205×	`sub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	42	826
1	147	822
2	394	819
3	1011	819
4	2585	819
5	4051	819
6	4230	819
7	4255	819
8	4257	819
9	4257	819
10	5027	819
11	5027	819

Stop Event

1×

saturated

Counts

308 → 238

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 (+.f64 5 d3)) (.f64 -1 d2))))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 (+.f64 5 d3)) (.f64 -1 d2))))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 (+.f64 5 d3)) (.f64 -1 d2))))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 (+.f64 5 d3)) (.f64 -1 d2))))
(*.f64 (+.f64 5 d3) d1)
(+.f64 (.f64 d2 d1) (.f64 (+.f64 5 d3) d1))
(+.f64 (.f64 d2 d1) (.f64 (+.f64 5 d3) d1))
(+.f64 (.f64 d2 d1) (.f64 (+.f64 5 d3) d1))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 (+.f64 5 d3) d1))
(+.f64 (.f64 d2 d1) (.f64 (+.f64 5 d3) d1))
(+.f64 (.f64 d2 d1) (.f64 (+.f64 5 d3) d1))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 (+.f64 5 d3) d1))
(+.f64 (.f64 d2 d1) (.f64 (+.f64 5 d3) d1))
(+.f64 (.f64 d2 d1) (.f64 (+.f64 5 d3) d1))
(+.f64 (.f64 5 d1) (.f64 d2 d1))
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 d3)
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 d3)
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(.f64 -1 (.f64 d1 (-.f64 (+.f64 (.f64 -1 (+.f64 5 d3)) (.f64 -1 d2)) 32)))
(.f64 -1 (.f64 d1 (-.f64 (+.f64 (.f64 -1 (+.f64 5 d3)) (.f64 -1 d2)) 32)))
(.f64 -1 (.f64 d1 (-.f64 (+.f64 (.f64 -1 (+.f64 5 d3)) (.f64 -1 d2)) 32)))
(.f64 -1 (.f64 d1 (-.f64 (+.f64 (.f64 -1 (+.f64 5 d3)) (.f64 -1 d2)) 32)))
(+.f64 (.f64 32 d1) (.f64 (+.f64 5 d3) d1))
(+.f64 (.f64 d2 d1) (+.f64 (.f64 32 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (.f64 d2 d1) (+.f64 (.f64 32 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (.f64 d2 d1) (+.f64 (.f64 32 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d2 d1)
(+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d2 d1)
(+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 32 d1)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (.f64 d1 d3))))
(+.f64 (.f64 5 d1) (+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (.f64 d1 d3))))
(+.f64 (.f64 5 d1) (+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (.f64 d1 d3))))
(*.f64 d1 d3)
(+.f64 (.f64 5 d1) (+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (.f64 d1 d3))))
(+.f64 (.f64 5 d1) (+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (.f64 d1 d3))))
(+.f64 (.f64 5 d1) (+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (.f64 d1 d3))))
(*.f64 d1 d3)
(+.f64 (.f64 5 d1) (+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (.f64 d1 d3))))
(+.f64 (.f64 5 d1) (+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (.f64 d1 d3))))
(+.f64 (.f64 5 d1) (+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (.f64 d1 d3))))
(*.f64 5 d1)
(+.f64 (.f64 5 d1) (.f64 d1 d3))
(+.f64 (.f64 5 d1) (.f64 d1 d3))
(+.f64 (.f64 5 d1) (.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (.f64 5 d1) (.f64 d1 d3))
(+.f64 (.f64 5 d1) (.f64 d1 d3))
(+.f64 (.f64 5 d1) (.f64 d1 d3))
(*.f64 d1 d3)
(+.f64 (.f64 5 d1) (.f64 d1 d3))
(+.f64 (.f64 5 d1) (.f64 d1 d3))
(+.f64 (.f64 5 d1) (.f64 d1 d3))
(*.f64 (+.f64 5 d3) d1)
(*.f64 (+.f64 5 d3) d1)
(*.f64 (+.f64 5 d3) d1)
(*.f64 (+.f64 5 d3) d1)
(*.f64 (+.f64 5 d3) d1)
(*.f64 (+.f64 5 d3) d1)
(*.f64 (+.f64 5 d3) d1)
(*.f64 (+.f64 5 d3) d1)
(*.f64 (+.f64 5 d3) d1)
(*.f64 (+.f64 5 d3) d1)
(*.f64 (+.f64 5 d3) d1)
(*.f64 (+.f64 5 d3) d1)

Outputs
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 (+.f64 5 d3)) (.f64 -1 d2))))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 (+.f64 5 d3)) (.f64 -1 d2))))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 (+.f64 5 d3)) (.f64 -1 d2))))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(.f64 -1 (.f64 d1 (+.f64 (.f64 -1 (+.f64 5 d3)) (.f64 -1 d2))))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(*.f64 (+.f64 5 d3) d1)
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(+.f64 (.f64 d2 d1) (.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(+.f64 (.f64 d2 d1) (.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(+.f64 (.f64 d2 d1) (.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(+.f64 (.f64 d2 d1) (.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(+.f64 (.f64 d2 d1) (.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(+.f64 (.f64 d2 d1) (.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(+.f64 (.f64 d2 d1) (.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(+.f64 (.f64 5 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 5 d2))
(*.f64 d1 (+.f64 d2 5))
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(*.f64 d1 d3)
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(*.f64 d1 d3)
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 5 d3)))
(*.f64 d1 (-.f64 d2 (-.f64 -5 d3)))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -5)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(*.f64 d1 (+.f64 d2 (+.f64 37 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(.f64 -1 (.f64 d1 (-.f64 (+.f64 (.f64 -1 (+.f64 5 d3)) (.f64 -1 d2)) 32)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(.f64 -1 (.f64 d1 (-.f64 (+.f64 (.f64 -1 (+.f64 5 d3)) (.f64 -1 d2)) 32)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(.f64 -1 (.f64 d1 (-.f64 (+.f64 (.f64 -1 (+.f64 5 d3)) (.f64 -1 d2)) 32)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(.f64 -1 (.f64 d1 (-.f64 (+.f64 (.f64 -1 (+.f64 5 d3)) (.f64 -1 d2)) 32)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (.f64 32 d1) (.f64 (+.f64 5 d3) d1))
(*.f64 d1 (+.f64 32 (+.f64 5 d3)))
(*.f64 d1 (+.f64 d3 37))
(+.f64 (.f64 d2 d1) (+.f64 (.f64 32 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (.f64 d2 d1) (+.f64 (.f64 32 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (.f64 d2 d1) (+.f64 (.f64 32 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (*.f64 (+.f64 5 d3) d1)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 d2 d1) (*.f64 32 d1)))
(fma.f64 5 d1 (*.f64 d1 (+.f64 d2 32)))
(+.f64 (.f64 d1 d2) (.f64 d1 37))
(*.f64 d1 (+.f64 d2 37))
(+.f64 (.f64 5 d1) (+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (.f64 d1 d3))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (.f64 d1 d3))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (.f64 d1 d3))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(*.f64 d1 d3)
(+.f64 (.f64 5 d1) (+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (.f64 d1 d3))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (.f64 d1 d3))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (.f64 d1 d3))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(*.f64 d1 d3)
(+.f64 (.f64 5 d1) (+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (.f64 d1 d3))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (.f64 d1 d3))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(+.f64 (.f64 5 d1) (+.f64 (.f64 32 d1) (+.f64 (.f64 d2 d1) (.f64 d1 d3))))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))
(*.f64 5 d1)
(*.f64 d1 5)
(+.f64 (.f64 5 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(+.f64 (.f64 5 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(+.f64 (.f64 5 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(*.f64 d1 d3)
(+.f64 (.f64 5 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(+.f64 (.f64 5 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(+.f64 (.f64 5 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(*.f64 d1 d3)
(+.f64 (.f64 5 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(+.f64 (.f64 5 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(+.f64 (.f64 5 d1) (.f64 d1 d3))
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(*.f64 (+.f64 5 d3) d1)
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(*.f64 (+.f64 5 d3) d1)
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(*.f64 (+.f64 5 d3) d1)
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(*.f64 (+.f64 5 d3) d1)
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(*.f64 (+.f64 5 d3) d1)
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(*.f64 (+.f64 5 d3) d1)
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(*.f64 (+.f64 5 d3) d1)
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(*.f64 (+.f64 5 d3) d1)
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(*.f64 (+.f64 5 d3) d1)
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(*.f64 (+.f64 5 d3) d1)
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(*.f64 (+.f64 5 d3) d1)
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))
(*.f64 (+.f64 5 d3) d1)
(*.f64 d1 (+.f64 5 d3))
(*.f64 d1 (-.f64 d3 -5))

eval169.0ms (4%)

Compiler: Compiled 5034 to 3004 computations (40.3% saved)

prune52.0ms (1.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	300	7	307
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	301	8	309

Error

Counts

309 → 8

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(fma.f64 (+.f64 d3 37) d1 (*.f64 d2 d1))
▶	42.3b	(*.f64 d2 d1)
	0.0b	(+.f64 (.f64 (+.f64 d3 37) d1) (.f64 d2 d1))
	21.6b	(+.f64 (.f64 (+.f64 5 d3) d1) (.f64 d1 32))
▶	21.5b	(*.f64 (+.f64 37 d3) d1)
▶	40.9b	(*.f64 d1 d3)
✓	0.0b	(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
▶	20.7b	(*.f64 d1 (+.f64 d2 37))

Compiler

Compiled 136 to 95 computations (30.1% saved)

localize36.0ms (0.9%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 21 to 10 computations (52.4% saved)

series6.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite69.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

873×	`pow1_binary64`
810×	`add-log-exp_binary64`
810×	`log1p-expm1-u_binary64`
810×	`expm1-log1p-u_binary64`
794×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	170	10
2	2120	10

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

Outputs

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

simplify60.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

301×	`fma-def_binary64`
253×	`fma-neg_binary64`
155×	`distribute-rgt-in_binary64`
126×	`distribute-lft-in_binary64`
76×	`unsub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	23	390
1	70	330
2	154	330
3	441	330
4	1205	330
5	1614	330
6	1938	330
7	1943	330

Stop Event

1×

saturated

Counts

58 → 34

Calls

Call 1

Inputs
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 d3)
(+.f64 (.f64 37 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 d3)
(+.f64 (.f64 37 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d2 d1) (*.f64 d1 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(.f64 -1 (.f64 (+.f64 (.f64 -1 (+.f64 37 d3)) (.f64 -1 d2)) d1))
(.f64 -1 (.f64 (+.f64 (.f64 -1 (+.f64 37 d3)) (.f64 -1 d2)) d1))
(.f64 -1 (.f64 (+.f64 (.f64 -1 (+.f64 37 d3)) (.f64 -1 d2)) d1))
(.f64 -1 (.f64 (+.f64 (.f64 -1 (+.f64 37 d3)) (.f64 -1 d2)) d1))
(*.f64 (+.f64 37 d3) d1)
(+.f64 (.f64 d2 d1) (.f64 (+.f64 37 d3) d1))
(+.f64 (.f64 d2 d1) (.f64 (+.f64 37 d3) d1))
(+.f64 (.f64 d2 d1) (.f64 (+.f64 37 d3) d1))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 (+.f64 37 d3) d1))
(+.f64 (.f64 d2 d1) (.f64 (+.f64 37 d3) d1))
(+.f64 (.f64 d2 d1) (.f64 (+.f64 37 d3) d1))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 (+.f64 37 d3) d1))
(+.f64 (.f64 d2 d1) (.f64 (+.f64 37 d3) d1))
(+.f64 (.f64 d2 d1) (.f64 (+.f64 37 d3) d1))

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

localize4.0ms (0.1%)

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

localize5.0ms (0.1%)

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

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series3.0ms (0.1%)

Counts

1 → 20

Calls

6 calls:

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

rewrite97.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

725×	`pow1_binary64`
679×	`add-log-exp_binary64`
679×	`log1p-expm1-u_binary64`
679×	`expm1-log1p-u_binary64`
666×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	136	7
2	1823	7

Stop Event

1×	node limit

Counts

1 → 24

Calls

Call 1

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

Outputs

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

simplify10.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	131
1	16	131
2	19	131

Stop Event

1×

saturated

Counts

44 → 30

Calls

Call 1

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

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

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series2.0ms (0.1%)

Counts

1 → 12

Calls

6 calls:

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

rewrite98.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

679×	`pow1_binary64`
635×	`add-log-exp_binary64`
635×	`log1p-expm1-u_binary64`
635×	`expm1-log1p-u_binary64`
624×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	130	7
2	1654	7

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

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

Outputs

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

simplify9.0ms (0.2%)

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	84
1	11	75
2	18	75
3	20	75

Stop Event

1×

saturated

Counts

33 → 25

Calls

Call 1

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

Outputs
(*.f64 37 d1)
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(fma.f64 37 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(fma.f64 37 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(fma.f64 37 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(*.f64 d1 d3)
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(fma.f64 37 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(fma.f64 37 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(fma.f64 37 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(*.f64 d1 d3)
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(fma.f64 37 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(fma.f64 37 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))
(+.f64 (.f64 37 d1) (.f64 d1 d3))
(fma.f64 37 d1 (*.f64 d1 d3))
(*.f64 d1 (+.f64 37 d3))

eval59.0ms (1.4%)

Compiler: Compiled 846 to 528 computations (37.6% saved)

prune22.0ms (0.5%)

Pruning

9 alts after pruning (3 fresh and 6 done)

	Pruned	Kept	Total
New	86	3	89
Fresh	2	0	2
Picked	0	1	1
Done	0	5	5
Total	88	9	97

Error

Counts

97 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(fma.f64 (+.f64 d3 37) d1 (*.f64 d2 d1))
✓	42.3b	(*.f64 d2 d1)
▶	20.8b	(+.f64 (.f64 d1 d2) (.f64 d1 37))
▶	21.5b	(+.f64 (.f64 d3 d1) (.f64 37 d1))
▶	42.0b	(*.f64 d1 37)
✓	21.5b	(*.f64 (+.f64 37 d3) d1)
✓	40.9b	(*.f64 d1 d3)
✓	0.0b	(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
✓	20.7b	(*.f64 d1 (+.f64 d2 37))

Compiler

Compiled 75 to 53 computations (29.3% saved)

localize4.0ms (0.1%)

Compiler: Compiled 8 to 6 computations (25% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 10 computations (47.4% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite88.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

814×	`pow1_binary64`
760×	`add-log-exp_binary64`
760×	`log1p-expm1-u_binary64`
760×	`expm1-log1p-u_binary64`
745×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	153	7
2	2063	7

Stop Event

1×	node limit

Counts

1 → 41

Calls

Call 1

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

Outputs

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

simplify23.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

92×	`fma-neg_binary64`
85×	`fma-def_binary64`
23×	`associate-l_binary64`
22×	`associate-r_binary64`
22×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	159
1	35	159
2	66	159
3	134	159
4	224	159
5	338	159
6	510	159
7	551	159

Stop Event

1×

saturated

Counts

65 → 49

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (+.f64 d2 37))
(*.f64 d1 (+.f64 d2 37))
(*.f64 d1 (+.f64 d2 37))
(*.f64 d1 (+.f64 d2 37))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(*.f64 37 d1)
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(*.f64 d2 d1)
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(*.f64 d2 d1)
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(+.f64 (.f64 37 d1) (.f64 d2 d1))

Outputs
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(*.f64 d1 (+.f64 d2 37))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(*.f64 d1 (+.f64 d2 37))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(*.f64 d1 (+.f64 d2 37))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(*.f64 d1 (+.f64 d2 37))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 37)))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(*.f64 37 d1)
(*.f64 d1 37)
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(*.f64 d1 (-.f64 d2 -37))

localize7.0ms (0.2%)

Compiler: Compiled 19 to 10 computations (47.4% saved)

eval22.0ms (0.5%)

Compiler: Compiled 574 to 345 computations (39.9% saved)

prune11.0ms (0.3%)

Pruning

9 alts after pruning (0 fresh and 9 done)

	Pruned	Kept	Total
New	49	0	49
Fresh	0	0	0
Picked	0	1	1
Done	0	8	8
Total	49	9	58

Error

Counts

58 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(fma.f64 (+.f64 d3 37) d1 (*.f64 d2 d1))
✓	42.3b	(*.f64 d2 d1)
✓	20.8b	(+.f64 (.f64 d1 d2) (.f64 d1 37))
✓	21.5b	(+.f64 (.f64 d3 d1) (.f64 37 d1))
✓	42.0b	(*.f64 d1 37)
✓	21.5b	(*.f64 (+.f64 37 d3) d1)
✓	40.9b	(*.f64 d1 d3)
✓	0.0b	(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
✓	20.7b	(*.f64 d1 (+.f64 d2 37))

Compiler

Compiled 75 to 53 computations (29.3% saved)

regimes79.0ms (1.9%)

Counts

12 → 1

Calls

Call 1

Inputs
(*.f64 d1 37)
(*.f64 d2 d1)
(*.f64 d1 d3)
(*.f64 (+.f64 37 d3) d1)
(*.f64 d1 (+.f64 d2 37))
(+.f64 (.f64 d1 d2) (.f64 d1 37))
(+.f64 (.f64 d3 d1) (.f64 37 d1))
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(+.f64 (.f64 (+.f64 d3 37) d1) (.f64 d2 d1))
(+.f64 (.f64 (+.f64 5 d3) d1) (.f64 d1 32))
(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
(fma.f64 (+.f64 d3 37) d1 (*.f64 d2 d1))

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

Calls

6 calls:

43.0ms	(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
10.0ms	d2
7.0ms	d1
7.0ms	d3
4.0ms	(+.f64 d3 5)

Results

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

Compiler

Compiled 122 to 75 computations (38.5% saved)

regimes69.0ms (1.7%)

Counts

7 → 4

Calls

Call 1

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

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

Calls

3 calls:

33.0ms	d1
21.0ms	d2
13.0ms	d3

Results

Error	Segments	Branch
14.2b	6	`d1`
2.9b	4	`d2`
3.7b	2	`d3`

Compiler

Compiled 48 to 30 computations (37.5% saved)

bsearch102.0ms (2.4%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
49.0ms	-0.0003027007590985366	-8.124783915894684e-10
21.0ms	-5.189203830894019e+31	-4.4939672251022015e+25
32.0ms	-7.5605931924883525e+71	-2.2039446477324313e+70

Compiler

Compiled 22 to 16 computations (27.3% saved)

regimes83.0ms (2%)

Counts

6 → 4

Calls

Call 1

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

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

Calls

3 calls:

50.0ms	d1
22.0ms	d2
9.0ms	d3

Results

Error	Segments	Branch
14.2b	6	`d1`
2.9b	4	`d2`
3.7b	2	`d3`

Compiler

Compiled 41 to 26 computations (36.6% saved)

bsearch95.0ms (2.3%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
50.0ms	-0.0003027007590985366	-8.124783915894684e-10
21.0ms	-5.189203830894019e+31	-4.4939672251022015e+25
24.0ms	-7.5605931924883525e+71	-2.2039446477324313e+70

Compiler

Compiled 22 to 16 computations (27.3% saved)

regimes119.0ms (2.9%)

Counts

4 → 4

Calls

Call 1

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

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

Calls

3 calls:

83.0ms	d3
19.0ms	d1
16.0ms	d2

Results

Error	Segments	Branch
18.8b	5	`d1`
4.2b	4	`d2`
14.8b	2	`d3`

Compiler

Compiled 29 to 19 computations (34.5% saved)

bsearch65.0ms (1.6%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
20.0ms	-59996927.904644236	-15.303115969212687
25.0ms	-5.189203830894019e+31	-4.4939672251022015e+25
20.0ms	-7.5605931924883525e+71	-2.2039446477324313e+70

Compiler

Compiled 22 to 16 computations (27.3% saved)

regimes121.0ms (2.9%)

Counts

3 → 4

Calls

Call 1

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

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

Calls

3 calls:

82.0ms	d2
25.0ms	d1
13.0ms	d3

Results

Error	Segments	Branch
28.8b	8	`d1`
15.6b	5	`d2`
13.8b	4	`d3`

Compiler

Compiled 24 to 16 computations (33.3% saved)

bsearch80.0ms (1.9%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
20.0ms	34875382183.17412	1.6151357345311312e+21
20.0ms	9.489521778093502e-17	2.9542298642056915e-15
40.0ms	-1.4127798231915144e-272	-1.0906029670186083e-277

Compiler

Compiled 22 to 16 computations (27.3% saved)

regimes76.0ms (1.8%)

Accuracy

Total -40.1b remaining (-180.7%)

Threshold costs -40.1b (-180.7%)

Counts

2 → 2

Calls

Call 1

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

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

Calls

3 calls:

52.0ms	d3
16.0ms	d1
6.0ms	d2

Results

Error	Segments	Branch
34.0b	5	`d1`
22.2b	2	`d2`
31.2b	3	`d3`

Compiler

Compiled 21 to 15 computations (28.6% saved)

bsearch20.0ms (0.5%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
20.0ms	-59996927.904644236	-15.303115969212687

Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify11.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
4×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	182
1	55	182

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(if (<=.f64 d2 -756059319248835250721818866587752970265346838022206954523344347544420352) (.f64 d2 d1) (if (<=.f64 d2 -51892038308940188989678518534144) (.f64 d1 d3) (if (<=.f64 d2 -5583843434008313/18446744073709551616) (.f64 d1 (+.f64 d2 37)) (+.f64 (.f64 d3 d1) (*.f64 37 d1)))))
(if (<=.f64 d2 -756059319248835250721818866587752970265346838022206954523344347544420352) (.f64 d2 d1) (if (<=.f64 d2 -51892038308940188989678518534144) (.f64 d1 d3) (if (<=.f64 d2 -5583843434008313/18446744073709551616) (.f64 d1 (+.f64 d2 37)) (.f64 (+.f64 37 d3) d1))))
(if (<=.f64 d2 -756059319248835250721818866587752970265346838022206954523344347544420352) (.f64 d2 d1) (if (<=.f64 d2 -51892038308940188989678518534144) (.f64 d1 d3) (if (<=.f64 d2 -4026325675170575/67108864) (.f64 d2 d1) (.f64 (+.f64 37 d3) d1))))
(if (<=.f64 d3 -4302494689366087/304541062856249971261043199621099634714882089299843985214622076787904646586450815702050470808812820600790778632231520880733099058287596688955562103009770419360352428123639782183462176734064176511024987296225574339802674935168589842054573862983405175400866837597008673346307143437247315968) (.f64 d2 d1) (if (<=.f64 d3 7698814705842613/81129638414606681695789005144064) (.f64 d1 37) (if (<=.f64 d3 2285593046756499/65536) (.f64 d2 d1) (.f64 d1 d3))))
(if (<=.f64 d2 -4026325675170575/67108864) (.f64 d2 d1) (.f64 d1 37))
(*.f64 d1 37)

Outputs
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(if (<=.f64 d2 -756059319248835250721818866587752970265346838022206954523344347544420352) (.f64 d2 d1) (if (<=.f64 d2 -51892038308940188989678518534144) (.f64 d1 d3) (if (<=.f64 d2 -5583843434008313/18446744073709551616) (.f64 d1 (+.f64 d2 37)) (+.f64 (.f64 d3 d1) (*.f64 37 d1)))))
(if (<=.f64 d2 -756059319248835250721818866587752970265346838022206954523344347544420352) (.f64 d1 d2) (if (<=.f64 d2 -51892038308940188989678518534144) (.f64 d1 d3) (if (<=.f64 d2 -5583843434008313/18446744073709551616) (.f64 d1 (+.f64 37 d2)) (+.f64 (.f64 d1 d3) (*.f64 d1 37)))))
(if (<=.f64 d2 -756059319248835250721818866587752970265346838022206954523344347544420352) (.f64 d2 d1) (if (<=.f64 d2 -51892038308940188989678518534144) (.f64 d1 d3) (if (<=.f64 d2 -5583843434008313/18446744073709551616) (.f64 d1 (+.f64 d2 37)) (.f64 (+.f64 37 d3) d1))))
(if (<=.f64 d2 -756059319248835250721818866587752970265346838022206954523344347544420352) (.f64 d1 d2) (if (<=.f64 d2 -51892038308940188989678518534144) (.f64 d1 d3) (if (<=.f64 d2 -5583843434008313/18446744073709551616) (.f64 d1 (+.f64 37 d2)) (.f64 d1 (+.f64 d3 37)))))
(if (<=.f64 d2 -756059319248835250721818866587752970265346838022206954523344347544420352) (.f64 d2 d1) (if (<=.f64 d2 -51892038308940188989678518534144) (.f64 d1 d3) (if (<=.f64 d2 -4026325675170575/67108864) (.f64 d2 d1) (.f64 (+.f64 37 d3) d1))))
(if (<=.f64 d2 -756059319248835250721818866587752970265346838022206954523344347544420352) (.f64 d1 d2) (if (<=.f64 d2 -51892038308940188989678518534144) (.f64 d1 d3) (if (<=.f64 d2 -4026325675170575/67108864) (.f64 d1 d2) (.f64 d1 (+.f64 d3 37)))))
(if (<=.f64 d3 -4302494689366087/304541062856249971261043199621099634714882089299843985214622076787904646586450815702050470808812820600790778632231520880733099058287596688955562103009770419360352428123639782183462176734064176511024987296225574339802674935168589842054573862983405175400866837597008673346307143437247315968) (.f64 d2 d1) (if (<=.f64 d3 7698814705842613/81129638414606681695789005144064) (.f64 d1 37) (if (<=.f64 d3 2285593046756499/65536) (.f64 d2 d1) (.f64 d1 d3))))
(if (<=.f64 d3 -4302494689366087/304541062856249971261043199621099634714882089299843985214622076787904646586450815702050470808812820600790778632231520880733099058287596688955562103009770419360352428123639782183462176734064176511024987296225574339802674935168589842054573862983405175400866837597008673346307143437247315968) (.f64 d1 d2) (if (<=.f64 d3 7698814705842613/81129638414606681695789005144064) (.f64 d1 37) (if (<=.f64 d3 2285593046756499/65536) (.f64 d1 d2) (.f64 d1 d3))))
(if (<=.f64 d2 -4026325675170575/67108864) (.f64 d2 d1) (.f64 d1 37))
(if (<=.f64 d2 -4026325675170575/67108864) (.f64 d1 d2) (.f64 d1 37))
(*.f64 d1 37)

Compiler

Compiled 149 to 94 computations (36.9% saved)

soundness17.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

114×	`fma-def_binary64`
61×	`associate-+l+_binary64`
38×	`associate-+r+_binary64`
34×	`distribute-lft-out_binary64`
32×	`+-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	17
1	21	14
2	51	10
3	167	10
4	316	10
5	417	10
6	429	10

Stop Event

1×

saturated

Compiler

Compiled 116 to 84 computations (27.6% saved)

end62.0ms (1.5%)

Remove: (sort d2 d3)
Compiler: Compiled 151 to 83 computations (45% saved)

Details

analyze480.0ms (11.5%)

sample1.2s (28.6%)

preprocess30.0ms (0.7%)

simplify118.0ms (2.8%)

eval1.0ms (0%)

prune1.0ms (0%)

localize9.0ms (0.2%)

series5.0ms (0.1%)

rewrite70.0ms (1.7%)

simplify17.0ms (0.4%)

localize17.0ms (0.4%)

series19.0ms (0.5%)

rewrite136.0ms (3.2%)

simplify201.0ms (4.8%)

eval169.0ms (4%)

prune52.0ms (1.2%)

localize36.0ms (0.9%)

series6.0ms (0.1%)

rewrite69.0ms (1.6%)

simplify60.0ms (1.4%)

localize4.0ms (0.1%)

localize5.0ms (0.1%)

localize6.0ms (0.2%)

series3.0ms (0.1%)

rewrite97.0ms (2.3%)

simplify10.0ms (0.2%)

localize6.0ms (0.1%)

series2.0ms (0.1%)

rewrite98.0ms (2.3%)

simplify9.0ms (0.2%)

eval59.0ms (1.4%)

prune22.0ms (0.5%)

localize4.0ms (0.1%)

localize8.0ms (0.2%)

series3.0ms (0.1%)

rewrite88.0ms (2.1%)

simplify23.0ms (0.6%)

localize7.0ms (0.2%)

eval22.0ms (0.5%)

prune11.0ms (0.3%)

regimes79.0ms (1.9%)

regimes69.0ms (1.7%)

bsearch102.0ms (2.4%)

regimes83.0ms (2%)

bsearch95.0ms (2.3%)

regimes119.0ms (2.9%)

bsearch65.0ms (1.6%)

regimes121.0ms (2.9%)

bsearch80.0ms (1.9%)

regimes76.0ms (1.8%)

bsearch20.0ms (0.5%)

simplify11.0ms (0.3%)

soundness17.0ms (0.4%)

end62.0ms (1.5%)

Profiling