Details

analyze65.0ms (2.8%)

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
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
50%	46.8%	3.2%	7
59.3%	35.9%	4.8%	8
67.1%	25.8%	7.1%	9
72.6%	19.1%	8.3%	10
76.9%	13.5%	9.7%	11
79.8%	9.9%	10.3%	12

Compiler

Compiled 14 to 10 computations (28.6% saved)

sample980.0ms (42.6%)

Results

864.0ms	8092×	body	64	valid
31.0ms	84×	body	1024	valid
25.0ms	44×	body	512	valid
23.0ms	233×	body	64	invalid
5.0ms	24×	body	256	valid
2.0ms	12×	body	128	valid

preprocess15.0ms (0.7%)

Algorithm

2×	egg-herbie

Rules

48×	`fma-def_binary64`
15×	`*-commutative_binary64`
14×	`+-commutative_binary64`
10×	`associate-+r+_binary64`
10×	`distribute-lft-out_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	36	20
2	88	14
3	139	14
4	149	14
5	151	14
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (+.f64 (.f64 d2 10) (.f64 d2 d1)) (*.f64 d2 20))

Outputs
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (.f64 d1 (+.f64 10 d2)) (.f64 d1 20))
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (+.f64 (.f64 d2 10) (.f64 d2 d1)) (*.f64 d2 20))
(+.f64 (.f64 d2 (+.f64 10 d1)) (.f64 d2 20))
(*.f64 d2 (+.f64 (+.f64 d1 10) 20))
(*.f64 d2 (+.f64 d1 30))

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify8.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

24×	`fma-def_binary64`
8×	`*-commutative_binary64`
7×	`+-commutative_binary64`
5×	`associate-+r+_binary64`
5×	`distribute-lft-out_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	20	10
2	46	7
3	73	7
4	78	7
5	79	7

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))

Outputs
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (.f64 d1 (+.f64 10 d2)) (.f64 d1 20))
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
(*.f64 d1 (+.f64 d2 30))

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.2b	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
▶	0.0b	(*.f64 d1 (+.f64 d2 30))

Compiler

Compiled 58 to 40 computations (31% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series3.0ms (0.1%)

Counts

1 → 20

Calls

6 calls:

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

rewrite56.0ms (2.4%)

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

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

Outputs

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

simplify8.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

4×	`fma-def_binary64`
3×	`*-commutative_binary64`
2×	`+-commutative_binary64`
1×	`distribute-lft-in_binary64`
1×	`distribute-rgt-in_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 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 30 d1)
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(+.f64 (.f64 d2 d1) (.f64 30 d1))

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

prune30.0ms (1.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	27	3	30
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	28	4	32

Error

0.0b

Counts

32 → 4

Alt Table

Status	Error	Program
	17.2b	(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30))))
	36.4b	(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
▶	0.0b	(fma.f64 d1 d2 (*.f64 d1 30))
✓	0.0b	(*.f64 d1 (+.f64 d2 30))

Compiler

Compiled 357 to 232 computations (35% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series4.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

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

rewrite38.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

553×	`pow1_binary64`
510×	`add-log-exp_binary64`
510×	`log1p-expm1-u_binary64`
510×	`expm1-log1p-u_binary64`
499×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	120	7
2	1365	7

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

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

Outputs

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

simplify19.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

100×	`fma-neg_binary64`
77×	`fma-def_binary64`
31×	`cancel-sign-sub-inv_binary64`
24×	`distribute-rgt-in_binary64`
20×	`unsub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	159
1	33	159
2	64	159
3	127	159
4	213	159
5	344	159
6	516	159
7	557	159

Stop Event

1×

saturated

Counts

46 → 28

Calls

Call 1

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

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

prune26.0ms (1.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	27	1	28
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	28	4	32

Error

0.0b

Counts

32 → 4

Alt Table

Status	Error	Program
▶	17.2b	(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30))))
✓	0.0b	(fma.f64 d1 d2 (*.f64 d1 30))
	24.8b	(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 d1) 900)) (-.f64 (.f64 d1 d2) (*.f64 d1 30)))
✓	0.0b	(*.f64 d1 (+.f64 d2 30))

Compiler

Compiled 351 to 220 computations (37.3% saved)

localize9.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 27000 (pow.f64 d2 3))
✓	0.0b	(fma.f64 d2 d2 (-.f64 900 (*.f64 d2 30)))
✓	1.9b	(*.f64 d1 (+.f64 27000 (pow.f64 d2 3)))
✓	15.0b	(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30))))

series13.0ms (0.6%)

Counts

4 → 51

Calls

18 calls:

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

rewrite84.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

726×	`log-prod_binary64`
549×	`prod-diff_binary64`
266×	`expm1-udef_binary64`
266×	`log1p-udef_binary64`
255×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	14	51
1	321	51
2	4207	47

Stop Event

1×	node limit

Counts

4 → 173

Calls

Call 1

Inputs
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30))))
(*.f64 d1 (+.f64 27000 (pow.f64 d2 3)))
(fma.f64 d2 d2 (-.f64 900 (*.f64 d2 30)))
(+.f64 27000 (pow.f64 d2 3))

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

simplify55.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

636×	`times-frac_binary64`
428×	`fma-def_binary64`
320×	`distribute-rgt-out_binary64`
290×	`*-commutative_binary64`
266×	`unsub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	65	564
1	207	526
2	742	508
3	3293	508
4	6639	508

Stop Event

1×	node limit

Counts

224 → 206

Calls

Call 1

Inputs
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 900 (pow.f64 d2 2)) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 900 (pow.f64 d2 2)) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 900 (pow.f64 d2 2)) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 900 (pow.f64 d2 2)) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 900) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 900) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 900) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 900) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 900) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 900) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 900) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 900) (.f64 30 d2)))
(*.f64 30 d1)
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(+.f64 (.f64 -1 (.f64 (pow.f64 d2 2) (+.f64 (.f64 1/30 d1) (.f64 -1/30 d1)))) (+.f64 (.f64 d2 d1) (.f64 30 d1)))
(+.f64 (.f64 -1 (.f64 (pow.f64 d2 2) (+.f64 (.f64 1/30 d1) (.f64 -1/30 d1)))) (+.f64 (.f64 -1/30 (.f64 (pow.f64 d2 3) (+.f64 (.f64 1/30 d1) (.f64 -1/30 d1)))) (+.f64 (.f64 d2 d1) (.f64 30 d1))))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) d2)) (+.f64 (.f64 d2 d1) (*.f64 30 d1)))
(+.f64 (.f64 -30 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) (pow.f64 d2 2))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) d2)) (+.f64 (.f64 d2 d1) (.f64 30 d1))))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(+.f64 (.f64 -900 (/.f64 d1 d2)) (+.f64 (.f64 d2 d1) (+.f64 (.f64 900 (/.f64 d1 d2)) (.f64 30 d1))))
(+.f64 (.f64 -900 (/.f64 d1 d2)) (+.f64 (.f64 d2 d1) (+.f64 (.f64 900 (/.f64 d1 d2)) (+.f64 (.f64 30 d1) (.f64 30 (/.f64 (+.f64 (.f64 -900 d1) (*.f64 900 d1)) (pow.f64 d2 2)))))))
(*.f64 27000 d1)
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 27000 d1))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 27000 d1))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 27000 d1))
(*.f64 (pow.f64 d2 3) d1)
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 27000 d1))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 27000 d1))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 27000 d1))
(*.f64 (pow.f64 d2 3) d1)
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 27000 d1))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 27000 d1))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 27000 d1))
900
(+.f64 (*.f64 -30 d2) 900)
(+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900))
(+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900))
(pow.f64 d2 2)
(+.f64 (*.f64 -30 d2) (pow.f64 d2 2))
(+.f64 (*.f64 -30 d2) (+.f64 900 (pow.f64 d2 2)))
(+.f64 (*.f64 -30 d2) (+.f64 900 (pow.f64 d2 2)))
(pow.f64 d2 2)
(+.f64 (*.f64 -30 d2) (pow.f64 d2 2))
(+.f64 (*.f64 -30 d2) (+.f64 900 (pow.f64 d2 2)))
(+.f64 (*.f64 -30 d2) (+.f64 900 (pow.f64 d2 2)))
27000
(pow.f64 d2 3)
(pow.f64 d2 3)

Outputs
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 900 (pow.f64 d2 2)) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (fma.f64 -30 d2 900) (.f64 d2 d2)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (fma.f64 d2 -30 900)))
(*.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 900 (pow.f64 d2 2)) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (fma.f64 -30 d2 900) (.f64 d2 d2)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (fma.f64 d2 -30 900)))
(*.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 900 (pow.f64 d2 2)) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (fma.f64 -30 d2 900) (.f64 d2 d2)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (fma.f64 d2 -30 900)))
(*.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 900 (pow.f64 d2 2)) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (fma.f64 -30 d2 900) (.f64 d2 d2)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (fma.f64 d2 -30 900)))
(*.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 900) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (fma.f64 -30 d2 900) (.f64 d2 d2)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (fma.f64 d2 -30 900)))
(*.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 900) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (fma.f64 -30 d2 900) (.f64 d2 d2)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (fma.f64 d2 -30 900)))
(*.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 900) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (fma.f64 -30 d2 900) (.f64 d2 d2)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (fma.f64 d2 -30 900)))
(*.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 900) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (fma.f64 -30 d2 900) (.f64 d2 d2)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (fma.f64 d2 -30 900)))
(*.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 900) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (fma.f64 -30 d2 900) (.f64 d2 d2)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (fma.f64 d2 -30 900)))
(*.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 900) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (fma.f64 -30 d2 900) (.f64 d2 d2)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (fma.f64 d2 -30 900)))
(*.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 900) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (fma.f64 -30 d2 900) (.f64 d2 d2)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (fma.f64 d2 -30 900)))
(*.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (-.f64 (+.f64 (pow.f64 d2 2) 900) (.f64 30 d2)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (fma.f64 -30 d2 900) (.f64 d2 d2)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (fma.f64 d2 -30 900)))
(*.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (*.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 (+.f64 d2 -30) 900))
(*.f64 30 d1)
(*.f64 d1 30)
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (.f64 -1 (.f64 (pow.f64 d2 2) (+.f64 (.f64 1/30 d1) (.f64 -1/30 d1)))) (+.f64 (.f64 d2 d1) (.f64 30 d1)))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (.f64 -1 (.f64 (pow.f64 d2 2) (+.f64 (.f64 1/30 d1) (.f64 -1/30 d1)))) (+.f64 (.f64 -1/30 (.f64 (pow.f64 d2 3) (+.f64 (.f64 1/30 d1) (.f64 -1/30 d1)))) (+.f64 (.f64 d2 d1) (.f64 30 d1))))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) d2)) (+.f64 (.f64 d2 d1) (*.f64 30 d1)))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (.f64 -30 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) (pow.f64 d2 2))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) d2)) (+.f64 (.f64 d2 d1) (.f64 30 d1))))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (.f64 -900 (/.f64 d1 d2)) (+.f64 (.f64 d2 d1) (+.f64 (.f64 900 (/.f64 d1 d2)) (.f64 30 d1))))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (.f64 -900 (/.f64 d1 d2)) (+.f64 (.f64 d2 d1) (+.f64 (.f64 900 (/.f64 d1 d2)) (+.f64 (.f64 30 d1) (.f64 30 (/.f64 (+.f64 (.f64 -900 d1) (*.f64 900 d1)) (pow.f64 d2 2)))))))
(*.f64 d1 (+.f64 d2 30))
(*.f64 27000 d1)
(*.f64 d1 27000)
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 27000 d1))
(*.f64 d1 (+.f64 27000 (pow.f64 d2 3)))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 27000 d1))
(*.f64 d1 (+.f64 27000 (pow.f64 d2 3)))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 27000 d1))
(*.f64 d1 (+.f64 27000 (pow.f64 d2 3)))
(*.f64 (pow.f64 d2 3) d1)
(*.f64 d1 (pow.f64 d2 3))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 27000 d1))
(*.f64 d1 (+.f64 27000 (pow.f64 d2 3)))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 27000 d1))
(*.f64 d1 (+.f64 27000 (pow.f64 d2 3)))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 27000 d1))
(*.f64 d1 (+.f64 27000 (pow.f64 d2 3)))
(*.f64 (pow.f64 d2 3) d1)
(*.f64 d1 (pow.f64 d2 3))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 27000 d1))
(*.f64 d1 (+.f64 27000 (pow.f64 d2 3)))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 27000 d1))
(*.f64 d1 (+.f64 27000 (pow.f64 d2 3)))
(+.f64 (.f64 (pow.f64 d2 3) d1) (.f64 27000 d1))
(*.f64 d1 (+.f64 27000 (pow.f64 d2 3)))
900
(+.f64 (*.f64 -30 d2) 900)
(fma.f64 -30 d2 900)
(fma.f64 d2 -30 900)
(+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900))
(+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2))
(fma.f64 d2 d2 (fma.f64 d2 -30 900))
(fma.f64 d2 (+.f64 d2 -30) 900)
(+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900))
(+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2))
(fma.f64 d2 d2 (fma.f64 d2 -30 900))
(fma.f64 d2 (+.f64 d2 -30) 900)
(pow.f64 d2 2)
(*.f64 d2 d2)
(+.f64 (*.f64 -30 d2) (pow.f64 d2 2))
(fma.f64 -30 d2 (*.f64 d2 d2))
(*.f64 d2 (+.f64 d2 -30))
(+.f64 (*.f64 -30 d2) (+.f64 900 (pow.f64 d2 2)))
(+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2))
(fma.f64 d2 d2 (fma.f64 d2 -30 900))
(fma.f64 d2 (+.f64 d2 -30) 900)
(+.f64 (*.f64 -30 d2) (+.f64 900 (pow.f64 d2 2)))
(+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2))
(fma.f64 d2 d2 (fma.f64 d2 -30 900))
(fma.f64 d2 (+.f64 d2 -30) 900)
(pow.f64 d2 2)
(*.f64 d2 d2)
(+.f64 (*.f64 -30 d2) (pow.f64 d2 2))
(fma.f64 -30 d2 (*.f64 d2 d2))
(*.f64 d2 (+.f64 d2 -30))
(+.f64 (*.f64 -30 d2) (+.f64 900 (pow.f64 d2 2)))
(+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2))
(fma.f64 d2 d2 (fma.f64 d2 -30 900))
(fma.f64 d2 (+.f64 d2 -30) 900)
(+.f64 (*.f64 -30 d2) (+.f64 900 (pow.f64 d2 2)))
(+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2))
(fma.f64 d2 d2 (fma.f64 d2 -30 900))
(fma.f64 d2 (+.f64 d2 -30) 900)
27000
(pow.f64 d2 3)
(pow.f64 d2 3)

prune405.0ms (17.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	204	2	206
Fresh	1	0	1
Picked	0	1	1
Done	1	1	2
Total	206	4	210

Error

Counts

210 → 4

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 d1 (+.f64 d2 30))
▶	17.2b	(.f64 (+.f64 27000 (pow.f64 d2 3)) (.f64 d1 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))
✓	17.2b	(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30))))
	22.0b	(/.f64 (/.f64 (.f64 d1 (-.f64 729000000 (pow.f64 d2 6))) (-.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30))))

Compiler

Compiled 4394 to 3066 computations (30.2% saved)

localize10.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 d2 -30 900)
✓	0.1b	(/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))
✓	0.9b	(*.f64 d1 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))
✓	16.8b	(.f64 (+.f64 27000 (pow.f64 d2 3)) (.f64 d1 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))

series12.0ms (0.5%)

Counts

4 → 72

Calls

18 calls:

Time	Variable		Point	Expression
3.0ms	d1	@	0	(*.f64 d1 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))
1.0ms	d1	@	inf	(.f64 (+.f64 27000 (pow.f64 d2 3)) (.f64 d1 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))
1.0ms	d1	@	0	(.f64 (+.f64 27000 (pow.f64 d2 3)) (.f64 d1 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))
1.0ms	d1	@	-inf	(*.f64 d1 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))
1.0ms	d1	@	inf	(*.f64 d1 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))

rewrite70.0ms (3%)

Algorithm

1×	batch-egg-rewrite

Rules

635×	`log-prod_binary64`
363×	`pow2_binary64`
255×	`pow1/3_binary64`
252×	`expm1-udef_binary64`
252×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	50
1	324	50
2	3749	50

Stop Event

1×	node limit

Counts

4 → 128

Calls

Call 1

Inputs
(.f64 (+.f64 27000 (pow.f64 d2 3)) (.f64 d1 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))
(*.f64 d1 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))
(/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))
(fma.f64 d2 -30 900)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 27000 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))) (.f64 (pow.f64 d2 3) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 d2 3) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))) (.f64 27000 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 27000) (.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) (pow.f64 d2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) (pow.f64 d2 3)) (.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 27000))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 27000 (pow.f64 d2 3))) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (+.f64 27000 (pow.f64 d2 3))) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 27000 (pow.f64 d2 3))) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (+.f64 27000 (pow.f64 d2 3))) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 27000 (pow.f64 d2 3)) d1) (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 19683000000000 (pow.f64 d2 9)) d1) (.f64 (fma.f64 (pow.f64 d2 3) (-.f64 (pow.f64 d2 3) 27000) 729000000) (fma.f64 d2 d2 (fma.f64 d2 -30 900))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 729000000 (pow.f64 d2 6)) d1) (.f64 (-.f64 27000 (pow.f64 d2 3)) (fma.f64 d2 d2 (fma.f64 d2 -30 900))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 d1 (+.f64 19683000000000 (pow.f64 d2 9))) (.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)) (fma.f64 (pow.f64 d2 3) (-.f64 (pow.f64 d2 3) 27000) 729000000)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 d1 (-.f64 729000000 (pow.f64 d2 6))) (.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)) (-.f64 27000 (pow.f64 d2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 19683000000000 (pow.f64 d2 9)) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))) (fma.f64 (pow.f64 d2 3) (-.f64 (pow.f64 d2 3) 27000) 729000000))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 729000000 (pow.f64 d2 6)) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))) (-.f64 27000 (pow.f64 d2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) (+.f64 19683000000000 (pow.f64 d2 9))) (fma.f64 (pow.f64 d2 3) (-.f64 (pow.f64 d2 3) 27000) 729000000))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) (-.f64 729000000 (pow.f64 d2 6))) (-.f64 27000 (pow.f64 d2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (+.f64 27000 (pow.f64 d2 3)) d1) 1) (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (+.f64 27000 (pow.f64 d2 3)) d1) -1) (neg.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 (+.f64 27000 (pow.f64 d2 3)) 3) (pow.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 3) (pow.f64 (+.f64 27000 (pow.f64 d2 3)) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (+.f64 27000 (pow.f64 d2 3))) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (+.f64 27000 (pow.f64 d2 3)) 3) (pow.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 3) (pow.f64 (+.f64 27000 (pow.f64 d2 3)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 27000 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) (.f64 (pow.f64 d2 3) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 d2 3) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) (.f64 27000 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 27000 (.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) (pow.f64 d2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) (pow.f64 d2 3) (.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 27000))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (+.f64 27000 (pow.f64 d2 3)) (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)) d1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (cbrt.f64 d1) 2) (/.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)) (cbrt.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 d1) (/.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)) (sqrt.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 d1) (neg.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 d1 (hypot.f64 d2 (sqrt.f64 (fma.f64 d2 -30 900)))) (hypot.f64 d2 (sqrt.f64 (fma.f64 d2 -30 900))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 d1 1) (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 d1 (pow.f64 (cbrt.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 2)) (cbrt.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 -1 d1) (neg.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 d1 -1) (neg.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 d1 3) (pow.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 d1 3) (pow.f64 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 3) (pow.f64 d1 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)) d1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 d1 3) (pow.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 d1 3) (pow.f64 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 3) (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 d1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))) 2)) (log.f64 (cbrt.f64 (exp.f64 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (cbrt.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))) (cbrt.f64 (pow.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)) -2)) (/.f64 1 (cbrt.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)) -1/2) (pow.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (/.f64 1 (neg.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (pow.f64 (cbrt.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 2)) (/.f64 1 (cbrt.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)) -2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (cbrt.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)) -1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (neg.f64 (neg.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (neg.f64 (log.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (neg.f64 (log.f64 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 900 (.f64 d2 -30))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (fma.f64 d2 -30 900))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 d2 -30) 900)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 d2 -30) 1) 900)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 d2 -30 900))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 d2 -30 900)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 d2 -30 900)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 d2 -30 900)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 d2 -30 900))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 d2 -30 900))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 d2 -30 900) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 d2 -30 900)) (pow.f64 (cbrt.f64 (fma.f64 d2 -30 900)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 d2 -30 900)) 2) (cbrt.f64 (fma.f64 d2 -30 900)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 d2 -30 900)) (sqrt.f64 (fma.f64 d2 -30 900)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 d2 -30) 3) 729000000) (+.f64 (pow.f64 (.f64 d2 -30) 2) (-.f64 810000 (.f64 (.f64 d2 -30) 900))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (.f64 d2 -30) 2) 810000) (fma.f64 d2 -30 -900))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 d2 -30 900) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 d2 -30 900) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 d2 -30 900) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 d2 -30 900)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 d2 -30 900)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 d2 -30 900) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 d2 -30 900)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 d2 -30 900))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 d2 -30 900) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 d2 -30 900)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 d2 -30 900)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 d2 -30 900)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 d2 -30 900)))))))

simplify42.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

935×	`fma-def_binary64`
563×	`associate-+l+_binary64`
481×	`associate-+r+_binary64`
454×	`associate-l_binary64`
429×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	134	1088
1	416	988
2	1596	910

Stop Event

1×	node limit

Counts

200 → 182

Calls

Call 1

Inputs
(*.f64 30 d1)
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(+.f64 (.f64 -1 (.f64 (pow.f64 d2 2) (+.f64 (.f64 1/30 d1) (.f64 -1/30 d1)))) (+.f64 (.f64 d2 d1) (.f64 30 d1)))
(+.f64 (.f64 -1 (.f64 (pow.f64 d2 2) (+.f64 (.f64 1/30 d1) (.f64 -1/30 d1)))) (+.f64 (.f64 -1/30 (.f64 (pow.f64 d2 3) (+.f64 (.f64 1/30 d1) (.f64 -1/30 d1)))) (+.f64 (.f64 d2 d1) (.f64 30 d1))))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) d2)) (+.f64 (.f64 d2 d1) (*.f64 30 d1)))
(+.f64 (.f64 -30 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) (pow.f64 d2 2))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) d2)) (+.f64 (.f64 d2 d1) (.f64 30 d1))))
(*.f64 d2 d1)
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(+.f64 (.f64 -900 (/.f64 d1 d2)) (+.f64 (.f64 d2 d1) (+.f64 (.f64 900 (/.f64 d1 d2)) (.f64 30 d1))))
(+.f64 (.f64 -900 (/.f64 d1 d2)) (+.f64 (.f64 d2 d1) (+.f64 (.f64 900 (/.f64 d1 d2)) (+.f64 (.f64 30 d1) (.f64 30 (/.f64 (+.f64 (.f64 -900 d1) (*.f64 900 d1)) (pow.f64 d2 2)))))))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 900 (pow.f64 d2 2))))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 900 (pow.f64 d2 2))))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 900 (pow.f64 d2 2))))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 900 (pow.f64 d2 2))))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 900 (pow.f64 d2 2))))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 900 (pow.f64 d2 2))))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 900 (pow.f64 d2 2))))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 900 (pow.f64 d2 2))))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(*.f64 1/900 d1)
(+.f64 (.f64 1/27000 (.f64 d2 d1)) (*.f64 1/900 d1))
(+.f64 (.f64 -1 (.f64 (+.f64 (.f64 1/810000 d1) (.f64 -1/810000 d1)) (pow.f64 d2 2))) (+.f64 (.f64 1/27000 (.f64 d2 d1)) (*.f64 1/900 d1)))
(+.f64 (.f64 -1 (.f64 (+.f64 (.f64 1/810000 d1) (.f64 -1/810000 d1)) (pow.f64 d2 2))) (+.f64 (.f64 1/27000 (.f64 d2 d1)) (+.f64 (.f64 -1 (.f64 (pow.f64 d2 3) (+.f64 (.f64 1/24300000 d1) (.f64 1/30 (+.f64 (.f64 1/810000 d1) (.f64 -1/810000 d1)))))) (*.f64 1/900 d1))))
(/.f64 d1 (pow.f64 d2 2))
(+.f64 (*.f64 30 (/.f64 d1 (pow.f64 d2 3))) (/.f64 d1 (pow.f64 d2 2)))
(+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) (pow.f64 d2 4))) (+.f64 (.f64 30 (/.f64 d1 (pow.f64 d2 3))) (/.f64 d1 (pow.f64 d2 2))))
(+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 27000 d1) (.f64 30 (+.f64 (.f64 -900 d1) (.f64 900 d1)))) (pow.f64 d2 5))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) (pow.f64 d2 4))) (+.f64 (*.f64 30 (/.f64 d1 (pow.f64 d2 3))) (/.f64 d1 (pow.f64 d2 2)))))
(/.f64 d1 (pow.f64 d2 2))
(+.f64 (*.f64 30 (/.f64 d1 (pow.f64 d2 3))) (/.f64 d1 (pow.f64 d2 2)))
(+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) (pow.f64 d2 4))) (+.f64 (.f64 30 (/.f64 d1 (pow.f64 d2 3))) (/.f64 d1 (pow.f64 d2 2))))
(+.f64 (.f64 -27000 (/.f64 d1 (pow.f64 d2 5))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) (pow.f64 d2 4))) (+.f64 (.f64 30 (/.f64 d1 (pow.f64 d2 3))) (+.f64 (.f64 -30 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) (pow.f64 d2 5))) (/.f64 d1 (pow.f64 d2 2))))))
1/900
(+.f64 1/900 (*.f64 1/27000 d2))
(+.f64 1/900 (+.f64 (.f64 -1/24300000 (pow.f64 d2 3)) (.f64 1/27000 d2)))
(+.f64 1/900 (+.f64 (.f64 -1/24300000 (pow.f64 d2 3)) (+.f64 (.f64 1/27000 d2) (*.f64 -1/729000000 (pow.f64 d2 4)))))
(/.f64 1 (pow.f64 d2 2))
(+.f64 (*.f64 30 (/.f64 1 (pow.f64 d2 3))) (/.f64 1 (pow.f64 d2 2)))
(-.f64 (+.f64 (.f64 30 (/.f64 1 (pow.f64 d2 3))) (/.f64 1 (pow.f64 d2 2))) (.f64 27000 (/.f64 1 (pow.f64 d2 5))))
(-.f64 (+.f64 (.f64 30 (/.f64 1 (pow.f64 d2 3))) (/.f64 1 (pow.f64 d2 2))) (+.f64 (.f64 810000 (/.f64 1 (pow.f64 d2 6))) (*.f64 27000 (/.f64 1 (pow.f64 d2 5)))))
(/.f64 1 (pow.f64 d2 2))
(+.f64 (*.f64 30 (/.f64 1 (pow.f64 d2 3))) (/.f64 1 (pow.f64 d2 2)))
(-.f64 (+.f64 (.f64 30 (/.f64 1 (pow.f64 d2 3))) (/.f64 1 (pow.f64 d2 2))) (.f64 27000 (/.f64 1 (pow.f64 d2 5))))
(-.f64 (+.f64 (.f64 30 (/.f64 1 (pow.f64 d2 3))) (/.f64 1 (pow.f64 d2 2))) (+.f64 (.f64 810000 (/.f64 1 (pow.f64 d2 6))) (*.f64 27000 (/.f64 1 (pow.f64 d2 5)))))
900
(+.f64 (*.f64 -30 d2) 900)
(+.f64 (*.f64 -30 d2) 900)
(+.f64 (*.f64 -30 d2) 900)
(*.f64 -30 d2)
(+.f64 (*.f64 -30 d2) 900)
(+.f64 (*.f64 -30 d2) 900)
(+.f64 (*.f64 -30 d2) 900)
(*.f64 -30 d2)
(+.f64 (*.f64 -30 d2) 900)
(+.f64 (*.f64 -30 d2) 900)
(+.f64 (*.f64 -30 d2) 900)

Outputs
(*.f64 30 d1)
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 -1 (.f64 (pow.f64 d2 2) (+.f64 (.f64 1/30 d1) (.f64 -1/30 d1)))) (+.f64 (.f64 d2 d1) (.f64 30 d1)))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 -1 (.f64 (pow.f64 d2 2) (+.f64 (.f64 1/30 d1) (.f64 -1/30 d1)))) (+.f64 (.f64 -1/30 (.f64 (pow.f64 d2 3) (+.f64 (.f64 1/30 d1) (.f64 -1/30 d1)))) (+.f64 (.f64 d2 d1) (.f64 30 d1))))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) d2)) (+.f64 (.f64 d2 d1) (*.f64 30 d1)))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 -30 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) (pow.f64 d2 2))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) d2)) (+.f64 (.f64 d2 d1) (.f64 30 d1))))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d2 d1)
(*.f64 d1 d2)
(+.f64 (.f64 d2 d1) (.f64 30 d1))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 -900 (/.f64 d1 d2)) (+.f64 (.f64 d2 d1) (+.f64 (.f64 900 (/.f64 d1 d2)) (.f64 30 d1))))
(fma.f64 -900 (/.f64 d1 d2) (fma.f64 d2 d1 (fma.f64 900 (/.f64 d1 d2) (*.f64 30 d1))))
(fma.f64 -900 (/.f64 d1 d2) (fma.f64 d1 d2 (fma.f64 30 d1 (*.f64 900 (/.f64 d1 d2)))))
(fma.f64 -900 (/.f64 d1 d2) (fma.f64 d1 (+.f64 30 d2) (*.f64 900 (/.f64 d1 d2))))
(+.f64 (.f64 -900 (/.f64 d1 d2)) (+.f64 (.f64 d2 d1) (+.f64 (.f64 900 (/.f64 d1 d2)) (+.f64 (.f64 30 d1) (.f64 30 (/.f64 (+.f64 (.f64 -900 d1) (*.f64 900 d1)) (pow.f64 d2 2)))))))
(fma.f64 -900 (/.f64 d1 d2) (fma.f64 d2 d1 (fma.f64 900 (/.f64 d1 d2) (*.f64 30 d1))))
(fma.f64 -900 (/.f64 d1 d2) (fma.f64 d1 d2 (fma.f64 30 d1 (*.f64 900 (/.f64 d1 d2)))))
(fma.f64 -900 (/.f64 d1 d2) (fma.f64 d1 (+.f64 30 d2) (*.f64 900 (/.f64 d1 d2))))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 900 (pow.f64 d2 2))))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 27000)))
(*.f64 (/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900))) (+.f64 (pow.f64 d2 3) 27000))
(*.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 900 (pow.f64 d2 2))))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 27000)))
(*.f64 (/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900))) (+.f64 (pow.f64 d2 3) 27000))
(*.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 900 (pow.f64 d2 2))))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 27000)))
(*.f64 (/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900))) (+.f64 (pow.f64 d2 3) 27000))
(*.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 900 (pow.f64 d2 2))))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 27000)))
(*.f64 (/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900))) (+.f64 (pow.f64 d2 3) 27000))
(*.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 27000)))
(*.f64 (/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900))) (+.f64 (pow.f64 d2 3) 27000))
(*.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 27000)))
(*.f64 (/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900))) (+.f64 (pow.f64 d2 3) 27000))
(*.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 27000)))
(*.f64 (/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900))) (+.f64 (pow.f64 d2 3) 27000))
(*.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 27000)))
(*.f64 (/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900))) (+.f64 (pow.f64 d2 3) 27000))
(*.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 27000)))
(*.f64 (/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900))) (+.f64 (pow.f64 d2 3) 27000))
(*.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 27000)))
(*.f64 (/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900))) (+.f64 (pow.f64 d2 3) 27000))
(*.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 27000)))
(*.f64 (/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900))) (+.f64 (pow.f64 d2 3) 27000))
(*.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (+.f64 (.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (/.f64 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)) (+.f64 (pow.f64 d2 3) 27000)))
(*.f64 (/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900))) (+.f64 (pow.f64 d2 3) 27000))
(*.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900)))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 900 (pow.f64 d2 2))))
(/.f64 d1 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)))
(/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900)))
(/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 900 (pow.f64 d2 2))))
(/.f64 d1 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)))
(/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900)))
(/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 900 (pow.f64 d2 2))))
(/.f64 d1 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)))
(/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900)))
(/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 900 (pow.f64 d2 2))))
(/.f64 d1 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)))
(/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900)))
(/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)))
(/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900)))
(/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)))
(/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900)))
(/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)))
(/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900)))
(/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)))
(/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900)))
(/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)))
(/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900)))
(/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)))
(/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900)))
(/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)))
(/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900)))
(/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900))
(/.f64 d1 (+.f64 (*.f64 -30 d2) (+.f64 (pow.f64 d2 2) 900)))
(/.f64 d1 (+.f64 (fma.f64 -30 d2 900) (*.f64 d2 d2)))
(/.f64 d1 (fma.f64 d2 -30 (fma.f64 d2 d2 900)))
(/.f64 d1 (fma.f64 d2 (+.f64 d2 -30) 900))
(*.f64 1/900 d1)
(*.f64 d1 1/900)
(+.f64 (.f64 1/27000 (.f64 d2 d1)) (*.f64 1/900 d1))
(fma.f64 1/27000 (.f64 d1 d2) (.f64 d1 1/900))
(*.f64 d1 (fma.f64 d2 1/27000 1/900))
(+.f64 (.f64 -1 (.f64 (+.f64 (.f64 1/810000 d1) (.f64 -1/810000 d1)) (pow.f64 d2 2))) (+.f64 (.f64 1/27000 (.f64 d2 d1)) (*.f64 1/900 d1)))
(fma.f64 1/27000 (.f64 d1 d2) (.f64 d1 1/900))
(*.f64 d1 (fma.f64 d2 1/27000 1/900))
(+.f64 (.f64 -1 (.f64 (+.f64 (.f64 1/810000 d1) (.f64 -1/810000 d1)) (pow.f64 d2 2))) (+.f64 (.f64 1/27000 (.f64 d2 d1)) (+.f64 (.f64 -1 (.f64 (pow.f64 d2 3) (+.f64 (.f64 1/24300000 d1) (.f64 1/30 (+.f64 (.f64 1/810000 d1) (.f64 -1/810000 d1)))))) (*.f64 1/900 d1))))
(fma.f64 -1 (.f64 (.f64 d2 d2) (.f64 d1 0)) (fma.f64 1/27000 (.f64 d1 d2) (fma.f64 -1 (.f64 (pow.f64 d2 3) (fma.f64 1/24300000 d1 (.f64 1/30 (.f64 d1 0)))) (.f64 d1 1/900))))
(+.f64 (fma.f64 0 (.f64 d2 d2) (.f64 d1 (fma.f64 d2 1/27000 1/900))) (*.f64 (pow.f64 d2 3) (neg.f64 (fma.f64 d1 1/24300000 0))))
(fma.f64 d1 (fma.f64 d2 1/27000 1/900) (.f64 d1 (.f64 (pow.f64 d2 3) -1/24300000)))
(/.f64 d1 (pow.f64 d2 2))
(/.f64 d1 (*.f64 d2 d2))
(+.f64 (*.f64 30 (/.f64 d1 (pow.f64 d2 3))) (/.f64 d1 (pow.f64 d2 2)))
(fma.f64 30 (/.f64 d1 (pow.f64 d2 3)) (/.f64 d1 (*.f64 d2 d2)))
(.f64 (+.f64 (/.f64 30 d2) 1) (/.f64 d1 (.f64 d2 d2)))
(+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) (pow.f64 d2 4))) (+.f64 (.f64 30 (/.f64 d1 (pow.f64 d2 3))) (/.f64 d1 (pow.f64 d2 2))))
(fma.f64 -1 (/.f64 (.f64 d1 0) (pow.f64 d2 4)) (fma.f64 30 (/.f64 d1 (pow.f64 d2 3)) (/.f64 d1 (.f64 d2 d2))))
(+.f64 (fma.f64 30 (/.f64 d1 (pow.f64 d2 3)) (/.f64 d1 (*.f64 d2 d2))) (/.f64 0 (pow.f64 d2 4)))
(+.f64 0 (.f64 (+.f64 (/.f64 30 d2) 1) (/.f64 d1 (.f64 d2 d2))))
(+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 27000 d1) (.f64 30 (+.f64 (.f64 -900 d1) (.f64 900 d1)))) (pow.f64 d2 5))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) (pow.f64 d2 4))) (+.f64 (*.f64 30 (/.f64 d1 (pow.f64 d2 3))) (/.f64 d1 (pow.f64 d2 2)))))
(fma.f64 -1 (/.f64 (fma.f64 27000 d1 (.f64 30 (.f64 d1 0))) (pow.f64 d2 5)) (fma.f64 -1 (/.f64 (.f64 d1 0) (pow.f64 d2 4)) (fma.f64 30 (/.f64 d1 (pow.f64 d2 3)) (/.f64 d1 (.f64 d2 d2)))))
(-.f64 (+.f64 (fma.f64 30 (/.f64 d1 (pow.f64 d2 3)) (/.f64 d1 (*.f64 d2 d2))) (/.f64 0 (pow.f64 d2 4))) (/.f64 (fma.f64 d1 27000 0) (pow.f64 d2 5)))
(+.f64 (.f64 (+.f64 (/.f64 30 d2) 1) (/.f64 d1 (.f64 d2 d2))) (*.f64 -27000 (/.f64 d1 (pow.f64 d2 5))))
(/.f64 d1 (pow.f64 d2 2))
(/.f64 d1 (*.f64 d2 d2))
(+.f64 (*.f64 30 (/.f64 d1 (pow.f64 d2 3))) (/.f64 d1 (pow.f64 d2 2)))
(fma.f64 30 (/.f64 d1 (pow.f64 d2 3)) (/.f64 d1 (*.f64 d2 d2)))
(.f64 (+.f64 (/.f64 30 d2) 1) (/.f64 d1 (.f64 d2 d2)))
(+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) (pow.f64 d2 4))) (+.f64 (.f64 30 (/.f64 d1 (pow.f64 d2 3))) (/.f64 d1 (pow.f64 d2 2))))
(fma.f64 -1 (/.f64 (.f64 d1 0) (pow.f64 d2 4)) (fma.f64 30 (/.f64 d1 (pow.f64 d2 3)) (/.f64 d1 (.f64 d2 d2))))
(+.f64 (fma.f64 30 (/.f64 d1 (pow.f64 d2 3)) (/.f64 d1 (*.f64 d2 d2))) (/.f64 0 (pow.f64 d2 4)))
(+.f64 0 (.f64 (+.f64 (/.f64 30 d2) 1) (/.f64 d1 (.f64 d2 d2))))
(+.f64 (.f64 -27000 (/.f64 d1 (pow.f64 d2 5))) (+.f64 (.f64 -1 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) (pow.f64 d2 4))) (+.f64 (.f64 30 (/.f64 d1 (pow.f64 d2 3))) (+.f64 (.f64 -30 (/.f64 (+.f64 (.f64 -900 d1) (.f64 900 d1)) (pow.f64 d2 5))) (/.f64 d1 (pow.f64 d2 2))))))
(fma.f64 -1 (/.f64 (fma.f64 27000 d1 (.f64 30 (.f64 d1 0))) (pow.f64 d2 5)) (fma.f64 -1 (/.f64 (.f64 d1 0) (pow.f64 d2 4)) (fma.f64 30 (/.f64 d1 (pow.f64 d2 3)) (/.f64 d1 (.f64 d2 d2)))))
(-.f64 (+.f64 (fma.f64 30 (/.f64 d1 (pow.f64 d2 3)) (/.f64 d1 (*.f64 d2 d2))) (/.f64 0 (pow.f64 d2 4))) (/.f64 (fma.f64 d1 27000 0) (pow.f64 d2 5)))
(+.f64 (.f64 (+.f64 (/.f64 30 d2) 1) (/.f64 d1 (.f64 d2 d2))) (*.f64 -27000 (/.f64 d1 (pow.f64 d2 5))))
1/900
(+.f64 1/900 (*.f64 1/27000 d2))
(+.f64 1/900 (*.f64 d2 1/27000))
(fma.f64 d2 1/27000 1/900)
(+.f64 1/900 (+.f64 (.f64 -1/24300000 (pow.f64 d2 3)) (.f64 1/27000 d2)))
(+.f64 1/900 (fma.f64 -1/24300000 (pow.f64 d2 3) (*.f64 d2 1/27000)))
(+.f64 1/900 (fma.f64 (pow.f64 d2 3) -1/24300000 (*.f64 d2 1/27000)))
(fma.f64 d2 1/27000 (fma.f64 (pow.f64 d2 3) -1/24300000 1/900))
(+.f64 1/900 (+.f64 (.f64 -1/24300000 (pow.f64 d2 3)) (+.f64 (.f64 1/27000 d2) (*.f64 -1/729000000 (pow.f64 d2 4)))))
(+.f64 1/900 (fma.f64 -1/24300000 (pow.f64 d2 3) (fma.f64 1/27000 d2 (*.f64 (pow.f64 d2 4) -1/729000000))))
(+.f64 1/900 (fma.f64 (pow.f64 d2 3) -1/24300000 (fma.f64 d2 1/27000 (*.f64 (pow.f64 d2 4) -1/729000000))))
(+.f64 1/900 (fma.f64 (pow.f64 d2 3) -1/24300000 (fma.f64 (pow.f64 d2 4) -1/729000000 (*.f64 d2 1/27000))))
(/.f64 1 (pow.f64 d2 2))
(/.f64 1 (*.f64 d2 d2))
(/.f64 (/.f64 1 d2) d2)
(+.f64 (*.f64 30 (/.f64 1 (pow.f64 d2 3))) (/.f64 1 (pow.f64 d2 2)))
(+.f64 (/.f64 1 (*.f64 d2 d2)) (/.f64 30 (pow.f64 d2 3)))
(+.f64 (/.f64 (/.f64 1 d2) d2) (/.f64 30 (pow.f64 d2 3)))
(-.f64 (+.f64 (.f64 30 (/.f64 1 (pow.f64 d2 3))) (/.f64 1 (pow.f64 d2 2))) (.f64 27000 (/.f64 1 (pow.f64 d2 5))))
(+.f64 (/.f64 30 (pow.f64 d2 3)) (-.f64 (/.f64 1 (*.f64 d2 d2)) (/.f64 27000 (pow.f64 d2 5))))
(+.f64 (/.f64 30 (pow.f64 d2 3)) (+.f64 (/.f64 1 (*.f64 d2 d2)) (/.f64 -27000 (pow.f64 d2 5))))
(+.f64 (/.f64 (/.f64 1 d2) d2) (+.f64 (/.f64 30 (pow.f64 d2 3)) (/.f64 -27000 (pow.f64 d2 5))))
(-.f64 (+.f64 (.f64 30 (/.f64 1 (pow.f64 d2 3))) (/.f64 1 (pow.f64 d2 2))) (+.f64 (.f64 810000 (/.f64 1 (pow.f64 d2 6))) (*.f64 27000 (/.f64 1 (pow.f64 d2 5)))))
(-.f64 (+.f64 (/.f64 1 (*.f64 d2 d2)) (/.f64 30 (pow.f64 d2 3))) (+.f64 (/.f64 27000 (pow.f64 d2 5)) (/.f64 810000 (pow.f64 d2 6))))
(+.f64 (/.f64 30 (pow.f64 d2 3)) (-.f64 (/.f64 1 (*.f64 d2 d2)) (+.f64 (/.f64 27000 (pow.f64 d2 5)) (/.f64 810000 (pow.f64 d2 6)))))
(+.f64 (/.f64 (/.f64 1 d2) d2) (+.f64 (/.f64 30 (pow.f64 d2 3)) (-.f64 (/.f64 -27000 (pow.f64 d2 5)) (/.f64 810000 (pow.f64 d2 6)))))
(/.f64 1 (pow.f64 d2 2))
(/.f64 1 (*.f64 d2 d2))
(/.f64 (/.f64 1 d2) d2)
(+.f64 (*.f64 30 (/.f64 1 (pow.f64 d2 3))) (/.f64 1 (pow.f64 d2 2)))
(+.f64 (/.f64 1 (*.f64 d2 d2)) (/.f64 30 (pow.f64 d2 3)))
(+.f64 (/.f64 (/.f64 1 d2) d2) (/.f64 30 (pow.f64 d2 3)))
(-.f64 (+.f64 (.f64 30 (/.f64 1 (pow.f64 d2 3))) (/.f64 1 (pow.f64 d2 2))) (.f64 27000 (/.f64 1 (pow.f64 d2 5))))
(+.f64 (/.f64 30 (pow.f64 d2 3)) (-.f64 (/.f64 1 (*.f64 d2 d2)) (/.f64 27000 (pow.f64 d2 5))))
(+.f64 (/.f64 30 (pow.f64 d2 3)) (+.f64 (/.f64 1 (*.f64 d2 d2)) (/.f64 -27000 (pow.f64 d2 5))))
(+.f64 (/.f64 (/.f64 1 d2) d2) (+.f64 (/.f64 30 (pow.f64 d2 3)) (/.f64 -27000 (pow.f64 d2 5))))
(-.f64 (+.f64 (.f64 30 (/.f64 1 (pow.f64 d2 3))) (/.f64 1 (pow.f64 d2 2))) (+.f64 (.f64 810000 (/.f64 1 (pow.f64 d2 6))) (*.f64 27000 (/.f64 1 (pow.f64 d2 5)))))
(-.f64 (+.f64 (/.f64 1 (*.f64 d2 d2)) (/.f64 30 (pow.f64 d2 3))) (+.f64 (/.f64 27000 (pow.f64 d2 5)) (/.f64 810000 (pow.f64 d2 6))))
(+.f64 (/.f64 30 (pow.f64 d2 3)) (-.f64 (/.f64 1 (*.f64 d2 d2)) (+.f64 (/.f64 27000 (pow.f64 d2 5)) (/.f64 810000 (pow.f64 d2 6)))))
(+.f64 (/.f64 (/.f64 1 d2) d2) (+.f64 (/.f64 30 (pow.f64 d2 3)) (-.f64 (/.f64 -27000 (pow.f64 d2 5)) (/.f64 810000 (pow.f64 d2 6)))))
900
(+.f64 (*.f64 -30 d2) 900)
(fma.f64 -30 d2 900)
(fma.f64 d2 -30 900)
(+.f64 (*.f64 -30 d2) 900)
(fma.f64 -30 d2 900)
(fma.f64 d2 -30 900)
(+.f64 (*.f64 -30 d2) 900)
(fma.f64 -30 d2 900)
(fma.f64 d2 -30 900)
(*.f64 -30 d2)
(*.f64 d2 -30)
(+.f64 (*.f64 -30 d2) 900)
(fma.f64 -30 d2 900)
(fma.f64 d2 -30 900)
(+.f64 (*.f64 -30 d2) 900)
(fma.f64 -30 d2 900)
(fma.f64 d2 -30 900)
(+.f64 (*.f64 -30 d2) 900)
(fma.f64 -30 d2 900)
(fma.f64 d2 -30 900)
(*.f64 -30 d2)
(*.f64 d2 -30)
(+.f64 (*.f64 -30 d2) 900)
(fma.f64 -30 d2 900)
(fma.f64 d2 -30 900)
(+.f64 (*.f64 -30 d2) 900)
(fma.f64 -30 d2 900)
(fma.f64 d2 -30 900)
(+.f64 (*.f64 -30 d2) 900)
(fma.f64 -30 d2 900)
(fma.f64 d2 -30 900)

prune298.0ms (12.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	181	1	182
Fresh	1	0	1
Picked	0	1	1
Done	0	2	2
Total	182	4	186

Error

Counts

186 → 4

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 d1 (+.f64 d2 30))
✓	17.2b	(.f64 (+.f64 27000 (pow.f64 d2 3)) (.f64 d1 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))
✓	17.2b	(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30))))
	21.9b	(/.f64 (.f64 (-.f64 729000000 (pow.f64 d2 6)) d1) (.f64 (-.f64 27000 (pow.f64 d2 3)) (fma.f64 d2 d2 (fma.f64 d2 -30 900))))

Compiler

Compiled 3842 to 2794 computations (27.3% saved)

regimes23.0ms (1%)

Accuracy

Total -45.6b remaining (-166675.7%)

Threshold costs -45.6b (-166675.7%)

Counts

9 → 1

Calls

Call 1

Inputs
(/.f64 (.f64 (-.f64 729000000 (pow.f64 d2 6)) d1) (.f64 (-.f64 27000 (pow.f64 d2 3)) (fma.f64 d2 d2 (fma.f64 d2 -30 900))))
(.f64 (+.f64 27000 (pow.f64 d2 3)) (.f64 d1 (/.f64 1 (fma.f64 d2 d2 (fma.f64 d2 -30 900)))))
(/.f64 (/.f64 (.f64 d1 (-.f64 729000000 (pow.f64 d2 6))) (-.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30))))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 d1) 900)) (-.f64 (.f64 d1 d2) (*.f64 d1 30)))
(/.f64 (.f64 d1 (+.f64 27000 (pow.f64 d2 3))) (fma.f64 d2 d2 (-.f64 900 (.f64 d2 30))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
(fma.f64 d1 d2 (*.f64 d1 30))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))

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

Results

6.0ms	0.0b	`d1`
7.0ms	0.0b	`d2`
6.0ms	0.0b	`(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))`

Compiler

Compiled 148 to 97 computations (34.5% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7

Stop Event

1×

saturated

Calls

Call 1

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

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

end13.0ms (0.6%)

Stop Event

1×

fuel

Compiler

Compiled 14 to 10 computations (28.6% saved)

Details

analyze65.0ms (2.8%)

sample980.0ms (42.6%)

preprocess15.0ms (0.7%)

simplify8.0ms (0.4%)

prune3.0ms (0.1%)

localize3.0ms (0.1%)

series3.0ms (0.1%)

rewrite56.0ms (2.4%)

simplify8.0ms (0.4%)

prune30.0ms (1.3%)

localize4.0ms (0.2%)

series4.0ms (0.2%)

rewrite38.0ms (1.7%)

simplify19.0ms (0.8%)

prune26.0ms (1.2%)

localize9.0ms (0.4%)

series13.0ms (0.6%)

rewrite84.0ms (3.7%)

simplify55.0ms (2.4%)

prune405.0ms (17.6%)

localize10.0ms (0.4%)

series12.0ms (0.5%)

rewrite70.0ms (3%)

simplify42.0ms (1.8%)

prune298.0ms (12.9%)

regimes23.0ms (1%)

simplify2.0ms (0.1%)

end13.0ms (0.6%)

Profiling