Details

analyze3.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
62.5%	12.5%	25%	5
62.5%	6.2%	31.3%	6
65.6%	3.1%	31.3%	7
65.6%	1.6%	32.8%	8
66.4%	0.8%	32.8%	9
66.4%	0.4%	33.2%	10
66.6%	0.2%	33.2%	11
66.6%	0.1%	33.3%	12

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample725.0ms (30.3%)

Results

712.0ms	8250×	body	64	valid
1.0ms	6×	body	128	valid
1.0ms	10×	body	64	invalid

preprocess95.0ms (3.9%)

Algorithm

2×	egg-herbie

Rules

1486×	`fma-def_binary64`
783×	`fma-neg_binary64`
349×	`associate-l_binary64`
324×	`sqr-pow_binary64`
313×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	17	13
2	45	11
3	118	11
4	232	11
5	311	11
6	465	11
7	796	11
8	1677	11
9	2538	11
10	3445	11
11	4626	11
12	5553	11
13	5982	11
14	6213	11
15	6507	11
16	7621	11
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Outputs
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))

Compiler

Compiled 10 to 7 computations (30% saved)

simplify82.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1486×	`fma-def_binary64`
783×	`fma-neg_binary64`
349×	`associate-l_binary64`
324×	`sqr-pow_binary64`
313×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	17	13
2	45	11
3	118	11
4	232	11
5	311	11
6	465	11
7	796	11
8	1677	11
9	2538	11
10	3445	11
11	4626	11
12	5553	11
13	5982	11
14	6213	11
15	6507	11
16	7621	11

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Outputs
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (-.f64 3 (*.f64 x 2))))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))

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.1b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.2b	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
	0.2b	(.f64 x (.f64 x (fma.f64 x -2 3)))

Compiler

Compiled 56 to 38 computations (32.1% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

series2.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
1.0ms	x	@	inf	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))
1.0ms	x	@	-inf	(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

rewrite43.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

857×	`pow1_binary64`
800×	`add-log-exp_binary64`
799×	`log1p-expm1-u_binary64`
799×	`expm1-log1p-u_binary64`
785×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	176	13
2	2197	13

Stop Event

1×	node limit

Counts

1 → 19

Calls

Call 1

Inputs
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 3 (.f64 x x)) (.f64 (.f64 x -2) (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 x x) 3) (.f64 (.f64 x x) (.f64 x -2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 (.f64 x x) (+.f64 3 (.f64 x -2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 27 (pow.f64 (.f64 x 2) 3)) (.f64 x x)) (+.f64 9 (+.f64 (.f64 (.f64 x x) 4) (.f64 6 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 9 (.f64 (.f64 x x) 4)) (.f64 x x)) (+.f64 3 (.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 x x) (-.f64 27 (pow.f64 (.f64 x 2) 3))) (+.f64 9 (+.f64 (.f64 (.f64 x x) 4) (.f64 6 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 x x) (-.f64 9 (.f64 (.f64 x x) 4))) (+.f64 3 (.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 x x) (+.f64 3 (.f64 x -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (.f64 x x) (+.f64 3 (.f64 x -2))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (.f64 x x) (+.f64 3 (.f64 x -2)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (sqrt.f64 (+.f64 3 (.f64 x -2)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (pow.f64 x 4) (pow.f64 (+.f64 3 (.f64 x -2)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 x) x) (+.f64 3 (.f64 x -2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (.f64 x x) (+.f64 3 (.f64 x -2))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 x x) 3) (pow.f64 (+.f64 3 (.f64 x -2)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (+.f64 3 (.f64 x -2)) 3) (pow.f64 (.f64 x x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (.f64 x x) (+.f64 3 (.f64 x -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (.f64 x x) (+.f64 3 (.f64 x -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))))))))

Outputs

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

simplify136.0ms (5.7%)

Algorithm

1×	egg-herbie

Rules

969×	`sqr-pow_binary64`
536×	`unswap-sqr_binary64`
490×	`fma-def_binary64`
488×	`cube-prod_binary64`
482×	`*-commutative_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	147
1	26	147
2	58	138
3	153	120
4	395	120
5	1523	120
6	3272	120
7	3628	120
8	3879	120
9	4166	120
10	4545	120
11	5089	120
12	5720	120
13	6426	120
14	6897	120
15	7216	120
16	7488	120
17	7654	120
18	7746	120

Stop Event

1×	node limit

Counts

31 → 24

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))

Outputs
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))
(.f64 (.f64 x x) (+.f64 3 (*.f64 x -2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (fma.f64 x -2 3))

prune25.0ms (1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	21	3	24
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	22	4	26

Error

0.0b

Counts

26 → 4

Alt Table

Status	Error	Program
▶	0.1b	(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
	7.1b	(pow.f64 (.f64 x (sqrt.f64 (+.f64 3 (.f64 x -2)))) 2)
	3.0b	(/.f64 (.f64 (.f64 x x) (-.f64 9 (.f64 (.f64 x x) 4))) (+.f64 3 (*.f64 x 2)))
	0.2b	(.f64 x (.f64 x (fma.f64 x -2 3)))

Compiler

Compiled 396 to 269 computations (32.1% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 -2 (pow.f64 x 3))
✓	0.0b	(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
✓	0.2b	(*.f64 3 (pow.f64 x 2))

series4.0ms (0.2%)

Counts

3 → 3

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(*.f64 3 (pow.f64 x 2))
1.0ms	x	@	inf	(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
1.0ms	x	@	0	(*.f64 3 (pow.f64 x 2))
1.0ms	x	@	-inf	(*.f64 -2 (pow.f64 x 3))
0.0ms	x	@	inf	(*.f64 -2 (pow.f64 x 3))

rewrite57.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

954×	`pow1_binary64`
892×	`add-log-exp_binary64`
891×	`log1p-expm1-u_binary64`
891×	`expm1-log1p-u_binary64`
103×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	28
1	222	28
2	2568	28

Stop Event

1×	node limit

Counts

3 → 62

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 3 (.f64 x x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 3 (.f64 x x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 3 (.f64 x x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (sqrt.f64 3)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 x 6) 27) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (pow.f64 x 4) 9))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (.f64 x x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 3 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 x 6) 27))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 3 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 3 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 3 (*.f64 x x))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (.f64 (pow.f64 x 4) 9) (+.f64 (.f64 3 (.f64 x x)) (.f64 2 (pow.f64 x 3)))) (/.f64 (.f64 (pow.f64 x 6) 4) (+.f64 (.f64 3 (.f64 x x)) (.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))) (cbrt.f64 (pow.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x))) 2)) (cbrt.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))) (sqrt.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 (pow.f64 x 6) 27) (.f64 (pow.f64 (pow.f64 x 3) 3) -8)) (/.f64 1 (-.f64 (+.f64 (.f64 (pow.f64 x 4) 9) (.f64 (pow.f64 x 6) 4)) (.f64 (.f64 3 (.f64 x x)) (.f64 -2 (pow.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 (pow.f64 x 4) 9) (.f64 (pow.f64 x 6) 4)) (/.f64 1 (+.f64 (.f64 3 (.f64 x x)) (.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (+.f64 (.f64 (pow.f64 x 4) 9) (.f64 (pow.f64 x 6) 4)) (.f64 (.f64 3 (.f64 x x)) (.f64 -2 (pow.f64 x 3)))) (+.f64 (.f64 (pow.f64 x 6) 27) (.f64 (pow.f64 (pow.f64 x 3) 3) -8))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (.f64 3 (.f64 x x)) (.f64 2 (pow.f64 x 3))) (-.f64 (.f64 (pow.f64 x 4) 9) (.f64 (pow.f64 x 6) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (pow.f64 x 6) 27) (.f64 (pow.f64 (pow.f64 x 3) 3) -8)) (-.f64 (+.f64 (.f64 (pow.f64 x 4) 9) (.f64 (pow.f64 x 6) 4)) (.f64 (.f64 3 (.f64 x x)) (.f64 -2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 (pow.f64 x 6) 27) (.f64 (pow.f64 (pow.f64 x 3) 3) -8)) (+.f64 (.f64 (pow.f64 x 6) 4) (-.f64 (.f64 (pow.f64 x 4) 9) (.f64 (.f64 3 (.f64 x x)) (.f64 -2 (pow.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (pow.f64 x 4) 9) (.f64 (pow.f64 x 6) 4)) (+.f64 (.f64 3 (.f64 x x)) (.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (.f64 (pow.f64 x 6) 27) (.f64 (pow.f64 (pow.f64 x 3) 3) -8))) (neg.f64 (-.f64 (+.f64 (.f64 (pow.f64 x 4) 9) (.f64 (pow.f64 x 6) 4)) (.f64 (.f64 3 (.f64 x x)) (.f64 -2 (pow.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (.f64 (pow.f64 x 4) 9) (.f64 (pow.f64 x 6) 4))) (neg.f64 (+.f64 (.f64 3 (.f64 x x)) (.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (pow.f64 x 6) 4) (.f64 (pow.f64 x 4) 9)) (-.f64 (.f64 -2 (pow.f64 x 3)) (.f64 3 (.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x x) 3 (.f64 -2 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 3) -2 (.f64 3 (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 3 (.f64 x x)) (.f64 -2 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 -2 (pow.f64 x 3)) (.f64 3 (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (pow.f64 x 6) 4)) (.f64 x (cbrt.f64 -2)) (.f64 3 (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (pow.f64 x 4) 9)) (cbrt.f64 (.f64 3 (.f64 x x))) (.f64 -2 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (sqrt.f64 -2) (pow.f64 x 3/2)) (.f64 (sqrt.f64 -2) (pow.f64 x 3/2)) (.f64 3 (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x (sqrt.f64 3)) (.f64 x (sqrt.f64 3)) (.f64 -2 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (*.f64 x x)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 -2 (pow.f64 x 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 -2 (pow.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (cbrt.f64 -2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (sqrt.f64 -2) (pow.f64 x 3/2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 (pow.f64 x 3) 3) -8) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (pow.f64 x 6) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 -2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (pow.f64 x 3) 3) -8))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 -2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 -2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 -2 (pow.f64 x 3))))))))

Outputs

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

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (*.f64 (pow.f64 x 4) 9) (+.f64 (*.f64 3 (*.f64 x x)) (*.f64 2 (pow.f64 x 3)))) (/.f64 (*.f64 (pow.f64 x 6) 4) (+.f64 (*.f64 3 (*.f64 x x)) (*.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x)))) (cbrt.f64 (pow.f64 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x))) 2)) (cbrt.f64 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x)))) (sqrt.f64 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (pow.f64 x 6) 27) (*.f64 (pow.f64 (pow.f64 x 3) 3) -8)) (/.f64 1 (-.f64 (+.f64 (*.f64 (pow.f64 x 4) 9) (*.f64 (pow.f64 x 6) 4)) (*.f64 (*.f64 3 (*.f64 x x)) (*.f64 -2 (pow.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 (pow.f64 x 4) 9) (*.f64 (pow.f64 x 6) 4)) (/.f64 1 (+.f64 (*.f64 3 (*.f64 x x)) (*.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (+.f64 (*.f64 (pow.f64 x 4) 9) (*.f64 (pow.f64 x 6) 4)) (*.f64 (*.f64 3 (*.f64 x x)) (*.f64 -2 (pow.f64 x 3)))) (+.f64 (*.f64 (pow.f64 x 6) 27) (*.f64 (pow.f64 (pow.f64 x 3) 3) -8))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (*.f64 3 (*.f64 x x)) (*.f64 2 (pow.f64 x 3))) (-.f64 (*.f64 (pow.f64 x 4) 9) (*.f64 (pow.f64 x 6) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (pow.f64 x 6) 27) (*.f64 (pow.f64 (pow.f64 x 3) 3) -8)) (-.f64 (+.f64 (*.f64 (pow.f64 x 4) 9) (*.f64 (pow.f64 x 6) 4)) (*.f64 (*.f64 3 (*.f64 x x)) (*.f64 -2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 (pow.f64 x 6) 27) (*.f64 (pow.f64 (pow.f64 x 3) 3) -8)) (+.f64 (*.f64 (pow.f64 x 6) 4) (-.f64 (*.f64 (pow.f64 x 4) 9) (*.f64 (*.f64 3 (*.f64 x x)) (*.f64 -2 (pow.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (pow.f64 x 4) 9) (*.f64 (pow.f64 x 6) 4)) (+.f64 (*.f64 3 (*.f64 x x)) (*.f64 2 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (*.f64 (pow.f64 x 6) 27) (*.f64 (pow.f64 (pow.f64 x 3) 3) -8))) (neg.f64 (-.f64 (+.f64 (*.f64 (pow.f64 x 4) 9) (*.f64 (pow.f64 x 6) 4)) (*.f64 (*.f64 3 (*.f64 x x)) (*.f64 -2 (pow.f64 x 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (*.f64 (pow.f64 x 4) 9) (*.f64 (pow.f64 x 6) 4))) (neg.f64 (+.f64 (*.f64 3 (*.f64 x x)) (*.f64 2 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (pow.f64 x 6) 4) (*.f64 (pow.f64 x 4) 9)) (-.f64 (*.f64 -2 (pow.f64 x 3)) (*.f64 3 (*.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 3 (*.f64 x x) (*.f64 -2 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x x) 3 (*.f64 -2 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 x 3) -2 (*.f64 3 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 3 (*.f64 x x)) (*.f64 -2 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 -2 (pow.f64 x 3)) (*.f64 3 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (pow.f64 x 6) 4)) (*.f64 x (cbrt.f64 -2)) (*.f64 3 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (pow.f64 x 4) 9)) (cbrt.f64 (*.f64 3 (*.f64 x x))) (*.f64 -2 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (sqrt.f64 -2) (pow.f64 x 3/2)) (*.f64 (sqrt.f64 -2) (pow.f64 x 3/2)) (*.f64 3 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (sqrt.f64 3)) (*.f64 x (sqrt.f64 3)) (*.f64 -2 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 -2 (pow.f64 x 3) (*.f64 3 (*.f64 x x)))))))))

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

simplify125.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

1272×	`sqr-pow_binary64`
566×	`pow-sqr_binary64`
563×	`cube-prod_binary64`
536×	`unswap-sqr_binary64`
532×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	21
1	23	21
2	52	21
3	114	21
4	311	21
5	1272	21
6	2442	21
7	2608	21
8	2858	21
9	3145	21
10	3524	21
11	4023	21
12	4628	21
13	5334	21
14	5807	21
15	6124	21
16	6396	21
17	6564	21
18	6654	21
19	7331	21

Stop Event

1×	node limit

Counts

65 → 65

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))

Outputs
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(*.f64 -2 (pow.f64 x 3))
(*.f64 -2 (pow.f64 x 3))

prune94.0ms (3.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	63	2	65
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	64	5	69

Error

0.0b

Counts

69 → 5

Alt Table

Status	Error	Program
	16.1b	(+.f64 (sqrt.f64 (.f64 (pow.f64 x 4) 9)) (.f64 -2 (pow.f64 x 3)))
	3.0b	(/.f64 (.f64 (.f64 x x) (-.f64 9 (.f64 (.f64 x x) 4))) (+.f64 3 (*.f64 x 2)))
	7.1b	(pow.f64 (sqrt.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))) 2)
✓	0.1b	(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
▶	0.2b	(.f64 x (.f64 x (fma.f64 x -2 3)))

Compiler

Compiled 1184 to 884 computations (25.3% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 x (fma.f64 x -2 3))
✓	0.2b	(.f64 x (.f64 x (fma.f64 x -2 3)))

series4.0ms (0.2%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(*.f64 x (fma.f64 x -2 3))
1.0ms	x	@	-inf	(.f64 x (.f64 x (fma.f64 x -2 3)))
1.0ms	x	@	0	(.f64 x (.f64 x (fma.f64 x -2 3)))
0.0ms	x	@	inf	(.f64 x (.f64 x (fma.f64 x -2 3)))
0.0ms	x	@	0	(*.f64 x (fma.f64 x -2 3))

rewrite54.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

647×	`pow1_binary64`
601×	`add-log-exp_binary64`
600×	`log1p-expm1-u_binary64`
600×	`expm1-log1p-u_binary64`
591×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	143	19
2	1612	19

Stop Event

1×	node limit

Counts

2 → 26

Calls

Call 1

Inputs
(.f64 x (.f64 x (fma.f64 x -2 3)))
(*.f64 x (fma.f64 x -2 3))

Outputs

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

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

simplify142.0ms (5.9%)

Algorithm

1×	egg-herbie

Rules

969×	`sqr-pow_binary64`
536×	`unswap-sqr_binary64`
500×	`*-commutative_binary64`
496×	`associate-l_binary64`
488×	`cube-prod_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	13	264
1	33	264
2	66	246
3	157	210
4	420	210
5	1626	210
6	3326	210
7	3644	210
8	3895	210
9	4182	210
10	4561	210
11	5104	210
12	5733	210
13	6439	210
14	6912	210
15	7231	210
16	7499	210
17	7667	210
18	7759	210

Stop Event

1×	node limit

Counts

50 → 36

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 3 x)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(*.f64 -2 (pow.f64 x 2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))

Outputs
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 (*.f64 x -2) 3))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 (*.f64 x -2) 3))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 (*.f64 x -2) 3))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 (*.f64 x -2) 3))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 (*.f64 x -2) 3))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 (*.f64 x -2) 3))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 (*.f64 x -2) 3))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 (*.f64 x -2) 3))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 (*.f64 x -2) 3))
(.f64 (.f64 x x) (fma.f64 x -2 3))
(*.f64 3 x)
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(fma.f64 3 x (.f64 (.f64 x x) -2))
(fma.f64 3 x (.f64 x (.f64 x -2)))
(.f64 x (+.f64 (.f64 x -2) 3))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(fma.f64 3 x (.f64 (.f64 x x) -2))
(fma.f64 3 x (.f64 x (.f64 x -2)))
(.f64 x (+.f64 (.f64 x -2) 3))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(fma.f64 3 x (.f64 (.f64 x x) -2))
(fma.f64 3 x (.f64 x (.f64 x -2)))
(.f64 x (+.f64 (.f64 x -2) 3))
(*.f64 x (fma.f64 x -2 3))
(*.f64 -2 (pow.f64 x 2))
(.f64 (.f64 x x) -2)
(.f64 x (.f64 x -2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(fma.f64 3 x (.f64 (.f64 x x) -2))
(fma.f64 3 x (.f64 x (.f64 x -2)))
(.f64 x (+.f64 (.f64 x -2) 3))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(fma.f64 3 x (.f64 (.f64 x x) -2))
(fma.f64 3 x (.f64 x (.f64 x -2)))
(.f64 x (+.f64 (.f64 x -2) 3))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(fma.f64 3 x (.f64 (.f64 x x) -2))
(fma.f64 3 x (.f64 x (.f64 x -2)))
(.f64 x (+.f64 (.f64 x -2) 3))
(*.f64 x (fma.f64 x -2 3))
(*.f64 -2 (pow.f64 x 2))
(.f64 (.f64 x x) -2)
(.f64 x (.f64 x -2))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(fma.f64 3 x (.f64 (.f64 x x) -2))
(fma.f64 3 x (.f64 x (.f64 x -2)))
(.f64 x (+.f64 (.f64 x -2) 3))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(fma.f64 3 x (.f64 (.f64 x x) -2))
(fma.f64 3 x (.f64 x (.f64 x -2)))
(.f64 x (+.f64 (.f64 x -2) 3))
(*.f64 x (fma.f64 x -2 3))
(+.f64 (.f64 3 x) (.f64 -2 (pow.f64 x 2)))
(fma.f64 3 x (.f64 (.f64 x x) -2))
(fma.f64 3 x (.f64 x (.f64 x -2)))
(.f64 x (+.f64 (.f64 x -2) 3))
(*.f64 x (fma.f64 x -2 3))

prune44.0ms (1.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	36	0	36
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	36	5	41

Error

0.0b

Counts

41 → 5

Alt Table

Status	Error	Program
	16.1b	(+.f64 (sqrt.f64 (.f64 (pow.f64 x 4) 9)) (.f64 -2 (pow.f64 x 3)))
▶	3.0b	(/.f64 (.f64 (.f64 x x) (-.f64 9 (.f64 (.f64 x x) 4))) (+.f64 3 (*.f64 x 2)))
	7.1b	(pow.f64 (sqrt.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))) 2)
✓	0.1b	(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
✓	0.2b	(.f64 x (.f64 x (fma.f64 x -2 3)))

Compiler

Compiled 466 to 328 computations (29.6% saved)

localize8.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (.f64 x x) 4)
✓	0.2b	(.f64 (.f64 x x) (-.f64 9 (.f64 (.f64 x x) 4)))
✓	2.7b	(/.f64 (.f64 (.f64 x x) (-.f64 9 (.f64 (.f64 x x) 4))) (+.f64 3 (*.f64 x 2)))

series4.0ms (0.2%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(/.f64 (.f64 (.f64 x x) (-.f64 9 (.f64 (.f64 x x) 4))) (+.f64 3 (*.f64 x 2)))
1.0ms	x	@	inf	(/.f64 (.f64 (.f64 x x) (-.f64 9 (.f64 (.f64 x x) 4))) (+.f64 3 (*.f64 x 2)))
1.0ms	x	@	-inf	(/.f64 (.f64 (.f64 x x) (-.f64 9 (.f64 (.f64 x x) 4))) (+.f64 3 (*.f64 x 2)))
1.0ms	x	@	inf	(.f64 (.f64 x x) (-.f64 9 (.f64 (.f64 x x) 4)))
0.0ms	x	@	inf	(.f64 (.f64 x x) 4)

rewrite78.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

702×	`log-prod_binary64`
440×	`prod-diff_binary64`
262×	`fma-def_binary64`
240×	`pow1/3_binary64`
237×	`expm1-udef_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	13	48
1	294	39
2	3978	37

Stop Event

1×	node limit

Counts

3 → 98

Calls

Call 1

Inputs
(/.f64 (.f64 (.f64 x x) (-.f64 9 (.f64 (.f64 x x) 4))) (+.f64 3 (*.f64 x 2)))
(.f64 (.f64 x x) (-.f64 9 (.f64 (.f64 x x) 4)))
(.f64 (.f64 x x) 4)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x)))))) (cbrt.f64 (exp.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x)))))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x))))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x))))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x))))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (*.f64 (*.f64 x (fma.f64 (*.f64 x x) -4 9)) (/.f64 1 (fma.f64 x 2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x x) (/.f64 1 (/.f64 1 (+.f64 3 (*.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x x) (*.f64 (fma.f64 (*.f64 x x) -4 9) (/.f64 1 (fma.f64 x 2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 (*.f64 x x) -4 9) (*.f64 (*.f64 x x) (/.f64 1 (fma.f64 x 2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9))) (/.f64 1 (fma.f64 x 2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9)))) 2) (*.f64 (cbrt.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9)))) (/.f64 1 (fma.f64 x 2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x))))) (pow.f64 (cbrt.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x))))) 2) (cbrt.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (sqrt.f64 (fma.f64 (*.f64 x x) -4 9))) (*.f64 (*.f64 x (sqrt.f64 (fma.f64 (*.f64 x x) -4 9))) (/.f64 1 (fma.f64 x 2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (sqrt.f64 (/.f64 1 (+.f64 3 (*.f64 -2 x))))) (/.f64 x (sqrt.f64 (/.f64 1 (+.f64 3 (*.f64 -2 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (fma.f64 (*.f64 x x) -4 9) (*.f64 x (neg.f64 x))) (/.f64 1 (neg.f64 (fma.f64 x 2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (fma.f64 x 2 3)) (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x 1) (/.f64 (*.f64 x (fma.f64 (*.f64 x x) -4 9)) (fma.f64 x 2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 x x) 1) (+.f64 3 (*.f64 -2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fma.f64 (*.f64 x x) -4 9) 1) (/.f64 (*.f64 x x) (fma.f64 x 2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 x x) (fma.f64 x 2 3)) (fma.f64 (*.f64 x x) -4 9))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9)))) 2) 1) (/.f64 (cbrt.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9)))) (fma.f64 x 2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 x (sqrt.f64 (fma.f64 (*.f64 x x) -4 9))) 1) (/.f64 (*.f64 x (sqrt.f64 (fma.f64 (*.f64 x x) -4 9))) (fma.f64 x 2 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (pow.f64 (cbrt.f64 (fma.f64 x 2 3)) 2)) (/.f64 (*.f64 x (fma.f64 (*.f64 x x) -4 9)) (cbrt.f64 (fma.f64 x 2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 x x) (pow.f64 (cbrt.f64 (fma.f64 x 2 3)) 2)) (/.f64 (fma.f64 (*.f64 x x) -4 9) (cbrt.f64 (fma.f64 x 2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fma.f64 (*.f64 x x) -4 9) (pow.f64 (cbrt.f64 (fma.f64 x 2 3)) 2)) (/.f64 (*.f64 x x) (cbrt.f64 (fma.f64 x 2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 (cbrt.f64 (fma.f64 x 2 3)) 2)) (/.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9))) (cbrt.f64 (fma.f64 x 2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9)))) 2) (pow.f64 (cbrt.f64 (fma.f64 x 2 3)) 2)) (cbrt.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 x (sqrt.f64 (fma.f64 (*.f64 x x) -4 9))) (pow.f64 (cbrt.f64 (fma.f64 x 2 3)) 2)) (/.f64 (*.f64 x (sqrt.f64 (fma.f64 (*.f64 x x) -4 9))) (cbrt.f64 (fma.f64 x 2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (sqrt.f64 (fma.f64 x 2 3))) (/.f64 (*.f64 x (fma.f64 (*.f64 x x) -4 9)) (sqrt.f64 (fma.f64 x 2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 x x) (sqrt.f64 (fma.f64 x 2 3))) (/.f64 (fma.f64 (*.f64 x x) -4 9) (sqrt.f64 (fma.f64 x 2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fma.f64 (*.f64 x x) -4 9) (sqrt.f64 (fma.f64 x 2 3))) (/.f64 (*.f64 x x) (sqrt.f64 (fma.f64 x 2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (fma.f64 x 2 3))) (/.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9))) (sqrt.f64 (fma.f64 x 2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9)))) 2) (sqrt.f64 (fma.f64 x 2 3))) (/.f64 (cbrt.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9)))) (sqrt.f64 (fma.f64 x 2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9))) (fma.f64 (pow.f64 x 3) 8 27)) (fma.f64 (+.f64 x x) (fma.f64 x 2 -3) 9))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9))) (fma.f64 (*.f64 x x) -4 9)) (+.f64 3 (*.f64 -2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 x (sqrt.f64 (/.f64 1 (+.f64 3 (*.f64 -2 x))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 1 (+.f64 3 (*.f64 -2 x))) (*.f64 x x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9))) 3) (pow.f64 (fma.f64 x 2 3) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 (/.f64 1 (+.f64 3 (*.f64 -2 x))) (*.f64 x x)) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9))) (neg.f64 (fma.f64 x 2 3))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9))) 3) (pow.f64 (fma.f64 x 2 3) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (*.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x))))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 9 (*.f64 x x)) (*.f64 (*.f64 (*.f64 x x) -4) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x x) 9) (*.f64 (*.f64 x x) (*.f64 (*.f64 x x) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 x (fma.f64 (*.f64 x x) -4 9)))) (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 x (fma.f64 (*.f64 x x) -4 9)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 x (fma.f64 (*.f64 x x) -4 9))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 x (fma.f64 (*.f64 x x) -4 9))))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (*.f64 x (fma.f64 (*.f64 x x) -4 9))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 729 (pow.f64 (*.f64 x (*.f64 x 4)) 3)) (*.f64 x x)) (+.f64 81 (fma.f64 16 (pow.f64 x 4) (*.f64 36 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 81 (*.f64 16 (pow.f64 x 4))) (*.f64 x x)) (fma.f64 x (*.f64 x 4) 9))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 x x) (-.f64 729 (pow.f64 (*.f64 x (*.f64 x 4)) 3))) (+.f64 81 (fma.f64 16 (pow.f64 x 4) (*.f64 36 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 x x) (-.f64 81 (*.f64 16 (pow.f64 x 4)))) (fma.f64 x (*.f64 x 4) 9))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (sqrt.f64 (fma.f64 (*.f64 x x) -4 9))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (pow.f64 (fma.f64 (*.f64 x x) -4 9) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 (fma.f64 (*.f64 x x) -4 9) 3) (pow.f64 (*.f64 x x) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 x 4) (pow.f64 (fma.f64 (*.f64 x x) -4 9) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (*.f64 x (fma.f64 (*.f64 x x) -4 9))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 x x) 3) (pow.f64 (fma.f64 (*.f64 x x) -4 9) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (fma.f64 (*.f64 x x) -4 9) 3) (pow.f64 (*.f64 x x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (fma.f64 2 (log.f64 x) (log.f64 (fma.f64 (*.f64 x x) -4 9))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (fma.f64 2 (log.f64 x) (log.f64 (fma.f64 (*.f64 x x) -4 9))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x x) 9 (*.f64 (*.f64 x x) (*.f64 (*.f64 x x) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 9 (*.f64 x x) (*.f64 (*.f64 (*.f64 x x) -4) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (*.f64 x (fma.f64 (*.f64 x x) -4 9)))))))))

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

simplify187.0ms (7.8%)

Algorithm

1×	egg-herbie

Rules

983×	`sqr-pow_binary64`
803×	`unswap-sqr_binary64`
543×	`cube-prod_binary64`
454×	`fabs-mul_binary64`
406×	`pow-sqr_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	18	378
1	41	378
2	91	369
3	252	351
4	783	351
5	1466	351
6	2922	351
7	3041	351
8	3214	351
9	3424	351
10	3709	351
11	4083	351
12	4528	351
13	5077	351
14	5763	351
15	6222	351
16	6529	351
17	6801	351
18	7013	351
19	7207	351
20	7986	351

Stop Event

1×	node limit

Counts

134 → 110

Calls

Call 1

Inputs
(*.f64 3 (pow.f64 x 2))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(*.f64 9 (pow.f64 x 2))
(+.f64 (.f64 9 (pow.f64 x 2)) (.f64 -4 (pow.f64 x 4)))
(+.f64 (.f64 9 (pow.f64 x 2)) (.f64 -4 (pow.f64 x 4)))
(+.f64 (.f64 9 (pow.f64 x 2)) (.f64 -4 (pow.f64 x 4)))
(*.f64 -4 (pow.f64 x 4))
(+.f64 (.f64 9 (pow.f64 x 2)) (.f64 -4 (pow.f64 x 4)))
(+.f64 (.f64 9 (pow.f64 x 2)) (.f64 -4 (pow.f64 x 4)))
(+.f64 (.f64 9 (pow.f64 x 2)) (.f64 -4 (pow.f64 x 4)))
(*.f64 -4 (pow.f64 x 4))
(+.f64 (.f64 9 (pow.f64 x 2)) (.f64 -4 (pow.f64 x 4)))
(+.f64 (.f64 9 (pow.f64 x 2)) (.f64 -4 (pow.f64 x 4)))
(+.f64 (.f64 9 (pow.f64 x 2)) (.f64 -4 (pow.f64 x 4)))
(*.f64 4 (pow.f64 x 2))
(*.f64 4 (pow.f64 x 2))
(*.f64 4 (pow.f64 x 2))
(*.f64 4 (pow.f64 x 2))
(*.f64 4 (pow.f64 x 2))
(*.f64 4 (pow.f64 x 2))
(*.f64 4 (pow.f64 x 2))
(*.f64 4 (pow.f64 x 2))
(*.f64 4 (pow.f64 x 2))
(*.f64 4 (pow.f64 x 2))
(*.f64 4 (pow.f64 x 2))
(*.f64 4 (pow.f64 x 2))

Outputs
(*.f64 3 (pow.f64 x 2))
(.f64 3 (.f64 x x))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 (*.f64 x -2) 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 (*.f64 x -2) 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 (*.f64 x -2) 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 (*.f64 x -2) 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 (*.f64 x -2) 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 (*.f64 x -2) 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(*.f64 -2 (pow.f64 x 3))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 (*.f64 x -2) 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 (*.f64 x -2) 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(fma.f64 3 (.f64 x x) (.f64 -2 (pow.f64 x 3)))
(.f64 (.f64 x x) (+.f64 (*.f64 x -2) 3))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(*.f64 9 (pow.f64 x 2))
(.f64 (.f64 x x) 9)
(.f64 x (.f64 x 9))
(+.f64 (.f64 9 (pow.f64 x 2)) (.f64 -4 (pow.f64 x 4)))
(fma.f64 9 (.f64 x x) (.f64 -4 (pow.f64 x 4)))
(fma.f64 -4 (pow.f64 x 4) (.f64 x (.f64 x 9)))
(fma.f64 x (.f64 x 9) (.f64 -4 (pow.f64 x 4)))
(fma.f64 (.f64 x x) 9 (.f64 -4 (pow.f64 x 4)))
(.f64 x (fma.f64 x 9 (.f64 (pow.f64 x 3) -4)))
(.f64 x (.f64 x (fma.f64 x (*.f64 x -4) 9)))
(+.f64 (.f64 9 (pow.f64 x 2)) (.f64 -4 (pow.f64 x 4)))
(fma.f64 9 (.f64 x x) (.f64 -4 (pow.f64 x 4)))
(fma.f64 -4 (pow.f64 x 4) (.f64 x (.f64 x 9)))
(fma.f64 x (.f64 x 9) (.f64 -4 (pow.f64 x 4)))
(fma.f64 (.f64 x x) 9 (.f64 -4 (pow.f64 x 4)))
(.f64 x (fma.f64 x 9 (.f64 (pow.f64 x 3) -4)))
(.f64 x (.f64 x (fma.f64 x (*.f64 x -4) 9)))
(+.f64 (.f64 9 (pow.f64 x 2)) (.f64 -4 (pow.f64 x 4)))
(fma.f64 9 (.f64 x x) (.f64 -4 (pow.f64 x 4)))
(fma.f64 -4 (pow.f64 x 4) (.f64 x (.f64 x 9)))
(fma.f64 x (.f64 x 9) (.f64 -4 (pow.f64 x 4)))
(fma.f64 (.f64 x x) 9 (.f64 -4 (pow.f64 x 4)))
(.f64 x (fma.f64 x 9 (.f64 (pow.f64 x 3) -4)))
(.f64 x (.f64 x (fma.f64 x (*.f64 x -4) 9)))
(*.f64 -4 (pow.f64 x 4))
(+.f64 (.f64 9 (pow.f64 x 2)) (.f64 -4 (pow.f64 x 4)))
(fma.f64 9 (.f64 x x) (.f64 -4 (pow.f64 x 4)))
(fma.f64 -4 (pow.f64 x 4) (.f64 x (.f64 x 9)))
(fma.f64 x (.f64 x 9) (.f64 -4 (pow.f64 x 4)))
(fma.f64 (.f64 x x) 9 (.f64 -4 (pow.f64 x 4)))
(.f64 x (fma.f64 x 9 (.f64 (pow.f64 x 3) -4)))
(.f64 x (.f64 x (fma.f64 x (*.f64 x -4) 9)))
(+.f64 (.f64 9 (pow.f64 x 2)) (.f64 -4 (pow.f64 x 4)))
(fma.f64 9 (.f64 x x) (.f64 -4 (pow.f64 x 4)))
(fma.f64 -4 (pow.f64 x 4) (.f64 x (.f64 x 9)))
(fma.f64 x (.f64 x 9) (.f64 -4 (pow.f64 x 4)))
(fma.f64 (.f64 x x) 9 (.f64 -4 (pow.f64 x 4)))
(.f64 x (fma.f64 x 9 (.f64 (pow.f64 x 3) -4)))
(.f64 x (.f64 x (fma.f64 x (*.f64 x -4) 9)))
(+.f64 (.f64 9 (pow.f64 x 2)) (.f64 -4 (pow.f64 x 4)))
(fma.f64 9 (.f64 x x) (.f64 -4 (pow.f64 x 4)))
(fma.f64 -4 (pow.f64 x 4) (.f64 x (.f64 x 9)))
(fma.f64 x (.f64 x 9) (.f64 -4 (pow.f64 x 4)))
(fma.f64 (.f64 x x) 9 (.f64 -4 (pow.f64 x 4)))
(.f64 x (fma.f64 x 9 (.f64 (pow.f64 x 3) -4)))
(.f64 x (.f64 x (fma.f64 x (*.f64 x -4) 9)))
(*.f64 -4 (pow.f64 x 4))
(+.f64 (.f64 9 (pow.f64 x 2)) (.f64 -4 (pow.f64 x 4)))
(fma.f64 9 (.f64 x x) (.f64 -4 (pow.f64 x 4)))
(fma.f64 -4 (pow.f64 x 4) (.f64 x (.f64 x 9)))
(fma.f64 x (.f64 x 9) (.f64 -4 (pow.f64 x 4)))
(fma.f64 (.f64 x x) 9 (.f64 -4 (pow.f64 x 4)))
(.f64 x (fma.f64 x 9 (.f64 (pow.f64 x 3) -4)))
(.f64 x (.f64 x (fma.f64 x (*.f64 x -4) 9)))
(+.f64 (.f64 9 (pow.f64 x 2)) (.f64 -4 (pow.f64 x 4)))
(fma.f64 9 (.f64 x x) (.f64 -4 (pow.f64 x 4)))
(fma.f64 -4 (pow.f64 x 4) (.f64 x (.f64 x 9)))
(fma.f64 x (.f64 x 9) (.f64 -4 (pow.f64 x 4)))
(fma.f64 (.f64 x x) 9 (.f64 -4 (pow.f64 x 4)))
(.f64 x (fma.f64 x 9 (.f64 (pow.f64 x 3) -4)))
(.f64 x (.f64 x (fma.f64 x (*.f64 x -4) 9)))
(+.f64 (.f64 9 (pow.f64 x 2)) (.f64 -4 (pow.f64 x 4)))
(fma.f64 9 (.f64 x x) (.f64 -4 (pow.f64 x 4)))
(fma.f64 -4 (pow.f64 x 4) (.f64 x (.f64 x 9)))
(fma.f64 x (.f64 x 9) (.f64 -4 (pow.f64 x 4)))
(fma.f64 (.f64 x x) 9 (.f64 -4 (pow.f64 x 4)))
(.f64 x (fma.f64 x 9 (.f64 (pow.f64 x 3) -4)))
(.f64 x (.f64 x (fma.f64 x (*.f64 x -4) 9)))
(*.f64 4 (pow.f64 x 2))
(.f64 (.f64 x x) 4)
(.f64 x (.f64 x 4))
(*.f64 4 (pow.f64 x 2))
(.f64 (.f64 x x) 4)
(.f64 x (.f64 x 4))
(*.f64 4 (pow.f64 x 2))
(.f64 (.f64 x x) 4)
(.f64 x (.f64 x 4))
(*.f64 4 (pow.f64 x 2))
(.f64 (.f64 x x) 4)
(.f64 x (.f64 x 4))
(*.f64 4 (pow.f64 x 2))
(.f64 (.f64 x x) 4)
(.f64 x (.f64 x 4))
(*.f64 4 (pow.f64 x 2))
(.f64 (.f64 x x) 4)
(.f64 x (.f64 x 4))
(*.f64 4 (pow.f64 x 2))
(.f64 (.f64 x x) 4)
(.f64 x (.f64 x 4))
(*.f64 4 (pow.f64 x 2))
(.f64 (.f64 x x) 4)
(.f64 x (.f64 x 4))
(*.f64 4 (pow.f64 x 2))
(.f64 (.f64 x x) 4)
(.f64 x (.f64 x 4))
(*.f64 4 (pow.f64 x 2))
(.f64 (.f64 x x) 4)
(.f64 x (.f64 x 4))
(*.f64 4 (pow.f64 x 2))
(.f64 (.f64 x x) 4)
(.f64 x (.f64 x 4))
(*.f64 4 (pow.f64 x 2))
(.f64 (.f64 x x) 4)
(.f64 x (.f64 x 4))

prune425.0ms (17.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	108	2	110
Fresh	1	1	2
Picked	1	0	1
Done	0	2	2
Total	110	5	115

Error

Counts

115 → 5

Alt Table

Status	Error	Program
	14.4b	(.f64 (/.f64 (.f64 x (sqrt.f64 (fma.f64 (.f64 x x) -4 9))) 1) (/.f64 (.f64 x (sqrt.f64 (fma.f64 (*.f64 x x) -4 9))) (fma.f64 x 2 3)))
	0.3b	(.f64 (/.f64 (.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x)))) 1)
✓	0.1b	(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
	16.1b	(+.f64 (sqrt.f64 (.f64 (pow.f64 x 4) 9)) (.f64 -2 (pow.f64 x 3)))
✓	0.2b	(.f64 x (.f64 x (fma.f64 x -2 3)))

Compiler

Compiled 2256 to 1536 computations (31.9% saved)

regimes17.0ms (0.7%)

Accuracy

Total -27.6b remaining (-23572.5%)

Threshold costs -27.6b (-23572.5%)

Counts

9 → 1

Calls

Call 1

Inputs
(.f64 (/.f64 (.f64 x (sqrt.f64 (fma.f64 (.f64 x x) -4 9))) 1) (/.f64 (.f64 x (sqrt.f64 (fma.f64 (*.f64 x x) -4 9))) (fma.f64 x 2 3)))
(.f64 (/.f64 (.f64 x x) (/.f64 1 (+.f64 3 (*.f64 -2 x)))) 1)
(+.f64 (sqrt.f64 (.f64 (pow.f64 x 4) 9)) (.f64 -2 (pow.f64 x 3)))
(pow.f64 (sqrt.f64 (fma.f64 -2 (pow.f64 x 3) (.f64 3 (.f64 x x)))) 2)
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))
(pow.f64 (.f64 x (sqrt.f64 (+.f64 3 (.f64 x -2)))) 2)
(/.f64 (.f64 (.f64 x x) (-.f64 9 (.f64 (.f64 x x) 4))) (+.f64 3 (*.f64 x 2)))
(.f64 x (.f64 x (fma.f64 x -2 3)))
(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))

Outputs
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))

Results

6.0ms	0.1b	`x`
7.0ms	0.1b	`(.f64 (.f64 x x) (-.f64 3 (*.f64 x 2)))`

Compiler

Compiled 132 to 92 computations (30.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	16
1	13	16

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))

Outputs
(+.f64 (.f64 3 (pow.f64 x 2)) (.f64 -2 (pow.f64 x 3)))

end20.0ms (0.9%)

Stop Event

1×

fuel

Compiler

Compiled 24 to 20 computations (16.7% saved)

Details

analyze3.0ms (0.1%)

sample725.0ms (30.3%)

preprocess95.0ms (3.9%)

simplify82.0ms (3.4%)

prune3.0ms (0.1%)

localize5.0ms (0.2%)

series2.0ms (0.1%)

rewrite43.0ms (1.8%)

simplify136.0ms (5.7%)

prune25.0ms (1%)

localize6.0ms (0.2%)

series4.0ms (0.2%)

rewrite57.0ms (2.4%)

simplify125.0ms (5.2%)

prune94.0ms (3.9%)

localize5.0ms (0.2%)

series4.0ms (0.2%)

rewrite54.0ms (2.3%)

simplify142.0ms (5.9%)

prune44.0ms (1.8%)

localize8.0ms (0.3%)

series4.0ms (0.2%)

rewrite78.0ms (3.3%)

simplify187.0ms (7.8%)

prune425.0ms (17.7%)

regimes17.0ms (0.7%)

simplify2.0ms (0.1%)

end20.0ms (0.9%)

Profiling