Details

analyze244.0ms (7.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
25%	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.1s (36.6%)

Results

952.0ms	8222×	body	256	valid
155.0ms	1392×	body	256	invalid
5.0ms	18×	body	1024	valid
3.0ms	16×	body	512	valid

preprocess24.0ms (0.8%)

Algorithm

2×	egg-herbie

Rules

358×	`fma-def_binary64`
173×	`associate-+l+_binary64`
120×	`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	892	40
5	1112	40
6	1142	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 32 (*.f64 d1 (+.f64 (+.f64 d3 5) d2)))
(*.f64 d1 (+.f64 (+.f64 d3 37) d2))
(*.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 32 (*.f64 d1 (+.f64 (+.f64 d3 5) d2)))
(*.f64 d1 (+.f64 (+.f64 d3 37) d2))
(*.f64 d1 (+.f64 d2 (+.f64 d3 37)))

Symmetry

(sort d2 d3)

Compiler

Compiled 19 to 14 computations (26.3% saved)

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

114×	`fma-def_binary64`
59×	`associate-+l+_binary64`
40×	`associate-+r+_binary64`
34×	`distribute-lft-out_binary64`
27×	`+-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	17
1	21	14
2	51	10
3	159	10
4	305	10
5	408	10
6	420	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 37 (+.f64 d2 d3)))

eval1.0ms (0%)

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

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 10 to 7 computations (30% saved)

localize8.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 22 to 10 computations (54.5% saved)

series5.0ms (0.2%)

Counts

1 → 28

Calls

9 calls:

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

rewrite47.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

680×	`prod-diff_binary64`
614×	`unpow-prod-down_binary64`
438×	`log-prod_binary64`
301×	`fma-def_binary64`
254×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 56

Calls

Call 1

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

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

Outputs

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

simplify13.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	250
1	37	250
2	61	250
3	84	250
4	90	250

Stop Event

1×

saturated

Counts

84 → 65

Calls

Call 1

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

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

eval14.0ms (0.5%)

Compiler: Compiled 776 to 359 computations (53.7% saved)

prune15.0ms (0.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	58	7	65
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	58	8	66

Error

Counts

66 → 8

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(fma.f64 (+.f64 37 d2) d1 (*.f64 d3 d1))
▶	41.8b	(*.f64 d2 d1)
▶	42.9b	(*.f64 d1 d3)
▶	20.4b	(*.f64 d1 (+.f64 d2 37))
	31.7b	(/.f64 (*.f64 d1 (+.f64 50653 (pow.f64 (+.f64 d2 d3) 3))) (fma.f64 (+.f64 d2 d3) (-.f64 (+.f64 d2 d3) 37) 1369))
✓	0.0b	(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
▶	22.2b	(*.f64 (+.f64 37 d3) d1)
	32.4b	(fma.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 d3))) (sqrt.f64 (+.f64 d2 d3)) (.f64 d1 37))

Compiler

Compiled 168 to 107 computations (36.3% saved)

localize11.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 21 to 10 computations (52.4% saved)

series6.0ms (0.2%)

Counts

1 → 36

Calls

9 calls:

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

rewrite45.0ms (1.4%)

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	2133	10

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

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 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))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 (+.f64 37 d2) 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 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))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 (+.f64 37 d2) d3))))))))

simplify32.0ms (1%)

Algorithm

1×	egg-herbie

Rules

301×	`fma-def_binary64`
278×	`fma-neg_binary64`
151×	`distribute-rgt-in_binary64`
126×	`distribute-lft-in_binary64`
79×	`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	1160	330
5	1574	330
6	1905	330
7	1936	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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -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 (-.f64 d3 -37) d2))
(*.f64 d1 (+.f64 d2 (-.f64 d3 -37)))

localize3.0ms (0.1%)

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

localize3.0ms (0.1%)

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

localize7.0ms (0.2%)

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

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series4.0ms (0.1%)

Counts

1 → 20

Calls

6 calls:

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

rewrite47.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	1820	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 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 expm1.f64 (log1p.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))))))

simplify9.0ms (0.3%)

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	17	131
2	20	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))

eval16.0ms (0.5%)

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

prune14.0ms (0.5%)

Pruning

9 alts after pruning (3 fresh and 6 done)

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

Error

Counts

73 → 9

Alt Table

Click to see full alt table

Status	Error	Program
▶	41.8b	(*.f64 d1 37)
✓	20.4b	(*.f64 d1 (+.f64 d2 37))
✓	0.0b	(fma.f64 (+.f64 37 d2) d1 (*.f64 d3 d1))
✓	41.8b	(*.f64 d2 d1)
▶	36.8b	(/.f64 (.f64 (+.f64 50653 (pow.f64 d2 3)) d1) (fma.f64 d2 d2 (-.f64 1369 (.f64 d2 37))))
✓	22.2b	(*.f64 (+.f64 37 d3) d1)
✓	42.9b	(*.f64 d1 d3)
✓	0.0b	(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
▶	32.4b	(fma.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 d3))) (sqrt.f64 (+.f64 d2 d3)) (.f64 d1 37))

Compiler

Compiled 91 to 62 computations (31.9% saved)

localize13.0ms (0.4%)

Local error

Found 6 expressions with local error:

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

Compiler

Compiled 37 to 12 computations (67.6% saved)

series21.0ms (0.7%)

Counts

3 → 36

Calls

24 calls:

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

rewrite81.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

602×	`prod-diff_binary64`
494×	`log-prod_binary64`
341×	`pow-prod-down_binary64`
273×	`pow2_binary64`
215×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	36
1	210	28
2	2675	26

Stop Event

1×	node limit

Counts

3 → 86

Calls

Call 1

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

Outputs

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

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

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

simplify67.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

994×	`fma-def_binary64`
647×	`times-frac_binary64`
515×	`associate-l_binary64`
492×	`associate-/l*_binary64`
455×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	136	665
1	426	662
2	1369	650
3	5319	632

Stop Event

1×	node limit

Counts

122 → 127

Calls

Call 1

Inputs
(*.f64 d1 (sqrt.f64 d3))
(+.f64 (.f64 d1 (sqrt.f64 d3)) (.f64 1/2 (.f64 (.f64 d2 d1) (sqrt.f64 (/.f64 1 d3)))))
(+.f64 (.f64 d1 (sqrt.f64 d3)) (+.f64 (.f64 -1/8 (.f64 (.f64 (pow.f64 d2 2) d1) (sqrt.f64 (/.f64 1 (pow.f64 d3 3))))) (.f64 1/2 (.f64 (*.f64 d2 d1) (sqrt.f64 (/.f64 1 d3))))))
(+.f64 (.f64 d1 (sqrt.f64 d3)) (+.f64 (.f64 -1/8 (.f64 (.f64 (pow.f64 d2 2) d1) (sqrt.f64 (/.f64 1 (pow.f64 d3 3))))) (+.f64 (.f64 1/2 (.f64 (.f64 d2 d1) (sqrt.f64 (/.f64 1 d3)))) (.f64 1/16 (.f64 (.f64 (pow.f64 d2 3) d1) (sqrt.f64 (/.f64 1 (pow.f64 d3 5))))))))
(*.f64 (sqrt.f64 d2) d1)
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 d2)) (.f64 d1 d3))) (.f64 (sqrt.f64 d2) d1))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 d2)) (.f64 d1 d3))) (+.f64 (.f64 (sqrt.f64 d2) d1) (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 d2 3))) (*.f64 d1 (pow.f64 d3 2))))))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 d2)) (.f64 d1 d3))) (+.f64 (.f64 (sqrt.f64 d2) d1) (+.f64 (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 d2 5))) (.f64 d1 (pow.f64 d3 3)))) (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 d2 3))) (.f64 d1 (pow.f64 d3 2)))))))
(*.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 d1 (-.f64 (*.f64 -1 (+.f64 d2 d3)) 37)))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 (+.f64 d2 d3)) 37)))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 (+.f64 d2 d3)) 37)))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 (+.f64 d2 d3)) 37)))
(+.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 (.f64 (pow.f64 d2 2) (+.f64 (.f64 1/4 (/.f64 d1 d3)) (.f64 -1/4 (/.f64 d1 d3)))) (.f64 d1 d3))))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d2 d1) (+.f64 (.f64 (pow.f64 d2 3) (+.f64 (.f64 1/8 (/.f64 d1 (pow.f64 d3 2))) (.f64 -1/8 (/.f64 d1 (pow.f64 d3 2))))) (+.f64 (.f64 (pow.f64 d2 2) (+.f64 (.f64 1/4 (/.f64 d1 d3)) (.f64 -1/4 (/.f64 d1 d3)))) (*.f64 d1 d3)))))
(+.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 (.f64 d1 d3) (.f64 (+.f64 (.f64 1/4 (/.f64 d1 d2)) (.f64 -1/4 (/.f64 d1 d2))) (pow.f64 d3 2)))))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d2 d1) (+.f64 (.f64 d1 d3) (+.f64 (.f64 (pow.f64 d3 3) (+.f64 (.f64 -1/8 (/.f64 d1 (pow.f64 d2 2))) (.f64 1/8 (/.f64 d1 (pow.f64 d2 2))))) (.f64 (+.f64 (.f64 1/4 (/.f64 d1 d2)) (*.f64 -1/4 (/.f64 d1 d2))) (pow.f64 d3 2))))))
(sqrt.f64 d3)
(+.f64 (.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 1 d3)))) (sqrt.f64 d3))
(+.f64 (.f64 -1/8 (.f64 (pow.f64 d2 2) (sqrt.f64 (/.f64 1 (pow.f64 d3 3))))) (+.f64 (.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 1 d3)))) (sqrt.f64 d3)))
(+.f64 (.f64 -1/8 (.f64 (pow.f64 d2 2) (sqrt.f64 (/.f64 1 (pow.f64 d3 3))))) (+.f64 (.f64 1/2 (.f64 d2 (sqrt.f64 (/.f64 1 d3)))) (+.f64 (sqrt.f64 d3) (.f64 1/16 (.f64 (pow.f64 d2 3) (sqrt.f64 (/.f64 1 (pow.f64 d3 5))))))))
(sqrt.f64 d2)
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 d2)) d3)) (sqrt.f64 d2))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 d2)) d3)) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 d2 3))) (pow.f64 d3 2))) (sqrt.f64 d2)))
(+.f64 (.f64 1/2 (.f64 (sqrt.f64 (/.f64 1 d2)) d3)) (+.f64 (.f64 1/16 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 d2 5))) (pow.f64 d3 3))) (+.f64 (.f64 -1/8 (.f64 (sqrt.f64 (/.f64 1 (pow.f64 d2 3))) (pow.f64 d3 2))) (sqrt.f64 d2))))

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

localize53.0ms (1.7%)

Local error

Found 8 expressions with local error:

New	Error	Program
	15.1b	(/.f64 (.f64 (+.f64 50653 (pow.f64 d2 3)) d1) (fma.f64 d2 d2 (-.f64 1369 (.f64 d2 37))))
	3.8b	(*.f64 (+.f64 50653 (pow.f64 d2 3)) d1)
	0.0b	(fma.f64 d2 d2 (-.f64 1369 (*.f64 d2 37)))
	0.0b	(-.f64 1369 (*.f64 d2 37))
✓	0.0b	(-.f64 1369 (*.f64 d2 37))
✓	0.0b	(fma.f64 d2 d2 (-.f64 1369 (*.f64 d2 37)))
✓	3.8b	(*.f64 (+.f64 50653 (pow.f64 d2 3)) d1)
✓	15.1b	(/.f64 (.f64 (+.f64 50653 (pow.f64 d2 3)) d1) (fma.f64 d2 d2 (-.f64 1369 (.f64 d2 37))))

Compiler

Compiled 56 to 40 computations (28.6% saved)

series14.0ms (0.4%)

Counts

4 → 72

Calls

18 calls:

Time	Variable		Point	Expression
3.0ms	d2	@	0	(/.f64 (.f64 (+.f64 50653 (pow.f64 d2 3)) d1) (fma.f64 d2 d2 (-.f64 1369 (.f64 d2 37))))
2.0ms	d1	@	0	(/.f64 (.f64 (+.f64 50653 (pow.f64 d2 3)) d1) (fma.f64 d2 d2 (-.f64 1369 (.f64 d2 37))))
1.0ms	d1	@	inf	(/.f64 (.f64 (+.f64 50653 (pow.f64 d2 3)) d1) (fma.f64 d2 d2 (-.f64 1369 (.f64 d2 37))))
1.0ms	d2	@	-inf	(*.f64 (+.f64 50653 (pow.f64 d2 3)) d1)
1.0ms	d2	@	inf	(/.f64 (.f64 (+.f64 50653 (pow.f64 d2 3)) d1) (fma.f64 d2 d2 (-.f64 1369 (.f64 d2 37))))

rewrite83.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

700×	`log-prod_binary64`
394×	`prod-diff_binary64`
262×	`expm1-udef_binary64`
262×	`log1p-udef_binary64`
241×	`pow3_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	14	51
1	315	51
2	4015	45

Stop Event

1×	node limit

Counts

4 → 155

Calls

Call 1

Inputs
(/.f64 (.f64 (+.f64 50653 (pow.f64 d2 3)) d1) (fma.f64 d2 d2 (-.f64 1369 (.f64 d2 37))))
(*.f64 (+.f64 50653 (pow.f64 d2 3)) d1)
(fma.f64 d2 d2 (-.f64 1369 (*.f64 d2 37)))
(-.f64 1369 (*.f64 d2 37))

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

simplify74.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

636×	`times-frac_binary64`
502×	`fma-neg_binary64`
378×	`fma-def_binary64`
350×	`cancel-sign-sub-inv_binary64`
332×	`associate--l+_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	70	729
1	219	691
2	770	673
3	3297	673
4	7424	673

Stop Event

1×	node limit

Counts

227 → 186

Calls

Call 1

Inputs
(*.f64 37 d1)
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d2 d1) (.f64 -1 (.f64 (pow.f64 d2 2) (+.f64 (.f64 -1/37 d1) (.f64 1/37 d1))))))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d2 d1) (+.f64 (.f64 -1/37 (.f64 (pow.f64 d2 3) (+.f64 (.f64 -1/37 d1) (.f64 1/37 d1)))) (.f64 -1 (.f64 (pow.f64 d2 2) (+.f64 (.f64 -1/37 d1) (.f64 1/37 d1)))))))
(*.f64 d2 d1)
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(+.f64 (.f64 37 d1) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -1369 d1) (.f64 1369 d1)) d2)) (*.f64 d2 d1)))
(+.f64 (.f64 37 d1) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -1369 d1) (.f64 1369 d1)) d2)) (+.f64 (.f64 d2 d1) (.f64 -37 (/.f64 (+.f64 (.f64 -1369 d1) (.f64 1369 d1)) (pow.f64 d2 2))))))
(*.f64 d2 d1)
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(+.f64 (.f64 37 d1) (+.f64 (.f64 1369 (/.f64 d1 d2)) (+.f64 (.f64 d2 d1) (.f64 -1369 (/.f64 d1 d2)))))
(+.f64 (.f64 37 d1) (+.f64 (.f64 1369 (/.f64 d1 d2)) (+.f64 (.f64 d2 d1) (+.f64 (.f64 37 (/.f64 (+.f64 (.f64 -1369 d1) (.f64 1369 d1)) (pow.f64 d2 2))) (*.f64 -1369 (/.f64 d1 d2))))))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 1369 (pow.f64 d2 2)) (.f64 37 d2)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 1369 (pow.f64 d2 2)) (.f64 37 d2)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 1369 (pow.f64 d2 2)) (.f64 37 d2)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 1369 (pow.f64 d2 2)) (.f64 37 d2)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 1369) (.f64 37 d2)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 1369) (.f64 37 d2)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 1369) (.f64 37 d2)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 1369) (.f64 37 d2)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 1369) (.f64 37 d2)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 1369) (.f64 37 d2)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 1369) (.f64 37 d2)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 1369) (.f64 37 d2)))
(*.f64 50653 d1)
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 50653 d1))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 50653 d1))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 50653 d1))
(*.f64 (pow.f64 d2 3) d1)
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 50653 d1))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 50653 d1))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 50653 d1))
(*.f64 (pow.f64 d2 3) d1)
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 50653 d1))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 50653 d1))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 50653 d1))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
1369
(+.f64 (*.f64 -37 d2) 1369)
(+.f64 (*.f64 -37 d2) (+.f64 (pow.f64 d2 2) 1369))
(+.f64 (*.f64 -37 d2) (+.f64 (pow.f64 d2 2) 1369))
(pow.f64 d2 2)
(+.f64 (*.f64 -37 d2) (pow.f64 d2 2))
(+.f64 (*.f64 -37 d2) (+.f64 1369 (pow.f64 d2 2)))
(+.f64 (*.f64 -37 d2) (+.f64 1369 (pow.f64 d2 2)))
(pow.f64 d2 2)
(+.f64 (*.f64 -37 d2) (pow.f64 d2 2))
(+.f64 (*.f64 -37 d2) (+.f64 1369 (pow.f64 d2 2)))
(+.f64 (*.f64 -37 d2) (+.f64 1369 (pow.f64 d2 2)))
1369
(+.f64 (*.f64 -37 d2) 1369)
(+.f64 (*.f64 -37 d2) 1369)
(+.f64 (*.f64 -37 d2) 1369)
(*.f64 -37 d2)
(+.f64 (*.f64 -37 d2) 1369)
(+.f64 (*.f64 -37 d2) 1369)
(+.f64 (*.f64 -37 d2) 1369)
(*.f64 -37 d2)
(+.f64 (*.f64 -37 d2) 1369)
(+.f64 (*.f64 -37 d2) 1369)
(+.f64 (*.f64 -37 d2) 1369)

Outputs
(*.f64 37 d1)
(+.f64 (.f64 37 d1) (.f64 d2 d1))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d2 d1) (.f64 -1 (.f64 (pow.f64 d2 2) (+.f64 (.f64 -1/37 d1) (.f64 1/37 d1))))))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 37 d1) (+.f64 (.f64 d2 d1) (+.f64 (.f64 -1/37 (.f64 (pow.f64 d2 3) (+.f64 (.f64 -1/37 d1) (.f64 1/37 d1)))) (.f64 -1 (.f64 (pow.f64 d2 2) (+.f64 (.f64 -1/37 d1) (.f64 1/37 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 (.f64 -1 (/.f64 (+.f64 (.f64 -1369 d1) (.f64 1369 d1)) d2)) (*.f64 d2 d1)))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 37 d1) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -1369 d1) (.f64 1369 d1)) d2)) (+.f64 (.f64 d2 d1) (.f64 -37 (/.f64 (+.f64 (.f64 -1369 d1) (.f64 1369 d1)) (pow.f64 d2 2))))))
(*.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 (.f64 1369 (/.f64 d1 d2)) (+.f64 (.f64 d2 d1) (.f64 -1369 (/.f64 d1 d2)))))
(*.f64 d1 (+.f64 37 d2))
(+.f64 (.f64 37 d1) (+.f64 (.f64 1369 (/.f64 d1 d2)) (+.f64 (.f64 d2 d1) (+.f64 (.f64 37 (/.f64 (+.f64 (.f64 -1369 d1) (.f64 1369 d1)) (pow.f64 d2 2))) (*.f64 -1369 (/.f64 d1 d2))))))
(*.f64 d1 (+.f64 37 d2))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 1369 (pow.f64 d2 2)) (.f64 37 d2)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -37 d2 1369) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 50653)))
(*.f64 (/.f64 d1 (fma.f64 d2 -37 (fma.f64 d2 d2 1369))) (+.f64 (pow.f64 d2 3) 50653))
(*.f64 (+.f64 (pow.f64 d2 3) 50653) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -37) 1369)))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 50653) (fma.f64 d2 (+.f64 d2 -37) 1369)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 1369 (pow.f64 d2 2)) (.f64 37 d2)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -37 d2 1369) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 50653)))
(*.f64 (/.f64 d1 (fma.f64 d2 -37 (fma.f64 d2 d2 1369))) (+.f64 (pow.f64 d2 3) 50653))
(*.f64 (+.f64 (pow.f64 d2 3) 50653) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -37) 1369)))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 50653) (fma.f64 d2 (+.f64 d2 -37) 1369)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 1369 (pow.f64 d2 2)) (.f64 37 d2)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -37 d2 1369) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 50653)))
(*.f64 (/.f64 d1 (fma.f64 d2 -37 (fma.f64 d2 d2 1369))) (+.f64 (pow.f64 d2 3) 50653))
(*.f64 (+.f64 (pow.f64 d2 3) 50653) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -37) 1369)))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 50653) (fma.f64 d2 (+.f64 d2 -37) 1369)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 1369 (pow.f64 d2 2)) (.f64 37 d2)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -37 d2 1369) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 50653)))
(*.f64 (/.f64 d1 (fma.f64 d2 -37 (fma.f64 d2 d2 1369))) (+.f64 (pow.f64 d2 3) 50653))
(*.f64 (+.f64 (pow.f64 d2 3) 50653) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -37) 1369)))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 50653) (fma.f64 d2 (+.f64 d2 -37) 1369)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 1369) (.f64 37 d2)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -37 d2 1369) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 50653)))
(*.f64 (/.f64 d1 (fma.f64 d2 -37 (fma.f64 d2 d2 1369))) (+.f64 (pow.f64 d2 3) 50653))
(*.f64 (+.f64 (pow.f64 d2 3) 50653) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -37) 1369)))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 50653) (fma.f64 d2 (+.f64 d2 -37) 1369)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 1369) (.f64 37 d2)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -37 d2 1369) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 50653)))
(*.f64 (/.f64 d1 (fma.f64 d2 -37 (fma.f64 d2 d2 1369))) (+.f64 (pow.f64 d2 3) 50653))
(*.f64 (+.f64 (pow.f64 d2 3) 50653) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -37) 1369)))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 50653) (fma.f64 d2 (+.f64 d2 -37) 1369)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 1369) (.f64 37 d2)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -37 d2 1369) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 50653)))
(*.f64 (/.f64 d1 (fma.f64 d2 -37 (fma.f64 d2 d2 1369))) (+.f64 (pow.f64 d2 3) 50653))
(*.f64 (+.f64 (pow.f64 d2 3) 50653) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -37) 1369)))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 50653) (fma.f64 d2 (+.f64 d2 -37) 1369)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 1369) (.f64 37 d2)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -37 d2 1369) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 50653)))
(*.f64 (/.f64 d1 (fma.f64 d2 -37 (fma.f64 d2 d2 1369))) (+.f64 (pow.f64 d2 3) 50653))
(*.f64 (+.f64 (pow.f64 d2 3) 50653) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -37) 1369)))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 50653) (fma.f64 d2 (+.f64 d2 -37) 1369)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 1369) (.f64 37 d2)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -37 d2 1369) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 50653)))
(*.f64 (/.f64 d1 (fma.f64 d2 -37 (fma.f64 d2 d2 1369))) (+.f64 (pow.f64 d2 3) 50653))
(*.f64 (+.f64 (pow.f64 d2 3) 50653) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -37) 1369)))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 50653) (fma.f64 d2 (+.f64 d2 -37) 1369)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 1369) (.f64 37 d2)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -37 d2 1369) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 50653)))
(*.f64 (/.f64 d1 (fma.f64 d2 -37 (fma.f64 d2 d2 1369))) (+.f64 (pow.f64 d2 3) 50653))
(*.f64 (+.f64 (pow.f64 d2 3) 50653) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -37) 1369)))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 50653) (fma.f64 d2 (+.f64 d2 -37) 1369)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 1369) (.f64 37 d2)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -37 d2 1369) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 50653)))
(*.f64 (/.f64 d1 (fma.f64 d2 -37 (fma.f64 d2 d2 1369))) (+.f64 (pow.f64 d2 3) 50653))
(*.f64 (+.f64 (pow.f64 d2 3) 50653) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -37) 1369)))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 50653) (fma.f64 d2 (+.f64 d2 -37) 1369)))
(/.f64 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 1369) (.f64 37 d2)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -37 d2 1369) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 50653)))
(*.f64 (/.f64 d1 (fma.f64 d2 -37 (fma.f64 d2 d2 1369))) (+.f64 (pow.f64 d2 3) 50653))
(*.f64 (+.f64 (pow.f64 d2 3) 50653) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -37) 1369)))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 50653) (fma.f64 d2 (+.f64 d2 -37) 1369)))
(*.f64 50653 d1)
(*.f64 d1 50653)
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 50653 d1))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 50653 d1))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 50653 d1))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(*.f64 (pow.f64 d2 3) d1)
(*.f64 d1 (pow.f64 d2 3))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 50653 d1))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 50653 d1))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 50653 d1))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(*.f64 (pow.f64 d2 3) d1)
(*.f64 d1 (pow.f64 d2 3))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 50653 d1))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 50653 d1))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 50653 d1))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
(*.f64 d1 (+.f64 50653 (pow.f64 d2 3)))
(*.f64 d1 (+.f64 (pow.f64 d2 3) 50653))
1369
(+.f64 (*.f64 -37 d2) 1369)
(fma.f64 -37 d2 1369)
(fma.f64 d2 -37 1369)
(+.f64 (*.f64 -37 d2) (+.f64 (pow.f64 d2 2) 1369))
(+.f64 (fma.f64 -37 d2 1369) (*.f64 d2 d2))
(fma.f64 d2 -37 (fma.f64 d2 d2 1369))
(fma.f64 d2 (+.f64 d2 -37) 1369)
(+.f64 (*.f64 -37 d2) (+.f64 (pow.f64 d2 2) 1369))
(+.f64 (fma.f64 -37 d2 1369) (*.f64 d2 d2))
(fma.f64 d2 -37 (fma.f64 d2 d2 1369))
(fma.f64 d2 (+.f64 d2 -37) 1369)
(pow.f64 d2 2)
(*.f64 d2 d2)
(+.f64 (*.f64 -37 d2) (pow.f64 d2 2))
(fma.f64 -37 d2 (*.f64 d2 d2))
(*.f64 d2 (+.f64 d2 -37))
(+.f64 (*.f64 -37 d2) (+.f64 1369 (pow.f64 d2 2)))
(+.f64 (fma.f64 -37 d2 1369) (*.f64 d2 d2))
(fma.f64 d2 -37 (fma.f64 d2 d2 1369))
(fma.f64 d2 (+.f64 d2 -37) 1369)
(+.f64 (*.f64 -37 d2) (+.f64 1369 (pow.f64 d2 2)))
(+.f64 (fma.f64 -37 d2 1369) (*.f64 d2 d2))
(fma.f64 d2 -37 (fma.f64 d2 d2 1369))
(fma.f64 d2 (+.f64 d2 -37) 1369)
(pow.f64 d2 2)
(*.f64 d2 d2)
(+.f64 (*.f64 -37 d2) (pow.f64 d2 2))
(fma.f64 -37 d2 (*.f64 d2 d2))
(*.f64 d2 (+.f64 d2 -37))
(+.f64 (*.f64 -37 d2) (+.f64 1369 (pow.f64 d2 2)))
(+.f64 (fma.f64 -37 d2 1369) (*.f64 d2 d2))
(fma.f64 d2 -37 (fma.f64 d2 d2 1369))
(fma.f64 d2 (+.f64 d2 -37) 1369)
(+.f64 (*.f64 -37 d2) (+.f64 1369 (pow.f64 d2 2)))
(+.f64 (fma.f64 -37 d2 1369) (*.f64 d2 d2))
(fma.f64 d2 -37 (fma.f64 d2 d2 1369))
(fma.f64 d2 (+.f64 d2 -37) 1369)
1369
(+.f64 (*.f64 -37 d2) 1369)
(fma.f64 -37 d2 1369)
(fma.f64 d2 -37 1369)
(+.f64 (*.f64 -37 d2) 1369)
(fma.f64 -37 d2 1369)
(fma.f64 d2 -37 1369)
(+.f64 (*.f64 -37 d2) 1369)
(fma.f64 -37 d2 1369)
(fma.f64 d2 -37 1369)
(*.f64 -37 d2)
(*.f64 d2 -37)
(+.f64 (*.f64 -37 d2) 1369)
(fma.f64 -37 d2 1369)
(fma.f64 d2 -37 1369)
(+.f64 (*.f64 -37 d2) 1369)
(fma.f64 -37 d2 1369)
(fma.f64 d2 -37 1369)
(+.f64 (*.f64 -37 d2) 1369)
(fma.f64 -37 d2 1369)
(fma.f64 d2 -37 1369)
(*.f64 -37 d2)
(*.f64 d2 -37)
(+.f64 (*.f64 -37 d2) 1369)
(fma.f64 -37 d2 1369)
(fma.f64 d2 -37 1369)
(+.f64 (*.f64 -37 d2) 1369)
(fma.f64 -37 d2 1369)
(fma.f64 d2 -37 1369)
(+.f64 (*.f64 -37 d2) 1369)
(fma.f64 -37 d2 1369)
(fma.f64 d2 -37 1369)

localize3.0ms (0.1%)

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

eval171.0ms (5.5%)

Compiler: Compiled 7334 to 4375 computations (40.3% saved)

prune53.0ms (1.7%)

Pruning

9 alts after pruning (1 fresh and 8 done)

	Pruned	Kept	Total
New	359	1	360
Fresh	0	0	0
Picked	0	1	1
Done	1	7	8
Total	360	9	369

Error

Counts

369 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	41.8b	(*.f64 d1 37)
✓	20.4b	(*.f64 d1 (+.f64 d2 37))
▶	42.1b	(/.f64 (*.f64 (+.f64 50653 (pow.f64 d2 3)) d1) 1369)
✓	0.0b	(fma.f64 (+.f64 37 d2) d1 (*.f64 d3 d1))
✓	41.8b	(*.f64 d2 d1)
✓	42.9b	(*.f64 d1 d3)
✓	0.0b	(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
✓	22.2b	(*.f64 (+.f64 37 d3) d1)
✓	32.4b	(fma.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 d3))) (sqrt.f64 (+.f64 d2 d3)) (.f64 d1 37))

Compiler

Compiled 84 to 58 computations (31% saved)

localize13.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	3.8b	(*.f64 (+.f64 50653 (pow.f64 d2 3)) d1)
	0.4b	(/.f64 (*.f64 (+.f64 50653 (pow.f64 d2 3)) d1) 1369)
✓	0.4b	(/.f64 (*.f64 (+.f64 50653 (pow.f64 d2 3)) d1) 1369)
	3.8b	(*.f64 (+.f64 50653 (pow.f64 d2 3)) d1)

Compiler

Compiled 32 to 24 computations (25% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	d2	@	0	(/.f64 (*.f64 (+.f64 50653 (pow.f64 d2 3)) d1) 1369)
0.0ms	d1	@	0	(/.f64 (*.f64 (+.f64 50653 (pow.f64 d2 3)) d1) 1369)
0.0ms	d1	@	inf	(/.f64 (*.f64 (+.f64 50653 (pow.f64 d2 3)) d1) 1369)
0.0ms	d2	@	inf	(/.f64 (*.f64 (+.f64 50653 (pow.f64 d2 3)) d1) 1369)
0.0ms	d2	@	-inf	(/.f64 (*.f64 (+.f64 50653 (pow.f64 d2 3)) d1) 1369)

rewrite57.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

597×	`unpow-prod-down_binary64`
441×	`log-prod_binary64`
329×	`exp-prod_binary64`
284×	`pow-prod-down_binary64`
260×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	229	13
2	2713	13

Stop Event

1×	node limit

Counts

1 → 58

Calls

Call 1

Inputs
(/.f64 (*.f64 (+.f64 50653 (pow.f64 d2 3)) d1) 1369)

Outputs

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

simplify112.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

818×	`unswap-sqr_binary64`
749×	`cube-prod_binary64`
669×	`sqr-pow_binary64`
500×	`unpow3_binary64`
485×	`pow-sqr_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	318
1	40	297
2	109	255
3	234	255
4	404	255
5	909	255
6	1209	255
7	1543	255
8	2839	255
9	2992	255
10	3152	255
11	3361	255
12	3664	255
13	4092	255
14	4649	255
15	5299	255
16	6143	255
17	6809	255
18	7366	255
19	7928	255

Stop Event

1×	node limit

Counts

82 → 64

Calls

Call 1

Inputs
(*.f64 37 d1)
(+.f64 (.f64 37 d1) (.f64 1/1369 (*.f64 (pow.f64 d2 3) d1)))
(+.f64 (.f64 37 d1) (.f64 1/1369 (*.f64 (pow.f64 d2 3) d1)))
(+.f64 (.f64 37 d1) (.f64 1/1369 (*.f64 (pow.f64 d2 3) d1)))
(.f64 1/1369 (.f64 (pow.f64 d2 3) d1))
(+.f64 (.f64 37 d1) (.f64 1/1369 (*.f64 (pow.f64 d2 3) d1)))
(+.f64 (.f64 37 d1) (.f64 1/1369 (*.f64 (pow.f64 d2 3) d1)))
(+.f64 (.f64 37 d1) (.f64 1/1369 (*.f64 (pow.f64 d2 3) d1)))
(.f64 1/1369 (.f64 (pow.f64 d2 3) d1))
(+.f64 (.f64 37 d1) (.f64 1/1369 (*.f64 (pow.f64 d2 3) d1)))
(+.f64 (.f64 37 d1) (.f64 1/1369 (*.f64 (pow.f64 d2 3) d1)))
(+.f64 (.f64 37 d1) (.f64 1/1369 (*.f64 (pow.f64 d2 3) d1)))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))

Outputs
(*.f64 37 d1)
(+.f64 (.f64 37 d1) (.f64 1/1369 (*.f64 (pow.f64 d2 3) d1)))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(+.f64 (.f64 37 d1) (.f64 1/1369 (*.f64 (pow.f64 d2 3) d1)))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(+.f64 (.f64 37 d1) (.f64 1/1369 (*.f64 (pow.f64 d2 3) d1)))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(.f64 1/1369 (.f64 (pow.f64 d2 3) d1))
(.f64 1/1369 (.f64 d1 (pow.f64 d2 3)))
(.f64 d1 (.f64 1/1369 (pow.f64 d2 3)))
(.f64 (pow.f64 d2 3) (.f64 d1 1/1369))
(+.f64 (.f64 37 d1) (.f64 1/1369 (*.f64 (pow.f64 d2 3) d1)))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(+.f64 (.f64 37 d1) (.f64 1/1369 (*.f64 (pow.f64 d2 3) d1)))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(+.f64 (.f64 37 d1) (.f64 1/1369 (*.f64 (pow.f64 d2 3) d1)))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(.f64 1/1369 (.f64 (pow.f64 d2 3) d1))
(.f64 1/1369 (.f64 d1 (pow.f64 d2 3)))
(.f64 d1 (.f64 1/1369 (pow.f64 d2 3)))
(.f64 (pow.f64 d2 3) (.f64 d1 1/1369))
(+.f64 (.f64 37 d1) (.f64 1/1369 (*.f64 (pow.f64 d2 3) d1)))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(+.f64 (.f64 37 d1) (.f64 1/1369 (*.f64 (pow.f64 d2 3) d1)))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(+.f64 (.f64 37 d1) (.f64 1/1369 (*.f64 (pow.f64 d2 3) d1)))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))
(.f64 1/1369 (.f64 d1 (+.f64 50653 (pow.f64 d2 3))))
(fma.f64 37 d1 (.f64 1/1369 (.f64 d1 (pow.f64 d2 3))))
(.f64 d1 (+.f64 (.f64 1/1369 (pow.f64 d2 3)) 37))
(*.f64 d1 (fma.f64 1/1369 (pow.f64 d2 3) 37))

eval36.0ms (1.2%)

Compiler: Compiled 1408 to 1152 computations (18.2% saved)

prune27.0ms (0.9%)

Pruning

9 alts after pruning (1 fresh and 8 done)

	Pruned	Kept	Total
New	99	1	100
Fresh	0	0	0
Picked	1	0	1
Done	0	8	8
Total	100	9	109

Error

Counts

109 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	41.8b	(*.f64 d1 37)
✓	20.4b	(*.f64 d1 (+.f64 d2 37))
✓	0.0b	(fma.f64 (+.f64 37 d2) d1 (*.f64 d3 d1))
✓	41.8b	(*.f64 d2 d1)
✓	42.9b	(*.f64 d1 d3)
✓	0.0b	(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
✓	22.2b	(*.f64 (+.f64 37 d3) d1)
	42.0b	(/.f64 (*.f64 50653 d1) 1369)
✓	32.4b	(fma.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 d3))) (sqrt.f64 (+.f64 d2 d3)) (.f64 d1 37))

Compiler

Compiled 80 to 55 computations (31.3% saved)

regimes51.0ms (1.6%)

Counts

13 → 1

Calls

Call 1

Inputs
(*.f64 d1 37)
(*.f64 d2 d1)
(*.f64 d1 d3)
(/.f64 (*.f64 50653 d1) 1369)
(*.f64 d1 (+.f64 d2 37))
(*.f64 (+.f64 37 d3) d1)
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
(fma.f64 (+.f64 37 d2) d1 (*.f64 d3 d1))
(/.f64 (*.f64 (+.f64 50653 (pow.f64 d2 3)) d1) 1369)
(/.f64 (.f64 (+.f64 50653 (pow.f64 d2 3)) d1) (fma.f64 d2 d2 (-.f64 1369 (.f64 d2 37))))
(/.f64 (*.f64 d1 (+.f64 50653 (pow.f64 (+.f64 d2 d3) 3))) (fma.f64 (+.f64 d2 d3) (-.f64 (+.f64 d2 d3) 37) 1369))
(fma.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 d3))) (sqrt.f64 (+.f64 d2 d3)) (.f64 d1 37))

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

Calls

6 calls:

16.0ms	d3
8.0ms	(+.f64 (+.f64 (.f64 d1 d2) (.f64 (+.f64 d3 5) d1)) (*.f64 d1 32))
8.0ms	d1
7.0ms	d2
4.0ms	(+.f64 d3 5)

Results

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

Compiler

Compiled 154 to 96 computations (37.7% saved)

regimes54.0ms (1.7%)

Counts

6 → 2

Calls

Call 1

Inputs
(*.f64 d1 37)
(*.f64 d2 d1)
(*.f64 d1 d3)
(/.f64 (*.f64 50653 d1) 1369)
(*.f64 d1 (+.f64 d2 37))
(*.f64 (+.f64 37 d3) d1)

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

Calls

3 calls:

26.0ms	d1
15.0ms	d3
11.0ms	d2

Results

Error	Segments	Branch
15.1b	5	`d1`
3.8b	2	`d2`
5.2b	2	`d3`

Compiler

Compiled 39 to 26 computations (33.3% saved)

bsearch23.0ms (0.7%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
23.0ms	-0.0006495093815531165	-3.900823692696732e-11

Compiler

Compiled 22 to 16 computations (27.3% saved)

regimes78.0ms (2.5%)

Counts

5 → 2

Calls

Call 1

Inputs
(*.f64 d1 37)
(*.f64 d2 d1)
(*.f64 d1 d3)
(/.f64 (*.f64 50653 d1) 1369)
(*.f64 d1 (+.f64 d2 37))

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

Calls

3 calls:

44.0ms	d2
20.0ms	d1
12.0ms	d3

Results

Error	Segments	Branch
17.8b	5	`d1`
14.5b	4	`d2`
6.2b	2	`d3`

Compiler

Compiled 34 to 23 computations (32.4% saved)

bsearch21.0ms (0.7%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
20.0ms	260308256682.57895	16138721497125.62

Compiler

Compiled 22 to 16 computations (27.3% saved)

regimes64.0ms (2.1%)

Counts

4 → 5

Calls

Call 1

Inputs
(*.f64 d1 37)
(*.f64 d2 d1)
(*.f64 d1 d3)
(/.f64 (*.f64 50653 d1) 1369)

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

Calls

3 calls:

32.0ms	d1
18.0ms	d2
13.0ms	d3

Results

Error	Segments	Branch
31.2b	7	`d1`
15.4b	5	`d2`
17.1b	3	`d3`

Compiler

Compiled 29 to 20 computations (31% saved)

bsearch85.0ms (2.8%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
21.0ms	2.8520589619508732e-92	6.878191124752675e-91
21.0ms	7.04269590082417e-225	1.3986920218601889e-214
22.0ms	-8.710238631751124e-277	-4.5656551815656884e-281
21.0ms	-199044.83793705291	-9.925737170971013

Compiler

Compiled 22 to 16 computations (27.3% saved)

regimes32.0ms (1%)

Accuracy

Total -40.8b remaining (-190.2%)

Threshold costs -40.8b (-190.2%)

Counts

2 → 2

Calls

Call 1

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

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

Calls

3 calls:

15.0ms	d1
10.0ms	d3
6.0ms	d2

Results

Error	Segments	Branch
35.5b	5	`d1`
21.5b	2	`d2`
31.4b	3	`d3`

Compiler

Compiled 21 to 15 computations (28.6% saved)

bsearch21.0ms (0.7%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
21.0ms	-199044.83793705291	-9.925737170971013

Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	109
1	45	109

Stop Event

1×

saturated

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(if (<=.f64 d2 -11981333334983708/18446744073709551616) (.f64 d1 (+.f64 d2 37)) (.f64 (+.f64 37 d3) d1))
(if (<=.f64 d3 8529780954974747/32768) (.f64 d1 (+.f64 d2 37)) (.f64 d1 d3))
(if (<=.f64 d2 -6839128555018099/34359738368) (.f64 d2 d1) (if (<=.f64 d2 -8692122683457719/9979201547673599058281863565184192830337256302177287707512736212186059459344820328924789827463178505446712234220962476219862189941967968303695858991424157101600028364755428382587688607221814935913266783722719619966654052275604351944444276342240220787535604534378780208211792476151720049639424) (.f64 d1 37) (if (<=.f64 d2 46960797913079352/6668014432879854274079851790721257797144758322315908160396257811764037237817632071521432200871554290742929910593433240445888801654119365080363356052330830046095157579514014558463078285911814024728965016135886601981690748037476461291163877376) (.f64 d1 d3) (if (<=.f64 d2 4186363700452101/146783911423364576743092537299333564210980159306769991919205685720763064069663027716481187399048043939495936) (.f64 d1 37) (*.f64 d1 d3)))))
(if (<=.f64 d2 -6839128555018099/34359738368) (.f64 d2 d1) (.f64 d1 37))
(*.f64 d1 37)

Outputs
(*.f64 d1 (+.f64 37 (+.f64 d2 d3)))
(if (<=.f64 d2 -11981333334983708/18446744073709551616) (.f64 d1 (+.f64 d2 37)) (.f64 (+.f64 37 d3) d1))
(if (<=.f64 d2 -2995333333745927/4611686018427387904) (.f64 d1 (+.f64 37 d2)) (.f64 d1 (+.f64 37 d3)))
(if (<=.f64 d3 8529780954974747/32768) (.f64 d1 (+.f64 d2 37)) (.f64 d1 d3))
(if (<=.f64 d3 8529780954974747/32768) (.f64 d1 (+.f64 37 d2)) (.f64 d1 d3))
(if (<=.f64 d2 -6839128555018099/34359738368) (.f64 d2 d1) (if (<=.f64 d2 -8692122683457719/9979201547673599058281863565184192830337256302177287707512736212186059459344820328924789827463178505446712234220962476219862189941967968303695858991424157101600028364755428382587688607221814935913266783722719619966654052275604351944444276342240220787535604534378780208211792476151720049639424) (.f64 d1 37) (if (<=.f64 d2 46960797913079352/6668014432879854274079851790721257797144758322315908160396257811764037237817632071521432200871554290742929910593433240445888801654119365080363356052330830046095157579514014558463078285911814024728965016135886601981690748037476461291163877376) (.f64 d1 d3) (if (<=.f64 d2 4186363700452101/146783911423364576743092537299333564210980159306769991919205685720763064069663027716481187399048043939495936) (.f64 d1 37) (*.f64 d1 d3)))))
(if (<=.f64 d2 -6839128555018099/34359738368) (.f64 d1 d2) (if (<=.f64 d2 -8692122683457719/9979201547673599058281863565184192830337256302177287707512736212186059459344820328924789827463178505446712234220962476219862189941967968303695858991424157101600028364755428382587688607221814935913266783722719619966654052275604351944444276342240220787535604534378780208211792476151720049639424) (.f64 d1 37) (if (<=.f64 d2 5870099739134919/833501804109981784259981473840157224643094790289488520049532226470504654727204008940179025108944286342866238824179155055736100206764920635045419506541353755761894697439251819807884785738976753091120627016985825247711343504684557661395484672) (.f64 d1 d3) (if (<=.f64 d2 4186363700452101/146783911423364576743092537299333564210980159306769991919205685720763064069663027716481187399048043939495936) (.f64 d1 37) (*.f64 d1 d3)))))
(if (<=.f64 d2 -6839128555018099/34359738368) (.f64 d2 d1) (.f64 d1 37))
(if (<=.f64 d2 -6839128555018099/34359738368) (.f64 d1 d2) (.f64 d1 37))
(*.f64 d1 37)

end54.0ms (1.8%)

Stop Event

1×

fuel

Remove

(sort d2 d3)

Compiler

Compiled 195 to 125 computations (35.9% saved)

Details

analyze244.0ms (7.9%)

sample1.1s (36.6%)

preprocess24.0ms (0.8%)

simplify10.0ms (0.3%)

eval1.0ms (0%)

prune4.0ms (0.1%)

localize8.0ms (0.3%)

series5.0ms (0.2%)

rewrite47.0ms (1.5%)

simplify13.0ms (0.4%)

eval14.0ms (0.5%)

prune15.0ms (0.5%)

localize11.0ms (0.4%)

series6.0ms (0.2%)

rewrite45.0ms (1.4%)

simplify32.0ms (1%)

localize3.0ms (0.1%)

localize3.0ms (0.1%)

localize7.0ms (0.2%)

localize6.0ms (0.2%)

series4.0ms (0.1%)

rewrite47.0ms (1.5%)

simplify9.0ms (0.3%)

eval16.0ms (0.5%)

prune14.0ms (0.5%)

localize13.0ms (0.4%)

series21.0ms (0.7%)

rewrite81.0ms (2.6%)

simplify67.0ms (2.2%)

localize53.0ms (1.7%)

series14.0ms (0.4%)

rewrite83.0ms (2.7%)

simplify74.0ms (2.4%)

localize3.0ms (0.1%)

eval171.0ms (5.5%)

prune53.0ms (1.7%)

localize13.0ms (0.4%)

series3.0ms (0.1%)

rewrite57.0ms (1.9%)

simplify112.0ms (3.6%)

eval36.0ms (1.2%)

prune27.0ms (0.9%)

regimes51.0ms (1.6%)

regimes54.0ms (1.7%)

bsearch23.0ms (0.7%)

regimes78.0ms (2.5%)

bsearch21.0ms (0.7%)

regimes64.0ms (2.1%)

bsearch85.0ms (2.8%)

regimes32.0ms (1%)

bsearch21.0ms (0.7%)

simplify4.0ms (0.1%)

end54.0ms (1.8%)

Profiling