Details

analyze258.0ms (6.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
25%	72.5%	2.5%	9
34.3%	62%	3.7%	10
41.3%	52.5%	6.2%	11
46.8%	45.1%	8%	12

Compiler

Compiled 17 to 12 computations (29.4% saved)

sample1.3s (31.5%)

Results

1.1s	8221×	body	256	valid
165.0ms	1383×	body	256	invalid
5.0ms	23×	body	512	valid
4.0ms	12×	body	1024	valid

preprocess44.0ms (1.1%)

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)

simplify19.0ms (0.5%)

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

eval3.0ms (0.1%)

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

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 26 to 18 computations (30.8% saved)

localize19.0ms (0.5%)

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)

series9.0ms (0.2%)

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

rewrite104.0ms (2.6%)

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

simplify31.0ms (0.8%)

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

localize34.0ms (0.8%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 44 to 24 computations (45.5% saved)

series16.0ms (0.4%)

Counts

3 → 96

Calls

24 calls:

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

rewrite184.0ms (4.6%)

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

Outputs
((#(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 (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 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 (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 (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 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))))))

simplify200.0ms (5%)

Algorithm

1×	egg-herbie

Rules

1204×	`fma-neg_binary64`
563×	`fma-def_binary64`
265×	`distribute-rgt-in_binary64`
224×	`unsub-neg_binary64`
207×	`sub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	42	826
1	147	822
2	394	819
3	1010	819
4	2583	819
5	4049	819
6	4231	819
7	4250	819
8	4250	819
9	4250	819
10	5020	819
11	5020	819

Stop Event

1×

saturated

Counts

308 → 237

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

eval129.0ms (3.2%)

Compiler: Compiled 5015 to 2990 computations (40.4% saved)

prune139.0ms (3.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	300	6	306
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	301	7	308

Error

Counts

308 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	21.4b	(*.f64 d1 (+.f64 d2 37))
▶	41.6b	(*.f64 d1 d3)
✓	0.0b	(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
	0.0b	(+.f64 (.f64 (+.f64 d3 37) d1) (.f64 d2 d1))
▶	0.0b	(fma.f64 (+.f64 37 d2) d1 (*.f64 d1 d3))
▶	44.1b	(*.f64 d2 d1)
▶	20.4b	(*.f64 (+.f64 37 d3) d1)

Compiler

Compiled 112 to 77 computations (31.3% saved)

localize18.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 21 to 10 computations (52.4% saved)

series14.0ms (0.4%)

Counts

1 → 36

Calls

9 calls:

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

rewrite68.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

881×	`pow1_binary64`
818×	`add-log-exp_binary64`
818×	`log1p-expm1-u_binary64`
818×	`expm1-log1p-u_binary64`
802×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

Outputs

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

simplify75.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

301×	`fma-def_binary64`
262×	`fma-neg_binary64`
153×	`distribute-rgt-in_binary64`
130×	`distribute-lft-in_binary64`
75×	`unsub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	26	391
1	82	330
2	169	330
3	447	330
4	1212	330
5	1624	330
6	1955	330
7	1969	330

Stop Event

1×

saturated

Counts

58 → 35

Calls

Call 1

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

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

localize10.0ms (0.3%)

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

localize7.0ms (0.2%)

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

localize13.0ms (0.3%)

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)

series5.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))
1.0ms	d1	@	-inf	(*.f64 d1 (+.f64 d2 37))
1.0ms	d2	@	0	(*.f64 d1 (+.f64 d2 37))
1.0ms	d2	@	inf	(*.f64 d1 (+.f64 d2 37))

rewrite61.0ms (1.5%)

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

simplify16.0ms (0.4%)

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

localize11.0ms (0.3%)

Compiler: Compiled 14 to 9 computations (35.7% saved)

eval36.0ms (0.9%)

Compiler: Compiled 648 to 399 computations (38.4% saved)

prune24.0ms (0.6%)

Pruning

9 alts after pruning (3 fresh and 6 done)

	Pruned	Kept	Total
New	63	2	65
Fresh	0	1	1
Picked	0	1	1
Done	0	5	5
Total	63	9	72

Error

Counts

72 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	41.6b	(*.f64 d1 d3)
▶	40.8b	(*.f64 d1 37)
▶	21.5b	(+.f64 (.f64 d1 d2) (.f64 d1 37))
✓	21.4b	(*.f64 d1 (+.f64 d2 37))
✓	0.0b	(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
▶	0.0b	(+.f64 (.f64 (+.f64 d3 37) d1) (.f64 d2 d1))
✓	0.0b	(fma.f64 (+.f64 37 d2) d1 (*.f64 d1 d3))
✓	44.1b	(*.f64 d2 d1)
✓	20.4b	(*.f64 (+.f64 37 d3) d1)

Compiler

Compiled 77 to 54 computations (29.9% saved)

localize7.0ms (0.2%)

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

localize64.0ms (1.6%)

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)

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite67.0ms (1.7%)

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

simplify47.0ms (1.2%)

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

localize19.0ms (0.5%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 27 to 14 computations (48.1% saved)

series38.0ms (1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite75.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

500×	`log-prod_binary64`
418×	`fma-def_binary64`
368×	`pow-prod-down_binary64`
365×	`exp-prod_binary64`
272×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	10
1	202	10
2	2805	10

Stop Event

1×	node limit

Counts

1 → 79

Calls

Call 1

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

Outputs

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

simplify51.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

292×	`fma-def_binary64`
261×	`fma-neg_binary64`
147×	`distribute-rgt-in_binary64`
117×	`distribute-lft-in_binary64`
74×	`unsub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	390
1	63	330
2	151	330
3	474	330
4	1154	330
5	1560	330
6	1884	330
7	1898	330

Stop Event

1×

saturated

Counts

115 → 91

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

eval142.0ms (3.6%)

Compiler: Compiled 1860 to 1098 computations (41% saved)

prune24.0ms (0.6%)

Pruning

9 alts after pruning (0 fresh and 9 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	0	0
Picked	0	1	1
Done	0	8	8
Total	140	9	149

Error

Counts

149 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	41.6b	(*.f64 d1 d3)
✓	40.8b	(*.f64 d1 37)
✓	21.5b	(+.f64 (.f64 d1 d2) (.f64 d1 37))
✓	21.4b	(*.f64 d1 (+.f64 d2 37))
✓	0.0b	(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
✓	0.0b	(+.f64 (.f64 (+.f64 d3 37) d1) (.f64 d2 d1))
✓	0.0b	(fma.f64 (+.f64 37 d2) d1 (*.f64 d1 d3))
✓	44.1b	(*.f64 d2 d1)
✓	20.4b	(*.f64 (+.f64 37 d3) d1)

Compiler

Compiled 77 to 54 computations (29.9% saved)

regimes43.0ms (1.1%)

Counts

10 → 1

Calls

Call 1

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

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

Calls

6 calls:

10.0ms	d3
7.0ms	(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
6.0ms	d1
6.0ms	d2
3.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 106 to 65 computations (38.7% saved)

regimes101.0ms (2.5%)

Counts

6 → 2

Calls

Call 1

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

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

Calls

3 calls:

76.0ms	d1
13.0ms	d2
10.0ms	d3

Results

Error	Segments	Branch
13.6b	10	`d1`
5.2b	2	`d2`
2.6b	2	`d3`

Compiler

Compiled 41 to 26 computations (36.6% saved)

bsearch42.0ms (1.1%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
42.0ms	3.868383633036684e-15	0.009258792861848822

Compiler

Compiled 22 to 16 computations (27.3% saved)

regimes76.0ms (1.9%)

Counts

4 → 2

Calls

Call 1

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

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

Calls

3 calls:

31.0ms	d2
27.0ms	d1
16.0ms	d3

Results

Error	Segments	Branch
20.4b	3	`d1`
17.2b	2	`d2`
3.6b	2	`d3`

Compiler

Compiled 29 to 19 computations (34.5% saved)

bsearch24.0ms (0.6%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
24.0ms	0.009258792861848822	3559.220938537569

Compiler

Compiled 22 to 16 computations (27.3% saved)

regimes146.0ms (3.6%)

Counts

3 → 3

Calls

Call 1

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

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

Calls

3 calls:

112.0ms	d1
20.0ms	d3
13.0ms	d2

Results

Error	Segments	Branch
28.4b	12	`d1`
18.6b	3	`d2`
13.9b	3	`d3`

Compiler

Compiled 24 to 16 computations (33.3% saved)

bsearch61.0ms (1.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
37.0ms	0.009258792861848822	3559.220938537569
24.0ms	4.9856471531005474e-250	2.3770105635041687e-248

Compiler

Compiled 22 to 16 computations (27.3% saved)

regimes52.0ms (1.3%)

Accuracy

Total -39.7b remaining (-184.3%)

Threshold costs -39.7b (-184.3%)

Counts

2 → 2

Calls

Call 1

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

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

Calls

3 calls:

23.0ms	d1
22.0ms	d2
6.0ms	d3

Results

Error	Segments	Branch
32.0b	7	`d1`
32.3b	3	`d2`
21.5b	2	`d3`

Compiler

Compiled 21 to 15 computations (28.6% saved)

bsearch20.0ms (0.5%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
20.0ms	0.009258792861848822	3559.220938537569

Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
3×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	89
1	35	89

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(if (<=.f64 d3 4903758834332011/1267650600228229401496703205376) (.f64 d1 (+.f64 d2 37)) (.f64 (+.f64 37 d3) d1))
(if (<=.f64 d3 170794582354014048/18446744073709551616) (.f64 d1 (+.f64 d2 37)) (.f64 d1 d3))
(if (<=.f64 d3 4018997383354367/8061134813471454564702450331367746071149403778627342561766978592325956765086744071570087522699847227396765060321916636335485039665263146015175460486800225477728068298324662539195732386420081192825687147647265448061340763744378078290380812053940375922997109693874176) (.f64 d2 d1) (if (<=.f64 d3 170794582354014048/18446744073709551616) (.f64 d1 37) (*.f64 d1 d3)))
(if (<=.f64 d3 170794582354014048/18446744073709551616) (.f64 d1 37) (.f64 d1 d3))
(*.f64 d1 37)

Outputs
(*.f64 d1 (+.f64 d3 (+.f64 37 d2)))
(if (<=.f64 d3 4903758834332011/1267650600228229401496703205376) (.f64 d1 (+.f64 d2 37)) (.f64 (+.f64 37 d3) d1))
(if (<=.f64 d3 4903758834332011/1267650600228229401496703205376) (.f64 d1 (+.f64 37 d2)) (.f64 d1 (+.f64 d3 37)))
(if (<=.f64 d3 170794582354014048/18446744073709551616) (.f64 d1 (+.f64 d2 37)) (.f64 d1 d3))
(if (<=.f64 d3 5337330698562939/576460752303423488) (.f64 d1 (+.f64 37 d2)) (.f64 d1 d3))
(if (<=.f64 d3 4018997383354367/8061134813471454564702450331367746071149403778627342561766978592325956765086744071570087522699847227396765060321916636335485039665263146015175460486800225477728068298324662539195732386420081192825687147647265448061340763744378078290380812053940375922997109693874176) (.f64 d2 d1) (if (<=.f64 d3 170794582354014048/18446744073709551616) (.f64 d1 37) (*.f64 d1 d3)))
(if (<=.f64 d3 4018997383354367/8061134813471454564702450331367746071149403778627342561766978592325956765086744071570087522699847227396765060321916636335485039665263146015175460486800225477728068298324662539195732386420081192825687147647265448061340763744378078290380812053940375922997109693874176) (.f64 d1 d2) (if (<=.f64 d3 5337330698562939/576460752303423488) (.f64 d1 37) (*.f64 d1 d3)))
(if (<=.f64 d3 170794582354014048/18446744073709551616) (.f64 d1 37) (.f64 d1 d3))
(if (<=.f64 d3 5337330698562939/576460752303423488) (.f64 d1 37) (.f64 d1 d3))
(*.f64 d1 37)

Compiler

Compiled 81 to 56 computations (30.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)

end60.0ms (1.5%)

Remove: (sort d2 d3)
Compiler: Compiled 86 to 53 computations (38.4% saved)

Details

analyze258.0ms (6.5%)

sample1.3s (31.5%)

preprocess44.0ms (1.1%)

simplify19.0ms (0.5%)

eval3.0ms (0.1%)

prune3.0ms (0.1%)

localize19.0ms (0.5%)

series9.0ms (0.2%)

rewrite104.0ms (2.6%)

simplify31.0ms (0.8%)

localize34.0ms (0.8%)

series16.0ms (0.4%)

rewrite184.0ms (4.6%)

simplify200.0ms (5%)

eval129.0ms (3.2%)

prune139.0ms (3.5%)

localize18.0ms (0.4%)

series14.0ms (0.4%)

rewrite68.0ms (1.7%)

simplify75.0ms (1.9%)

localize10.0ms (0.3%)

localize7.0ms (0.2%)

localize13.0ms (0.3%)

series5.0ms (0.1%)

rewrite61.0ms (1.5%)

simplify16.0ms (0.4%)

localize11.0ms (0.3%)

eval36.0ms (0.9%)

prune24.0ms (0.6%)

localize7.0ms (0.2%)

localize64.0ms (1.6%)

series4.0ms (0.1%)

rewrite67.0ms (1.7%)

simplify47.0ms (1.2%)

localize19.0ms (0.5%)

series38.0ms (1%)

rewrite75.0ms (1.9%)

simplify51.0ms (1.3%)

eval142.0ms (3.6%)

prune24.0ms (0.6%)

regimes43.0ms (1.1%)

regimes101.0ms (2.5%)

bsearch42.0ms (1.1%)

regimes76.0ms (1.9%)

bsearch24.0ms (0.6%)

regimes146.0ms (3.6%)

bsearch61.0ms (1.5%)

regimes52.0ms (1.3%)

bsearch20.0ms (0.5%)

simplify7.0ms (0.2%)

soundness17.0ms (0.4%)

end60.0ms (1.5%)

Profiling