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
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample982.0ms (41.8%)

Results

855.0ms

8256×

body

256

valid

preprocess14.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(/.f64 (+.f64 x 16) 116)

Outputs
(/.f64 (+.f64 x 16) 116)

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify8.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(/.f64 (+.f64 x 16) 116)

Outputs
(/.f64 (+.f64 x 16) 116)

eval0.0ms (0%)

Compiler: Compiled 6 to 5 computations (16.7% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(/.f64 (+.f64 x 16) 116)

Compiler

Compiled 6 to 5 computations (16.7% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 x 16) 116)

Compiler

Compiled 12 to 9 computations (25% saved)

series1.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(/.f64 (+.f64 x 16) 116)
0.0ms	x	@	0	(/.f64 (+.f64 x 16) 116)
0.0ms	x	@	-inf	(/.f64 (+.f64 x 16) 116)

rewrite48.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

695×	`pow1_binary64`
664×	`add-log-exp_binary64`
664×	`log1p-expm1-u_binary64`
664×	`expm1-log1p-u_binary64`
655×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	141	7
2	1742	7

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

Inputs
(/.f64 (+.f64 x 16) 116)

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

Outputs

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

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	72
1	8	54
2	10	54

Stop Event

1×

saturated

Counts

35 → 27

Calls

Call 1

Inputs
4/29
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))

Outputs
4/29
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)

eval6.0ms (0.3%)

Compiler: Compiled 209 to 178 computations (14.8% saved)

prune6.0ms (0.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	23	4	27
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	23	5	28

Error

Counts

28 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x 16) 116)
▶	30.6b	(*.f64 1/116 x)
▶	16.1b	(pow.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)
▶	0.0b	(+.f64 4/29 (*.f64 1/116 x))
	32.2b	4/29

Compiler

Compiled 27 to 23 computations (14.8% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 1/116 x)

Compiler

Compiled 6 to 4 computations (33.3% saved)

series2.0ms (0.1%)

Counts

1 → 0

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(*.f64 1/116 x)
1.0ms	x	@	0	(*.f64 1/116 x)
0.0ms	x	@	inf	(*.f64 1/116 x)

rewrite53.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

345×	`pow1_binary64`
338×	`add-sqr-sqrt_binary64`
329×	`*-un-lft-identity_binary64`
321×	`add-log-exp_binary64`
321×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	4
1	80	4
2	873	4

Stop Event

1×	node limit

Counts

1 → 25

Calls

Call 1

Inputs
(*.f64 1/116 x)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 1 (.f64 1/116 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 1/116 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (exp.f64 x) 1/232)) (log.f64 (pow.f64 (exp.f64 x) 1/232)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 1/58))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 1/116))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 1/116 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 1 (.f64 1/116 x)) 3) 1) (+.f64 (.f64 (+.f64 1 (.f64 1/116 x)) (+.f64 1 (.f64 1/116 x))) (+.f64 1 (.f64 (+.f64 1 (.f64 1/116 x)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (+.f64 1 (.f64 1/116 x)) (+.f64 1 (.f64 1/116 x))) 1) (+.f64 (+.f64 1 (.f64 1/116 x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 1/116 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 1/116 x) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 x 3) 1/1560896) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 1/116 x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 1/116 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (E.f64) (log.f64 (.f64 1/116 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 1/116 x)))) (sqrt.f64 (log.f64 (.f64 1/116 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 1/116 x))) 2)) (cbrt.f64 (log.f64 (.f64 1/116 x))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 1/116 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 1/116 x))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) 1/116))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 x 3) 1/1560896))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 1/116 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 1/116 x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 1/116 x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 3 (log.f64 (.f64 1/116 x))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 1/116 x))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 1/116 x))) 2))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 1 (*.f64 1/116 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 1/116 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (exp.f64 x) 1/232)) (log.f64 (pow.f64 (exp.f64 x) 1/232)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 1/58))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) 1/116))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 1/116 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 1 (*.f64 1/116 x)) 3) 1) (+.f64 (*.f64 (+.f64 1 (*.f64 1/116 x)) (+.f64 1 (*.f64 1/116 x))) (+.f64 1 (*.f64 (+.f64 1 (*.f64 1/116 x)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 1 (*.f64 1/116 x)) (+.f64 1 (*.f64 1/116 x))) 1) (+.f64 (+.f64 1 (*.f64 1/116 x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/116 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 1/116 x) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 x 3) 1/1560896) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 1/116 x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 1/116 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (E.f64) (log.f64 (*.f64 1/116 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 1/116 x)))) (sqrt.f64 (log.f64 (*.f64 1/116 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 1/116 x))) 2)) (cbrt.f64 (log.f64 (*.f64 1/116 x))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 1/116 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 1/116 x))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) 1/116))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) 1/1560896))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 1/116 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 1/116 x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 1/116 x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 1/116 x))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 1/116 x))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 1/116 x))) 2))))))

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

25 → 25

Calls

Call 1

Inputs

Outputs

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 4/29 (*.f64 1/116 x))
	0.1b	(*.f64 1/116 x)

Compiler

Compiled 12 to 9 computations (25% saved)

series1.0ms (0%)

Counts

1 → 3

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(+.f64 4/29 (*.f64 1/116 x))
0.0ms	x	@	inf	(+.f64 4/29 (*.f64 1/116 x))
0.0ms	x	@	-inf	(+.f64 4/29 (*.f64 1/116 x))

rewrite127.0ms (5.4%)

Algorithm

1×	batch-egg-rewrite

Rules

653×	`pow1_binary64`
618×	`add-log-exp_binary64`
618×	`log1p-expm1-u_binary64`
618×	`expm1-log1p-u_binary64`
609×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	132	5
2	1606	5

Stop Event

1×	node limit

Counts

1 → 32

Calls

Call 1

Inputs
(+.f64 4/29 (*.f64 1/116 x))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (fma.f64 1/116 x 4/29)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 16/841 (+.f64 4/29 (*.f64 -1/116 x))) (/.f64 (*.f64 1/13456 (*.f64 x x)) (+.f64 4/29 (*.f64 -1/116 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 1/116 x 4/29) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 1/116 x 4/29))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 2) (cbrt.f64 (fma.f64 1/116 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) (sqrt.f64 (fma.f64 1/116 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 64/24389 (*.f64 1/1560896 (pow.f64 x 3))) (/.f64 1 (+.f64 16/841 (-.f64 (*.f64 1/13456 (*.f64 x x)) (*.f64 1/841 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 16/841 (*.f64 1/13456 (*.f64 x x))) (/.f64 1 (+.f64 4/29 (*.f64 -1/116 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 16/841 (-.f64 (*.f64 1/13456 (*.f64 x x)) (*.f64 1/841 x))) (+.f64 64/24389 (*.f64 1/1560896 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 4/29 (*.f64 -1/116 x)) (-.f64 16/841 (*.f64 1/13456 (*.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 64/24389 (*.f64 1/1560896 (pow.f64 x 3))) (+.f64 16/841 (-.f64 (*.f64 1/13456 (*.f64 x x)) (*.f64 1/841 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 64/24389 (*.f64 1/1560896 (pow.f64 x 3))) (+.f64 (*.f64 1/13456 (*.f64 x x)) (-.f64 16/841 (*.f64 1/841 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 16/841 (*.f64 1/13456 (*.f64 x x))) (+.f64 4/29 (*.f64 -1/116 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 64/24389 (*.f64 1/1560896 (pow.f64 x 3)))) (neg.f64 (+.f64 16/841 (-.f64 (*.f64 1/13456 (*.f64 x x)) (*.f64 1/841 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 16/841 (*.f64 1/13456 (*.f64 x x)))) (neg.f64 (+.f64 4/29 (*.f64 -1/116 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 1/13456 (*.f64 x x)) 16/841) (-.f64 (*.f64 1/116 x) 4/29))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 1/116 x 4/29) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 1/116 x 4/29) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 1/116 x 4/29)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 1/116 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 1/116 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 1/116 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 1/116 x 4/29)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1/116 x 4/29)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 1/116 4/29)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 1/116 x) 4/29)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 1/13456 (*.f64 x x))) (cbrt.f64 (*.f64 1/116 x)) 4/29)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 1/116 x)) (sqrt.f64 (*.f64 1/116 x)) 4/29)))))

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	9
1	6	9

Stop Event

1×

saturated

Counts

35 → 34

Calls

Call 1

Inputs
4/29
(*.f64 1/116 x)
(*.f64 1/116 x)

Outputs
4/29
(*.f64 1/116 x)
(*.f64 1/116 x)

localize12.0ms (0.5%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (+.f64 x 16) 1/116)
✓	0.0b	(sqrt.f64 (*.f64 (+.f64 x 16) 1/116))
✓	0.1b	(pow.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)

Compiler

Compiled 27 to 22 computations (18.5% saved)

series6.0ms (0.3%)

Counts

3 → 20

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	(pow.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)
1.0ms	x	@	0	(pow.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)
1.0ms	x	@	0	(sqrt.f64 (*.f64 (+.f64 x 16) 1/116))
1.0ms	x	@	-inf	(pow.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)
1.0ms	x	@	-inf	(sqrt.f64 (*.f64 (+.f64 x 16) 1/116))

rewrite76.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

787×	`pow1_binary64`
743×	`add-log-exp_binary64`
742×	`log1p-expm1-u_binary64`
742×	`expm1-log1p-u_binary64`
730×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	198	23
2	2017	23

Stop Event

1×	node limit

Counts

3 → 75

Calls

Call 1

Inputs
(pow.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)
(sqrt.f64 (*.f64 (+.f64 x 16) 1/116))
(*.f64 (+.f64 x 16) 1/116)

Outputs

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

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

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

simplify120.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

1049×	`fma-def_binary64`
610×	`associate-l_binary64`
550×	`unswap-sqr_binary64`
509×	`associate-r_binary64`
489×	`+-commutative_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	50	329
1	129	157
2	362	147
3	1608	129
4	5991	129
5	7344	129
6	7486	129
7	7625	129
8	7787	129
9	7989	129

Stop Event

1×	node limit

Counts

95 → 75

Calls

Call 1

Inputs
(*.f64 16 (pow.f64 (sqrt.f64 1/116) 2))
(+.f64 (.f64 (pow.f64 (sqrt.f64 1/116) 2) x) (.f64 16 (pow.f64 (sqrt.f64 1/116) 2)))
(+.f64 (.f64 (pow.f64 (sqrt.f64 1/116) 2) x) (+.f64 (.f64 (+.f64 (.f64 -1/64 (pow.f64 (sqrt.f64 1/116) 2)) (.f64 1/64 (pow.f64 (sqrt.f64 1/116) 2))) (pow.f64 x 2)) (*.f64 16 (pow.f64 (sqrt.f64 1/116) 2))))
(+.f64 (.f64 (pow.f64 (sqrt.f64 1/116) 2) x) (+.f64 (.f64 (+.f64 (.f64 -1/64 (pow.f64 (sqrt.f64 1/116) 2)) (.f64 1/64 (pow.f64 (sqrt.f64 1/116) 2))) (pow.f64 x 2)) (+.f64 (.f64 16 (pow.f64 (sqrt.f64 1/116) 2)) (.f64 (+.f64 (.f64 -1/2048 (pow.f64 (sqrt.f64 1/116) 2)) (.f64 1/2048 (pow.f64 (sqrt.f64 1/116) 2))) (pow.f64 x 3)))))
(*.f64 4 (sqrt.f64 1/116))
(+.f64 (.f64 4 (sqrt.f64 1/116)) (.f64 1/8 (*.f64 (sqrt.f64 1/116) x)))
(+.f64 (.f64 4 (sqrt.f64 1/116)) (+.f64 (.f64 1/8 (.f64 (sqrt.f64 1/116) x)) (.f64 -1/512 (*.f64 (sqrt.f64 1/116) (pow.f64 x 2)))))
(+.f64 (.f64 4 (sqrt.f64 1/116)) (+.f64 (.f64 1/8 (.f64 (sqrt.f64 1/116) x)) (+.f64 (.f64 1/16384 (.f64 (sqrt.f64 1/116) (pow.f64 x 3))) (.f64 -1/512 (*.f64 (sqrt.f64 1/116) (pow.f64 x 2))))))
4/29
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))

Outputs
(*.f64 16 (pow.f64 (sqrt.f64 1/116) 2))
4/29
(+.f64 (.f64 (pow.f64 (sqrt.f64 1/116) 2) x) (.f64 16 (pow.f64 (sqrt.f64 1/116) 2)))
(fma.f64 (pow.f64 (sqrt.f64 1/116) 2) x (*.f64 16 (pow.f64 (sqrt.f64 1/116) 2)))
(fma.f64 1/116 x 4/29)
(+.f64 (.f64 (pow.f64 (sqrt.f64 1/116) 2) x) (+.f64 (.f64 (+.f64 (.f64 -1/64 (pow.f64 (sqrt.f64 1/116) 2)) (.f64 1/64 (pow.f64 (sqrt.f64 1/116) 2))) (pow.f64 x 2)) (*.f64 16 (pow.f64 (sqrt.f64 1/116) 2))))
(fma.f64 (pow.f64 (sqrt.f64 1/116) 2) x (*.f64 16 (pow.f64 (sqrt.f64 1/116) 2)))
(fma.f64 1/116 x 4/29)
(+.f64 (.f64 (pow.f64 (sqrt.f64 1/116) 2) x) (+.f64 (.f64 (+.f64 (.f64 -1/64 (pow.f64 (sqrt.f64 1/116) 2)) (.f64 1/64 (pow.f64 (sqrt.f64 1/116) 2))) (pow.f64 x 2)) (+.f64 (.f64 16 (pow.f64 (sqrt.f64 1/116) 2)) (.f64 (+.f64 (.f64 -1/2048 (pow.f64 (sqrt.f64 1/116) 2)) (.f64 1/2048 (pow.f64 (sqrt.f64 1/116) 2))) (pow.f64 x 3)))))
(fma.f64 (pow.f64 (sqrt.f64 1/116) 2) x (*.f64 16 (pow.f64 (sqrt.f64 1/116) 2)))
(fma.f64 1/116 x 4/29)
(*.f64 4 (sqrt.f64 1/116))
(*.f64 (sqrt.f64 1/116) 4)
(+.f64 (.f64 4 (sqrt.f64 1/116)) (.f64 1/8 (*.f64 (sqrt.f64 1/116) x)))
(fma.f64 4 (sqrt.f64 1/116) (.f64 1/8 (.f64 (sqrt.f64 1/116) x)))
(fma.f64 (sqrt.f64 1/116) 4 (.f64 (sqrt.f64 1/116) (.f64 x 1/8)))
(.f64 (sqrt.f64 1/116) (+.f64 4 (.f64 x 1/8)))
(*.f64 (sqrt.f64 1/116) (fma.f64 x 1/8 4))
(+.f64 (.f64 4 (sqrt.f64 1/116)) (+.f64 (.f64 1/8 (.f64 (sqrt.f64 1/116) x)) (.f64 -1/512 (*.f64 (sqrt.f64 1/116) (pow.f64 x 2)))))
(fma.f64 4 (sqrt.f64 1/116) (fma.f64 1/8 (.f64 (sqrt.f64 1/116) x) (.f64 -1/512 (.f64 (sqrt.f64 1/116) (.f64 x x)))))
(fma.f64 (sqrt.f64 1/116) 4 (fma.f64 1/8 (.f64 (sqrt.f64 1/116) x) (.f64 (sqrt.f64 1/116) (.f64 (.f64 x x) -1/512))))
(fma.f64 (sqrt.f64 1/116) (.f64 x 1/8) (.f64 (sqrt.f64 1/116) (+.f64 4 (.f64 x (.f64 x -1/512)))))
(.f64 (sqrt.f64 1/116) (+.f64 4 (.f64 x (+.f64 1/8 (*.f64 x -1/512)))))
(+.f64 (.f64 4 (sqrt.f64 1/116)) (+.f64 (.f64 1/8 (.f64 (sqrt.f64 1/116) x)) (+.f64 (.f64 1/16384 (.f64 (sqrt.f64 1/116) (pow.f64 x 3))) (.f64 -1/512 (*.f64 (sqrt.f64 1/116) (pow.f64 x 2))))))
(fma.f64 4 (sqrt.f64 1/116) (fma.f64 1/8 (.f64 (sqrt.f64 1/116) x) (fma.f64 1/16384 (.f64 (sqrt.f64 1/116) (pow.f64 x 3)) (.f64 -1/512 (.f64 (sqrt.f64 1/116) (*.f64 x x))))))
(fma.f64 (sqrt.f64 1/116) 4 (fma.f64 1/8 (.f64 (sqrt.f64 1/116) x) (fma.f64 1/16384 (.f64 (sqrt.f64 1/116) (pow.f64 x 3)) (.f64 (sqrt.f64 1/116) (.f64 (*.f64 x x) -1/512)))))
(+.f64 (.f64 (sqrt.f64 1/116) (+.f64 4 (.f64 x 1/8))) (.f64 (sqrt.f64 1/116) (+.f64 (.f64 x (.f64 x -1/512)) (.f64 (pow.f64 x 3) 1/16384))))
(.f64 (sqrt.f64 1/116) (+.f64 (fma.f64 x 1/8 4) (.f64 (.f64 x x) (+.f64 -1/512 (.f64 x 1/16384)))))
(.f64 (sqrt.f64 1/116) (+.f64 (.f64 (.f64 x x) (+.f64 -1/512 (.f64 x 1/16384))) (fma.f64 x 1/8 4)))
4/29
(*.f64 16 (pow.f64 (sqrt.f64 1/116) 2))
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 (pow.f64 (sqrt.f64 1/116) 2) x (*.f64 16 (pow.f64 (sqrt.f64 1/116) 2)))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 (pow.f64 (sqrt.f64 1/116) 2) x (*.f64 16 (pow.f64 (sqrt.f64 1/116) 2)))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 (pow.f64 (sqrt.f64 1/116) 2) x (*.f64 16 (pow.f64 (sqrt.f64 1/116) 2)))
(fma.f64 1/116 x 4/29)
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 (pow.f64 (sqrt.f64 1/116) 2) x (*.f64 16 (pow.f64 (sqrt.f64 1/116) 2)))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 (pow.f64 (sqrt.f64 1/116) 2) x (*.f64 16 (pow.f64 (sqrt.f64 1/116) 2)))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 (pow.f64 (sqrt.f64 1/116) 2) x (*.f64 16 (pow.f64 (sqrt.f64 1/116) 2)))
(fma.f64 1/116 x 4/29)
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 (pow.f64 (sqrt.f64 1/116) 2) x (*.f64 16 (pow.f64 (sqrt.f64 1/116) 2)))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 (pow.f64 (sqrt.f64 1/116) 2) x (*.f64 16 (pow.f64 (sqrt.f64 1/116) 2)))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 (pow.f64 (sqrt.f64 1/116) 2) x (*.f64 16 (pow.f64 (sqrt.f64 1/116) 2)))
(fma.f64 1/116 x 4/29)

eval53.0ms (2.3%)

Compiler: Compiled 1756 to 1486 computations (15.4% saved)

prune26.0ms (1.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	157	2	159
Fresh	1	0	1
Picked	1	0	1
Done	0	3	3
Total	159	5	164

Error

Counts

164 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x 16) 116)
▶	16.6b	(/.f64 (*.f64 (fma.f64 x x -256) 1/116) (+.f64 x -16))
	32.2b	4/29
✓	30.6b	(*.f64 1/116 x)
✓	0.0b	(+.f64 4/29 (*.f64 1/116 x))

Compiler

Compiled 29 to 23 computations (20.7% saved)

localize30.0ms (1.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (fma.f64 x x -256) 1/116)
✓	15.5b	(/.f64 (*.f64 (fma.f64 x x -256) 1/116) (+.f64 x -16))

Compiler

Compiled 28 to 19 computations (32.1% saved)

series4.0ms (0.2%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(/.f64 (*.f64 (fma.f64 x x -256) 1/116) (+.f64 x -16))
1.0ms	x	@	inf	(/.f64 (*.f64 (fma.f64 x x -256) 1/116) (+.f64 x -16))
1.0ms	x	@	-inf	(/.f64 (*.f64 (fma.f64 x x -256) 1/116) (+.f64 x -16))
0.0ms	x	@	inf	(*.f64 (fma.f64 x x -256) 1/116)
0.0ms	x	@	-inf	(*.f64 (fma.f64 x x -256) 1/116)

rewrite88.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

600×	`unpow-prod-down_binary64`
440×	`log-prod_binary64`
343×	`exp-prod_binary64`
249×	`pow-prod-down_binary64`
249×	`pow2_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	22
1	201	15
2	2600	15

Stop Event

1×	node limit

Counts

2 → 127

Calls

Call 1

Inputs
(/.f64 (*.f64 (fma.f64 x x -256) 1/116) (+.f64 x -16))
(*.f64 (fma.f64 x x -256) 1/116)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 1/116 (+.f64 x 16)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 1/116) (+.f64 x 16))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/116) (+.f64 x 16)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/116) (+.f64 x 16)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 1/116) (+.f64 x 16)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 1/116 (+.f64 x 16)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x x -256) (/.f64 1 (*.f64 (+.f64 x -16) 116)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x x -256) (*.f64 1/116 (/.f64 1 (+.f64 x -16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x x -256) (pow.f64 (/.f64 1 (*.f64 (+.f64 x -16) 116)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x x -256) (pow.f64 (*.f64 1/116 (/.f64 1 (+.f64 x -16))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/116 (+.f64 x 16))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/116 (*.f64 (fma.f64 x x -256) (/.f64 1 (+.f64 x -16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/116 (pow.f64 (/.f64 (+.f64 x -16) (fma.f64 x x -256)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (fma.f64 x x -256) 1/116) (/.f64 1 (+.f64 x -16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/116 (+.f64 x 16)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 1/116 (+.f64 x 16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 1/116 (+.f64 x 16))) (cbrt.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 16) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 16) 2))) (cbrt.f64 (*.f64 1/116 (+.f64 x 16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 1/13456 (pow.f64 (fma.f64 x x -256) 2))) (*.f64 (cbrt.f64 (*.f64 (fma.f64 x x -256) 1/116)) (/.f64 1 (+.f64 x -16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 1/116 (+.f64 x 16))) (sqrt.f64 (*.f64 1/116 (+.f64 x 16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 (fma.f64 x x -256) 1/116)) (*.f64 (sqrt.f64 (*.f64 (fma.f64 x x -256) 1/116)) (/.f64 1 (+.f64 x -16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (fma.f64 x x -256) -1/116) (/.f64 1 (+.f64 16 (neg.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (fma.f64 x x -256) -1/116) (pow.f64 (/.f64 1 (+.f64 16 (neg.f64 x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 x -16)) (*.f64 (fma.f64 x x -256) 1/116))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 x -16)) (pow.f64 (/.f64 1 (*.f64 (fma.f64 x x -256) 1/116)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x 16) 1/116)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fma.f64 x x -256) 1) (/.f64 1/116 (+.f64 x -16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (*.f64 1/13456 (pow.f64 (fma.f64 x x -256) 2))) 1) (/.f64 (cbrt.f64 (*.f64 (fma.f64 x x -256) 1/116)) (+.f64 x -16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (*.f64 (fma.f64 x x -256) 1/116)) 1) (/.f64 (sqrt.f64 (*.f64 (fma.f64 x x -256) 1/116)) (+.f64 x -16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fma.f64 x x -256) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) (/.f64 1/116 (cbrt.f64 (+.f64 x -16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/116 (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) (/.f64 (fma.f64 x x -256) (cbrt.f64 (+.f64 x -16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (+.f64 x -16)) -2) (/.f64 (*.f64 (fma.f64 x x -256) 1/116) (cbrt.f64 (+.f64 x -16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (*.f64 1/13456 (pow.f64 (fma.f64 x x -256) 2))) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) (cbrt.f64 (*.f64 1/116 (+.f64 x 16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (*.f64 (fma.f64 x x -256) 1/116)) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) (/.f64 (sqrt.f64 (*.f64 (fma.f64 x x -256) 1/116)) (cbrt.f64 (+.f64 x -16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fma.f64 x x -256) (sqrt.f64 (+.f64 x -16))) (/.f64 1/116 (sqrt.f64 (+.f64 x -16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/116 (sqrt.f64 (+.f64 x -16))) (/.f64 (fma.f64 x x -256) (sqrt.f64 (+.f64 x -16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (+.f64 x -16) -1/2) (/.f64 (*.f64 (fma.f64 x x -256) 1/116) (sqrt.f64 (+.f64 x -16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (*.f64 1/13456 (pow.f64 (fma.f64 x x -256) 2))) (sqrt.f64 (+.f64 x -16))) (/.f64 (cbrt.f64 (*.f64 (fma.f64 x x -256) 1/116)) (sqrt.f64 (+.f64 x -16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (fma.f64 x x -256) 1/116) (+.f64 -4096 (pow.f64 x 3))) (-.f64 (fma.f64 x x 256) (*.f64 x -16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (fma.f64 x x -256) 1/116) (fma.f64 x x -256)) (+.f64 x 16))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (*.f64 1/116 (+.f64 x 16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (fma.f64 x x -256) 1) 1) (pow.f64 (/.f64 1/116 (+.f64 x -16)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (cbrt.f64 (*.f64 1/13456 (pow.f64 (fma.f64 x x -256) 2))) 1) 1) (pow.f64 (/.f64 (cbrt.f64 (*.f64 (fma.f64 x x -256) 1/116)) (+.f64 x -16)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (sqrt.f64 (*.f64 (fma.f64 x x -256) 1/116)) 1) 1) (pow.f64 (/.f64 (sqrt.f64 (*.f64 (fma.f64 x x -256) 1/116)) (+.f64 x -16)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (fma.f64 x x -256) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) 1) (pow.f64 (/.f64 1/116 (cbrt.f64 (+.f64 x -16))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 1/116 (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) 1) (pow.f64 (/.f64 (fma.f64 x x -256) (cbrt.f64 (+.f64 x -16))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 x -16)) -2) 1) (pow.f64 (/.f64 (*.f64 (fma.f64 x x -256) 1/116) (cbrt.f64 (+.f64 x -16))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (cbrt.f64 (*.f64 1/13456 (pow.f64 (fma.f64 x x -256) 2))) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) 1) (cbrt.f64 (*.f64 1/116 (+.f64 x 16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (sqrt.f64 (*.f64 (fma.f64 x x -256) 1/116)) (pow.f64 (cbrt.f64 (+.f64 x -16)) 2)) 1) (pow.f64 (/.f64 (sqrt.f64 (*.f64 (fma.f64 x x -256) 1/116)) (cbrt.f64 (+.f64 x -16))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (fma.f64 x x -256) (sqrt.f64 (+.f64 x -16))) 1) (pow.f64 (/.f64 1/116 (sqrt.f64 (+.f64 x -16))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 1/116 (sqrt.f64 (+.f64 x -16))) 1) (pow.f64 (/.f64 (fma.f64 x x -256) (sqrt.f64 (+.f64 x -16))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (+.f64 x -16) -1/2) 1) (pow.f64 (/.f64 (*.f64 (fma.f64 x x -256) 1/116) (sqrt.f64 (+.f64 x -16))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (cbrt.f64 (*.f64 1/13456 (pow.f64 (fma.f64 x x -256) 2))) (sqrt.f64 (+.f64 x -16))) 1) (pow.f64 (/.f64 (cbrt.f64 (*.f64 (fma.f64 x x -256) 1/116)) (sqrt.f64 (+.f64 x -16))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (*.f64 (fma.f64 x x -256) 1/116) (+.f64 -4096 (pow.f64 x 3))) 1) (-.f64 (fma.f64 x x 256) (*.f64 x -16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (*.f64 (fma.f64 x x -256) 1/116) (fma.f64 x x -256)) 1) (+.f64 x 16))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (*.f64 1/1560896 (pow.f64 (+.f64 x 16) 3))) 1/3) (pow.f64 (sqrt.f64 (*.f64 1/1560896 (pow.f64 (+.f64 x 16) 3))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 16) 2)) (*.f64 (fma.f64 x x -256) 1/116)) 1/3) (cbrt.f64 (/.f64 1 (+.f64 x -16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 (*.f64 1/116 (+.f64 x 16)) (cbrt.f64 (*.f64 1/116 (+.f64 x 16)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 1/116 (+.f64 x 16)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 1/116 (+.f64 x 16)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (*.f64 1/116 (+.f64 x 16)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 1/116 (+.f64 x 16)))) 2) 3) (cbrt.f64 (*.f64 1/116 (+.f64 x 16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 1/116 (+.f64 x 16)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 1/116 (+.f64 x 16)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 1 (*.f64 1/116 (+.f64 x 16)))) 2) -1) (cbrt.f64 (*.f64 1/116 (+.f64 x 16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 1 (fma.f64 x x -256)) -1) (/.f64 1 (*.f64 (+.f64 x -16) 116)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 x -16)) 2) (fma.f64 x x -256)) -1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 x -16)) 1/116) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 x -16)) (fma.f64 x x -256)) -1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 x -16)) 1/116) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 x -16)) 1/116) -1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 x -16)) (fma.f64 x x -256)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 x -16)) 2) 1/116) -1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 x -16)) (fma.f64 x x -256)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 x -16)) 2) 1) -1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 x -16)) (*.f64 (fma.f64 x x -256) 1/116)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 x -16)) 1) -1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 x -16)) (*.f64 (fma.f64 x x -256) 1/116)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 (fma.f64 x x -256) 1/116)) -2) -1) (pow.f64 (/.f64 (+.f64 x -16) (cbrt.f64 (*.f64 (fma.f64 x x -256) 1/116))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 x -16)) 2) (cbrt.f64 (*.f64 1/13456 (pow.f64 (fma.f64 x x -256) 2)))) -1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 x -16)) (cbrt.f64 (*.f64 (fma.f64 x x -256) 1/116))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 x -16)) (cbrt.f64 (*.f64 1/13456 (pow.f64 (fma.f64 x x -256) 2)))) -1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 x -16)) (cbrt.f64 (*.f64 (fma.f64 x x -256) 1/116))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (*.f64 (fma.f64 x x -256) 1/116) -1/2) -1) (pow.f64 (/.f64 (+.f64 x -16) (sqrt.f64 (*.f64 (fma.f64 x x -256) 1/116))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 x -16)) 2) (sqrt.f64 (*.f64 (fma.f64 x x -256) 1/116))) -1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 x -16)) (sqrt.f64 (*.f64 (fma.f64 x x -256) 1/116))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 x -16)) (sqrt.f64 (*.f64 (fma.f64 x x -256) 1/116))) -1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 x -16)) (sqrt.f64 (*.f64 (fma.f64 x x -256) 1/116))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/116 (+.f64 x 16)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 16) 2)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/1560896 (pow.f64 (+.f64 x 16) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 1/116 (+.f64 x 16))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 1/116 (+.f64 x 16))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (*.f64 1/116 (+.f64 x 16))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (log.f64 (*.f64 1/116 (+.f64 x 16))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (*.f64 1/1560896 (pow.f64 (fma.f64 x x -256) 3)) (pow.f64 (+.f64 x -16) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 1 (*.f64 1/116 (+.f64 x 16))) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 1/116 (+.f64 x 16)))) 2)) (cbrt.f64 (log.f64 (*.f64 1/116 (+.f64 x 16)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 1/116 (+.f64 x 16))))) (sqrt.f64 (log.f64 (*.f64 1/116 (+.f64 x 16)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (*.f64 (fma.f64 x x -256) 1/116) (+.f64 16 (neg.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 1/13456 (pow.f64 (+.f64 x 16) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 1/116) (+.f64 x 16)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 1/116 (+.f64 x 16)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 1/1560896 (pow.f64 (+.f64 x 16) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (*.f64 1/1560896 (pow.f64 (fma.f64 x x -256) 3)) (pow.f64 (+.f64 x -16) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 1/116 (+.f64 x 16))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 1/116 (+.f64 x 16))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 1/116 (+.f64 x 16))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 1/116 (+.f64 x 16))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 1/116 (+.f64 x 16)))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 1/116 (+.f64 x 16)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 1/116 (+.f64 x 16)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (neg.f64 (log.f64 (*.f64 1/116 (+.f64 x 16)))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 1/116 (+.f64 x 16))) 1) 1))))))

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

simplify194.0ms (8.3%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
560×	`cube-prod_binary64`
557×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
449×	`associate-l_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	159
1	23	141
2	36	141
3	57	141
4	123	141
5	359	141
6	1321	141
7	2233	141
8	2397	141
9	2581	141
10	2789	141
11	3087	141
12	3482	141
13	3965	141
14	4531	141
15	5219	141
16	6054	141
17	6448	141
18	6740	141
19	7018	141
20	7090	141
21	7126	141

Stop Event

1×	node limit

Counts

151 → 136

Calls

Call 1

Inputs
4/29
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 1/116 x))
-64/29
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(*.f64 1/116 (pow.f64 x 2))
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(*.f64 1/116 (pow.f64 x 2))
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)

Outputs
4/29
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(*.f64 1/116 x)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
-64/29
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(fma.f64 1/116 (*.f64 x x) -64/29)
(fma.f64 x (*.f64 1/116 x) -64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(fma.f64 1/116 (*.f64 x x) -64/29)
(fma.f64 x (*.f64 1/116 x) -64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(fma.f64 1/116 (*.f64 x x) -64/29)
(fma.f64 x (*.f64 1/116 x) -64/29)
(*.f64 1/116 (pow.f64 x 2))
(.f64 1/116 (.f64 x x))
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(fma.f64 1/116 (*.f64 x x) -64/29)
(fma.f64 x (*.f64 1/116 x) -64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(fma.f64 1/116 (*.f64 x x) -64/29)
(fma.f64 x (*.f64 1/116 x) -64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(fma.f64 1/116 (*.f64 x x) -64/29)
(fma.f64 x (*.f64 1/116 x) -64/29)
(*.f64 1/116 (pow.f64 x 2))
(.f64 1/116 (.f64 x x))
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(fma.f64 1/116 (*.f64 x x) -64/29)
(fma.f64 x (*.f64 1/116 x) -64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(fma.f64 1/116 (*.f64 x x) -64/29)
(fma.f64 x (*.f64 1/116 x) -64/29)
(-.f64 (*.f64 1/116 (pow.f64 x 2)) 64/29)
(fma.f64 1/116 (*.f64 x x) -64/29)
(fma.f64 x (*.f64 1/116 x) -64/29)

eval105.0ms (4.5%)

Compiler: Compiled 2095 to 1683 computations (19.7% saved)

prune32.0ms (1.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	135	1	136
Fresh	0	1	1
Picked	1	0	1
Done	0	3	3
Total	136	5	141

Error

Counts

141 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x 16) 116)
	32.2b	4/29
▶	32.4b	(/.f64 -64/29 (+.f64 x -16))
✓	30.6b	(*.f64 1/116 x)
✓	0.0b	(+.f64 4/29 (*.f64 1/116 x))

Compiler

Compiled 24 to 20 computations (16.7% saved)

localize9.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 -64/29 (+.f64 x -16))

Compiler

Compiled 12 to 9 computations (25% saved)

series3.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(/.f64 -64/29 (+.f64 x -16))
1.0ms	x	@	0	(/.f64 -64/29 (+.f64 x -16))
1.0ms	x	@	-inf	(/.f64 -64/29 (+.f64 x -16))

rewrite63.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

702×	`pow1_binary64`
666×	`add-log-exp_binary64`
666×	`log1p-expm1-u_binary64`
666×	`expm1-log1p-u_binary64`
656×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	139	7
2	1744	7

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

Inputs
(/.f64 -64/29 (+.f64 x -16))

Outputs

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

simplify59.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

724×	`fma-neg_binary64`
686×	`times-frac_binary64`
451×	`fma-def_binary64`
419×	`cancel-sign-sub-inv_binary64`
413×	`associate-*l/_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	44	195
1	114	181
2	311	178
3	1003	171
4	3039	171

Stop Event

1×	node limit

Counts

34 → 36

Calls

Call 1

Inputs
4/29
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (+.f64 (.f64 1/116 x) (.f64 1/1856 (pow.f64 x 2))))
(+.f64 4/29 (+.f64 (.f64 1/116 x) (+.f64 (.f64 1/1856 (pow.f64 x 2)) (*.f64 1/29696 (pow.f64 x 3)))))
(/.f64 -64/29 x)
(neg.f64 (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (.f64 64/29 (/.f64 1 x))))
(neg.f64 (+.f64 (.f64 16384/29 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (*.f64 64/29 (/.f64 1 x)))))
(neg.f64 (+.f64 (.f64 16384/29 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (+.f64 (.f64 64/29 (/.f64 1 x)) (.f64 262144/29 (/.f64 1 (pow.f64 x 4)))))))
(/.f64 -64/29 x)
(neg.f64 (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (.f64 64/29 (/.f64 1 x))))
(neg.f64 (+.f64 (.f64 16384/29 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (*.f64 64/29 (/.f64 1 x)))))
(neg.f64 (+.f64 (.f64 16384/29 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (+.f64 (.f64 64/29 (/.f64 1 x)) (.f64 262144/29 (/.f64 1 (pow.f64 x 4)))))))

Outputs
4/29
(+.f64 4/29 (*.f64 1/116 x))
(fma.f64 1/116 x 4/29)
(+.f64 4/29 (+.f64 (.f64 1/116 x) (.f64 1/1856 (pow.f64 x 2))))
(+.f64 4/29 (fma.f64 1/116 x (.f64 1/1856 (.f64 x x))))
(+.f64 4/29 (fma.f64 1/116 x (.f64 x (.f64 x 1/1856))))
(fma.f64 x (*.f64 x 1/1856) (fma.f64 1/116 x 4/29))
(fma.f64 x (fma.f64 x 1/1856 1/116) 4/29)
(+.f64 4/29 (+.f64 (.f64 1/116 x) (+.f64 (.f64 1/1856 (pow.f64 x 2)) (*.f64 1/29696 (pow.f64 x 3)))))
(+.f64 4/29 (fma.f64 1/116 x (fma.f64 1/1856 (.f64 x x) (.f64 1/29696 (pow.f64 x 3)))))
(+.f64 4/29 (fma.f64 1/116 x (.f64 (.f64 x x) (+.f64 (*.f64 x 1/29696) 1/1856))))
(fma.f64 x (fma.f64 x 1/1856 1/116) (fma.f64 1/29696 (pow.f64 x 3) 4/29))
(fma.f64 (*.f64 x x) (fma.f64 x 1/29696 1/1856) (fma.f64 1/116 x 4/29))
(/.f64 -64/29 x)
(neg.f64 (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (.f64 64/29 (/.f64 1 x))))
(neg.f64 (+.f64 (/.f64 1024/29 (*.f64 x x)) (/.f64 64/29 x)))
(+.f64 (/.f64 -1024/29 (*.f64 x x)) (/.f64 -64/29 x))
(-.f64 (/.f64 -64/29 x) (/.f64 1024/29 (*.f64 x x)))
(neg.f64 (+.f64 (.f64 16384/29 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (*.f64 64/29 (/.f64 1 x)))))
(neg.f64 (+.f64 (+.f64 (/.f64 1024/29 (*.f64 x x)) (/.f64 64/29 x)) (/.f64 16384/29 (pow.f64 x 3))))
(+.f64 (+.f64 (/.f64 -16384/29 (pow.f64 x 3)) (/.f64 -1024/29 (*.f64 x x))) (/.f64 -64/29 x))
(+.f64 (/.f64 -64/29 x) (+.f64 (/.f64 -1024/29 (*.f64 x x)) (/.f64 -16384/29 (pow.f64 x 3))))
(+.f64 (-.f64 (/.f64 -64/29 x) (/.f64 1024/29 (*.f64 x x))) (/.f64 -16384/29 (pow.f64 x 3)))
(-.f64 (/.f64 -64/29 x) (*.f64 (/.f64 (/.f64 1 x) x) (-.f64 1024/29 (/.f64 -16384/29 x))))
(neg.f64 (+.f64 (.f64 16384/29 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (+.f64 (.f64 64/29 (/.f64 1 x)) (.f64 262144/29 (/.f64 1 (pow.f64 x 4)))))))
(neg.f64 (+.f64 (/.f64 16384/29 (pow.f64 x 3)) (+.f64 (/.f64 1024/29 (*.f64 x x)) (+.f64 (/.f64 64/29 x) (/.f64 262144/29 (pow.f64 x 4))))))
(-.f64 (/.f64 -16384/29 (pow.f64 x 3)) (+.f64 (/.f64 1024/29 (*.f64 x x)) (+.f64 (/.f64 64/29 x) (/.f64 262144/29 (pow.f64 x 4)))))
(+.f64 (+.f64 (/.f64 -1024/29 (*.f64 x x)) (/.f64 -64/29 x)) (+.f64 (/.f64 -262144/29 (pow.f64 x 4)) (/.f64 -16384/29 (pow.f64 x 3))))
(+.f64 (-.f64 (/.f64 -64/29 x) (/.f64 1024/29 (*.f64 x x))) (-.f64 (/.f64 -16384/29 (pow.f64 x 3)) (/.f64 262144/29 (pow.f64 x 4))))
(+.f64 (+.f64 (/.f64 -1024/29 (.f64 x x)) (/.f64 -64/29 x)) (.f64 (/.f64 1 (pow.f64 x 3)) (-.f64 -16384/29 (/.f64 262144/29 x))))
(/.f64 -64/29 x)
(neg.f64 (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (.f64 64/29 (/.f64 1 x))))
(neg.f64 (+.f64 (/.f64 1024/29 (*.f64 x x)) (/.f64 64/29 x)))
(+.f64 (/.f64 -1024/29 (*.f64 x x)) (/.f64 -64/29 x))
(-.f64 (/.f64 -64/29 x) (/.f64 1024/29 (*.f64 x x)))
(neg.f64 (+.f64 (.f64 16384/29 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (*.f64 64/29 (/.f64 1 x)))))
(neg.f64 (+.f64 (+.f64 (/.f64 1024/29 (*.f64 x x)) (/.f64 64/29 x)) (/.f64 16384/29 (pow.f64 x 3))))
(+.f64 (+.f64 (/.f64 -16384/29 (pow.f64 x 3)) (/.f64 -1024/29 (*.f64 x x))) (/.f64 -64/29 x))
(+.f64 (/.f64 -64/29 x) (+.f64 (/.f64 -1024/29 (*.f64 x x)) (/.f64 -16384/29 (pow.f64 x 3))))
(+.f64 (-.f64 (/.f64 -64/29 x) (/.f64 1024/29 (*.f64 x x))) (/.f64 -16384/29 (pow.f64 x 3)))
(-.f64 (/.f64 -64/29 x) (*.f64 (/.f64 (/.f64 1 x) x) (-.f64 1024/29 (/.f64 -16384/29 x))))
(neg.f64 (+.f64 (.f64 16384/29 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1024/29 (/.f64 1 (pow.f64 x 2))) (+.f64 (.f64 64/29 (/.f64 1 x)) (.f64 262144/29 (/.f64 1 (pow.f64 x 4)))))))
(neg.f64 (+.f64 (/.f64 16384/29 (pow.f64 x 3)) (+.f64 (/.f64 1024/29 (*.f64 x x)) (+.f64 (/.f64 64/29 x) (/.f64 262144/29 (pow.f64 x 4))))))
(-.f64 (/.f64 -16384/29 (pow.f64 x 3)) (+.f64 (/.f64 1024/29 (*.f64 x x)) (+.f64 (/.f64 64/29 x) (/.f64 262144/29 (pow.f64 x 4)))))
(+.f64 (+.f64 (/.f64 -1024/29 (*.f64 x x)) (/.f64 -64/29 x)) (+.f64 (/.f64 -262144/29 (pow.f64 x 4)) (/.f64 -16384/29 (pow.f64 x 3))))
(+.f64 (-.f64 (/.f64 -64/29 x) (/.f64 1024/29 (*.f64 x x))) (-.f64 (/.f64 -16384/29 (pow.f64 x 3)) (/.f64 262144/29 (pow.f64 x 4))))
(+.f64 (+.f64 (/.f64 -1024/29 (.f64 x x)) (/.f64 -64/29 x)) (.f64 (/.f64 1 (pow.f64 x 3)) (-.f64 -16384/29 (/.f64 262144/29 x))))

eval10.0ms (0.4%)

Compiler: Compiled 369 to 302 computations (18.2% saved)

prune14.0ms (0.6%)

Pruning

5 alts after pruning (1 fresh and 4 done)

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

Error

Counts

41 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x 16) 116)
	32.2b	4/29
✓	32.4b	(/.f64 -64/29 (+.f64 x -16))
✓	30.6b	(*.f64 1/116 x)
✓	0.0b	(+.f64 4/29 (*.f64 1/116 x))

Compiler

Compiled 24 to 20 computations (16.7% saved)

regimes18.0ms (0.8%)

Counts

9 → 1

Calls

Call 1

Inputs
4/29
4/29
4/29
(*.f64 1/116 x)
(/.f64 -64/29 (+.f64 x -16))
(+.f64 4/29 (*.f64 1/116 x))
(/.f64 (+.f64 x 16) 116)
(/.f64 (*.f64 (fma.f64 x x -256) 1/116) (+.f64 x -16))
(pow.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)

Outputs
(/.f64 (+.f64 x 16) 116)

Calls

3 calls:

6.0ms	x
5.0ms	(+.f64 x 16)
4.0ms	(/.f64 (+.f64 x 16) 116)

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`(/.f64 (+.f64 x 16) 116)`
0.0b	1	`(+.f64 x 16)`

Compiler

Compiled 52 to 41 computations (21.2% saved)

regimes6.0ms (0.3%)

Counts

6 → 1

Calls

Call 1

Inputs
4/29
4/29
4/29
(*.f64 1/116 x)
(/.f64 -64/29 (+.f64 x -16))
(+.f64 4/29 (*.f64 1/116 x))

Outputs
(+.f64 4/29 (*.f64 1/116 x))

Calls

1 calls:

5.0ms

Results

Error	Segments	Branch
0.0b	1	`x`

Compiler

Compiled 19 to 15 computations (21.1% saved)

regimes14.0ms (0.6%)

Counts

5 → 3

Calls

Call 1

Inputs
4/29
4/29
4/29
(*.f64 1/116 x)
(/.f64 -64/29 (+.f64 x -16))

Outputs
(*.f64 1/116 x)
(/.f64 -64/29 (+.f64 x -16))
(*.f64 1/116 x)

Calls

1 calls:

13.0ms

Results

Error	Segments	Branch
0.8b	3	`x`

Compiler

Compiled 14 to 11 computations (21.4% saved)

bsearch29.0ms (1.2%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	7.357464671497419e-7	68715.65870822774
13.0ms	-216712653.40025404	-0.0032733772091323274

Compiler

Compiled 10 to 8 computations (20% saved)

regimes12.0ms (0.5%)

Counts

4 → 3

Calls

Call 1

Inputs
4/29
4/29
4/29
(*.f64 1/116 x)

Outputs
(*.f64 1/116 x)
4/29
(*.f64 1/116 x)

Calls

1 calls:

11.0ms

Results

Error	Segments	Branch
1.1b	3	`x`

Compiler

Compiled 9 to 7 computations (22.2% saved)

bsearch27.0ms (1.2%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
13.0ms	7.357464671497419e-7	68715.65870822774
13.0ms	-216712653.40025404	-0.0032733772091323274

Compiler

Compiled 10 to 8 computations (20% saved)

regimes4.0ms (0.2%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

3 → 1

Calls

Call 1

Inputs
4/29
4/29
4/29

Outputs
4/29

Calls

1 calls:

3.0ms

Results

Error	Segments	Branch
32.2b	1	`x`

Compiler

Compiled 6 to 5 computations (16.7% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	63
1	27	63

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(/.f64 (+.f64 x 16) 116)
(+.f64 4/29 (*.f64 1/116 x))
(if (<=.f64 x -7271669992058393/33554432) (.f64 1/116 x) (if (<=.f64 x 6948928912715387/9444732965739290427392) (/.f64 -64/29 (+.f64 x -16)) (.f64 1/116 x)))
(if (<=.f64 x -7271669992058393/33554432) (.f64 1/116 x) (if (<=.f64 x 6948928912715387/9444732965739290427392) 4/29 (.f64 1/116 x)))
4/29

Outputs
(/.f64 (+.f64 x 16) 116)
(+.f64 4/29 (*.f64 1/116 x))
(+.f64 4/29 (*.f64 x 1/116))
(if (<=.f64 x -7271669992058393/33554432) (.f64 1/116 x) (if (<=.f64 x 6948928912715387/9444732965739290427392) (/.f64 -64/29 (+.f64 x -16)) (.f64 1/116 x)))
(if (<=.f64 x -7271669992058393/33554432) (.f64 x 1/116) (if (<=.f64 x 6948928912715387/9444732965739290427392) (/.f64 -64/29 (+.f64 x -16)) (.f64 x 1/116)))
(if (<=.f64 x -7271669992058393/33554432) (.f64 1/116 x) (if (<=.f64 x 6948928912715387/9444732965739290427392) 4/29 (.f64 1/116 x)))
(if (<=.f64 x -7271669992058393/33554432) (.f64 x 1/116) (if (<=.f64 x 6948928912715387/9444732965739290427392) 4/29 (.f64 x 1/116)))
4/29

Compiler

Compiled 50 to 39 computations (22% saved)

soundness0.0ms (0%)

end39.0ms (1.7%)

Compiler: Compiled 46 to 35 computations (23.9% saved)

Details

analyze3.0ms (0.1%)

sample982.0ms (41.8%)

preprocess14.0ms (0.6%)

simplify8.0ms (0.4%)

eval0.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.2%)

series1.0ms (0.1%)

rewrite48.0ms (2.1%)

simplify8.0ms (0.3%)

eval6.0ms (0.3%)

prune6.0ms (0.3%)

localize3.0ms (0.1%)

series2.0ms (0.1%)

rewrite53.0ms (2.3%)

simplify7.0ms (0.3%)

localize5.0ms (0.2%)

series1.0ms (0%)

rewrite127.0ms (5.4%)

simplify7.0ms (0.3%)

localize12.0ms (0.5%)

series6.0ms (0.3%)

rewrite76.0ms (3.2%)

simplify120.0ms (5.1%)

eval53.0ms (2.3%)

prune26.0ms (1.1%)

localize30.0ms (1.3%)

series4.0ms (0.2%)

rewrite88.0ms (3.7%)

simplify194.0ms (8.3%)

eval105.0ms (4.5%)

prune32.0ms (1.4%)

localize9.0ms (0.4%)

series3.0ms (0.1%)

rewrite63.0ms (2.7%)

simplify59.0ms (2.5%)

eval10.0ms (0.4%)

prune14.0ms (0.6%)

regimes18.0ms (0.8%)

regimes6.0ms (0.3%)

regimes14.0ms (0.6%)

bsearch29.0ms (1.2%)

regimes12.0ms (0.5%)

bsearch27.0ms (1.2%)

regimes4.0ms (0.2%)

simplify5.0ms (0.2%)

soundness0.0ms (0%)

end39.0ms (1.7%)

Profiling