Details

analyze3.0ms (0.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample580.0ms (63.3%)

Results

568.0ms

8256×

body

128

valid

Compiler

Compiled 14 to 12 computations (14.3% saved)

preprocess18.0ms (1.9%)

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 6 to 5 computations (16.7% saved)

simplify6.0ms (0.6%)

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)

prune1.0ms (0.1%)

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

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

Compiler

Compiled 18 to 15 computations (16.7% saved)

localize3.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series2.0ms (0.2%)

Counts

1 → 12

Calls

3 calls:

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

rewrite36.0ms (3.9%)

Algorithm

1×	batch-egg-rewrite

Rules

695×	`pow1_binary64`
664×	`add-log-exp_binary64`
664×	`log1p-expm1-u_binary64`
664×	`expm1-log1p-u_binary64`
67×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 24

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.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 (pow.f64 (.f64 (+.f64 x 16) 1/116) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (.f64 (+.f64 x 16) 1/116) 2)) (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 (neg.f64 (+.f64 x 16)) -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 (pow.f64 (.f64 (+.f64 x 16) 1/116) 2))))) (#(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 log.f64 (+.f64 1 (expm1.f64 (.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 (exp.f64 (log1p.f64 (*.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 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 2)) (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 (neg.f64 (+.f64 x 16)) -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 (pow.f64 (*.f64 (+.f64 x 16) 1/116) 2))))) (#(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 log.f64 (+.f64 1 (expm1.f64 (*.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)))))))

simplify9.0ms (1%)

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

36 → 28

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)

prune15.0ms (1.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	26	2	28
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	26	3	29

Error

Counts

29 → 3

Alt Table

Status	Error	Program
▶	0.1b	(fma.f64 1/116 x 4/29)
✓	0.0b	(/.f64 (+.f64 x 16) 116)
	15.6b	(pow.f64 (sqrt.f64 (*.f64 (+.f64 x 16) 1/116)) 2)

Compiler

Compiled 252 to 215 computations (14.7% saved)

localize4.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

series1.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite29.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

434×	`pow1_binary64`
407×	`add-log-exp_binary64`
407×	`log1p-expm1-u_binary64`
407×	`expm1-log1p-u_binary64`
401×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	5
1	102	5
2	1072	5

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

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

Outputs
((#(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 (.f64 1/116 x) 1) 4/29)))) (#(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 (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)) (cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.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 (pow.f64 (.f64 1/116 x) 3) 64/24389) (+.f64 (.f64 (.f64 1/116 x) (.f64 1/116 x)) (-.f64 16/841 (.f64 (.f64 1/116 x) 4/29))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 1/116 x) (.f64 1/116 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)))))))

Outputs

((#(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 (*.f64 1/116 x) 1) 4/29)))) (#(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 (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)) (cbrt.f64 (pow.f64 (fma.f64 1/116 x 4/29) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.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 (pow.f64 (*.f64 1/116 x) 3) 64/24389) (+.f64 (*.f64 (*.f64 1/116 x) (*.f64 1/116 x)) (-.f64 16/841 (*.f64 (*.f64 1/116 x) 4/29))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 1/116 x) (*.f64 1/116 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)))))))

simplify7.0ms (0.8%)

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

33 → 24

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)

prune14.0ms (1.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	23	1	24
Fresh	1	0	1
Picked	1	0	1
Done	0	1	1
Total	25	2	27

Error

Counts

27 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x 16) 116)
▶	15.6b	(pow.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) 2)

Compiler

Compiled 209 to 175 computations (16.3% saved)

localize4.0ms (0.5%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (fma.f64 1/116 x 4/29))
	0.1b	(fma.f64 1/116 x 4/29)
✓	0.1b	(pow.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) 2)

series11.0ms (1.2%)

Counts

2 → 8

Calls

6 calls:

Time	Variable		Point	Expression
5.0ms	x	@	0	(pow.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) 2)
2.0ms	x	@	-inf	(sqrt.f64 (fma.f64 1/116 x 4/29))
2.0ms	x	@	inf	(pow.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) 2)
1.0ms	x	@	inf	(sqrt.f64 (fma.f64 1/116 x 4/29))
1.0ms	x	@	-inf	(pow.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) 2)

rewrite36.0ms (4%)

Algorithm

1×	batch-egg-rewrite

Rules

580×	`pow1_binary64`
545×	`add-log-exp_binary64`
545×	`log1p-expm1-u_binary64`
545×	`expm1-log1p-u_binary64`
535×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	12
1	167	12
2	1502	12

Stop Event

1×	node limit

Counts

2 → 42

Calls

Call 1

Inputs
(pow.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) 2)
(sqrt.f64 (fma.f64 1/116 x 4/29))

Outputs

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

simplify30.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

846×	`fma-neg_binary64`
542×	`times-frac_binary64`
389×	`associate-/l*_binary64`
324×	`fma-def_binary64`
259×	`associate-/r*_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	29	136
1	81	100
2	220	98
3	794	86
4	4527	86

Stop Event

1×	node limit

Counts

50 → 52

Calls

Call 1

Inputs
(pow.f64 (sqrt.f64 4/29) 2)
(+.f64 (pow.f64 (sqrt.f64 4/29) 2) (*.f64 1/116 x))
(+.f64 (pow.f64 (sqrt.f64 4/29) 2) (*.f64 1/116 x))
(+.f64 (pow.f64 (sqrt.f64 4/29) 2) (*.f64 1/116 x))
(sqrt.f64 4/29)
(+.f64 (sqrt.f64 4/29) (*.f64 1/232 (/.f64 x (sqrt.f64 4/29))))
(-.f64 (+.f64 (sqrt.f64 4/29) (.f64 1/232 (/.f64 x (sqrt.f64 4/29)))) (.f64 1/107648 (/.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 4/29) 3))))
(-.f64 (+.f64 (sqrt.f64 4/29) (+.f64 (.f64 1/232 (/.f64 x (sqrt.f64 4/29))) (.f64 1/24974336 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 4/29) 5))))) (*.f64 1/107648 (/.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 4/29) 3))))

Outputs
(pow.f64 (sqrt.f64 4/29) 2)
4/29
(+.f64 (pow.f64 (sqrt.f64 4/29) 2) (*.f64 1/116 x))
(+.f64 (*.f64 1/116 x) (pow.f64 (sqrt.f64 4/29) 2))
(fma.f64 1/116 x 4/29)
(+.f64 (pow.f64 (sqrt.f64 4/29) 2) (*.f64 1/116 x))
(+.f64 (*.f64 1/116 x) (pow.f64 (sqrt.f64 4/29) 2))
(fma.f64 1/116 x 4/29)
(+.f64 (pow.f64 (sqrt.f64 4/29) 2) (*.f64 1/116 x))
(+.f64 (*.f64 1/116 x) (pow.f64 (sqrt.f64 4/29) 2))
(fma.f64 1/116 x 4/29)
(sqrt.f64 4/29)
(+.f64 (sqrt.f64 4/29) (*.f64 1/232 (/.f64 x (sqrt.f64 4/29))))
(fma.f64 1/232 (/.f64 x (sqrt.f64 4/29)) (sqrt.f64 4/29))
(-.f64 (+.f64 (sqrt.f64 4/29) (.f64 1/232 (/.f64 x (sqrt.f64 4/29)))) (.f64 1/107648 (/.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 4/29) 3))))
(+.f64 (sqrt.f64 4/29) (-.f64 (.f64 1/232 (/.f64 x (sqrt.f64 4/29))) (.f64 1/107648 (/.f64 (*.f64 x x) (pow.f64 (sqrt.f64 4/29) 3)))))
(-.f64 (fma.f64 1/232 (/.f64 x (sqrt.f64 4/29)) (sqrt.f64 4/29)) (.f64 1/14848 (/.f64 (.f64 x x) (sqrt.f64 4/29))))
(+.f64 (sqrt.f64 4/29) (fma.f64 1/232 (/.f64 x (sqrt.f64 4/29)) (*.f64 -1/14848 (/.f64 x (/.f64 (sqrt.f64 4/29) x)))))
(+.f64 (sqrt.f64 4/29) (*.f64 (/.f64 x (sqrt.f64 4/29)) (-.f64 1/232 (/.f64 x 14848))))
(-.f64 (+.f64 (sqrt.f64 4/29) (+.f64 (.f64 1/232 (/.f64 x (sqrt.f64 4/29))) (.f64 1/24974336 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 4/29) 5))))) (*.f64 1/107648 (/.f64 (pow.f64 x 2) (pow.f64 (sqrt.f64 4/29) 3))))
(+.f64 (sqrt.f64 4/29) (-.f64 (fma.f64 1/232 (/.f64 x (sqrt.f64 4/29)) (.f64 1/24974336 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 4/29) 5)))) (.f64 1/107648 (/.f64 (*.f64 x x) (pow.f64 (sqrt.f64 4/29) 3)))))
(+.f64 (fma.f64 1/232 (/.f64 x (sqrt.f64 4/29)) (sqrt.f64 4/29)) (-.f64 (.f64 1/24974336 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 4/29) 5))) (.f64 1/14848 (/.f64 (*.f64 x x) (sqrt.f64 4/29)))))
(+.f64 (sqrt.f64 4/29) (fma.f64 1/24974336 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 4/29) 5)) (fma.f64 1/232 (/.f64 x (sqrt.f64 4/29)) (*.f64 -1/14848 (/.f64 x (/.f64 (sqrt.f64 4/29) x))))))
(+.f64 (sqrt.f64 4/29) (fma.f64 1/24974336 (/.f64 (pow.f64 x 3) (pow.f64 (sqrt.f64 4/29) 5)) (*.f64 (/.f64 x (sqrt.f64 4/29)) (-.f64 1/232 (/.f64 x 14848)))))

prune44.0ms (4.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	76	2	78

Error

Counts

78 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x 16) 116)
✓	15.6b	(pow.f64 (sqrt.f64 (fma.f64 1/116 x 4/29)) 2)

Compiler

Compiled 853 to 744 computations (12.8% saved)

regimes25.0ms (2.7%)

Accuracy

Total 0.0b remaining (55.9%)

Threshold costs 0.0b (55.9%)

Counts

14 → 1

Compiler

Compiled 92 to 76 computations (17.4% saved)

simplify2.0ms (0.2%)

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

Calls

Call 1

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

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

end37.0ms (4.1%)

Stop Event

1×

done

Compiler

Compiled 26 to 22 computations (15.4% saved)

Details

analyze3.0ms (0.3%)

sample580.0ms (63.3%)

preprocess18.0ms (1.9%)

simplify6.0ms (0.6%)

prune1.0ms (0.1%)

localize3.0ms (0.3%)

series2.0ms (0.2%)

rewrite36.0ms (3.9%)

simplify9.0ms (1%)

prune15.0ms (1.6%)

localize4.0ms (0.4%)

series1.0ms (0.1%)

rewrite29.0ms (3.1%)

simplify7.0ms (0.8%)

prune14.0ms (1.5%)

localize4.0ms (0.5%)

series11.0ms (1.2%)

rewrite36.0ms (4%)

simplify30.0ms (3.3%)

prune44.0ms (4.8%)

regimes25.0ms (2.7%)

simplify2.0ms (0.2%)

end37.0ms (4.1%)

Profiling