Details

analyze4.0ms (0.3%)

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
75%	18.7%	6.3%	5
75%	9.4%	15.7%	6
75%	4.7%	20.4%	7
75%	2.3%	22.7%	8
75%	1.2%	23.9%	9
75%	0.6%	24.5%	10
75%	0.3%	24.7%	11
75%	0.1%	24.9%	12

Compiler

Compiled 7 to 5 computations (28.6% saved)

sample645.0ms (46%)

Results

631.0ms	8256×	body	256	valid
1.0ms	13×	body	256	invalid

preprocess14.0ms (1%)

Algorithm

2×	egg-herbie

Rules

1×	`associate-/r*_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	9	7
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(/.f64 1 (*.f64 x x))

Outputs
(/.f64 1 (*.f64 x x))

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify6.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

1×	`associate-/r*_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	9	7

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(/.f64 1 (*.f64 x x))

Outputs
(/.f64 1 (*.f64 x x))

eval0.0ms (0%)

Compiler: Compiled 6 to 4 computations (33.3% saved)

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

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.7b	(/.f64 1 (*.f64 x x))

Compiler

Compiled 6 to 4 computations (33.3% saved)

localize6.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 11 to 5 computations (54.5% saved)

series1.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite46.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

405×	`pow1_binary64`
391×	`add-sqr-sqrt_binary64`
382×	`*-un-lft-identity_binary64`
377×	`add-log-exp_binary64`
376×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	100	4
2	1163	4

Stop Event

1×	node limit

Counts

1 → 38

Calls

Call 1

Inputs
(/.f64 1 (*.f64 x x))

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

Outputs

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

simplify160.0ms (11.4%)

Algorithm

1×	egg-herbie

Rules

1118×	`associate-/r*_binary64`
1082×	`sqr-pow_binary64`
560×	`fabs-mul_binary64`
560×	`cube-prod_binary64`
523×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	12	84
2	19	84
3	34	84
4	74	84
5	220	84
6	819	84
7	2028	84
8	2194	84
9	2378	84
10	2586	84
11	2885	84
12	3278	84
13	3759	84
14	4327	84
15	5017	84
16	5856	84
17	6252	84
18	6542	84
19	6816	84
20	6890	84
21	6924	84

Stop Event

1×	node limit

Counts

50 → 40

Calls

Call 1

Inputs
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))

Outputs
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))

eval11.0ms (0.8%)

Compiler: Compiled 356 to 264 computations (25.8% saved)

prune6.0ms (0.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	38	2	40
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	38	3	41

Error

Counts

41 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(pow.f64 x -2)
▶	0.3b	(*.f64 (/.f64 1 x) (/.f64 1 x))
✓	0.7b	(/.f64 1 (*.f64 x x))

Compiler

Compiled 18 to 13 computations (27.8% saved)

localize6.0ms (0.5%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

series1.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite45.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

416×	`pow1_binary64`
402×	`add-sqr-sqrt_binary64`
393×	`*-un-lft-identity_binary64`
388×	`add-log-exp_binary64`
387×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	102	4
2	1211	4

Stop Event

1×	node limit

Counts

1 → 35

Calls

Call 1

Inputs
(*.f64 (/.f64 1 x) (/.f64 1 x))

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

Outputs

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

simplify158.0ms (11.3%)

Algorithm

1×	egg-herbie

Rules

1118×	`associate-/r*_binary64`
1082×	`sqr-pow_binary64`
560×	`fabs-mul_binary64`
560×	`cube-prod_binary64`
523×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	12	84
2	19	84
3	34	84
4	74	84
5	220	84
6	819	84
7	2028	84
8	2194	84
9	2378	84
10	2586	84
11	2885	84
12	3278	84
13	3759	84
14	4327	84
15	5017	84
16	5856	84
17	6252	84
18	6542	84
19	6816	84
20	6890	84
21	6924	84

Stop Event

1×	node limit

Counts

47 → 36

Calls

Call 1

Inputs
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))

Outputs
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))

localize4.0ms (0.3%)

Compiler: Compiled 6 to 4 computations (33.3% saved)

eval8.0ms (0.6%)

Compiler: Compiled 247 to 174 computations (29.6% saved)

prune5.0ms (0.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	35	1	36
Fresh	0	0	0
Picked	0	1	1
Done	1	1	2
Total	36	3	39

Error

Counts

39 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.2b	(/.f64 (/.f64 1 x) x)
✓	0.7b	(/.f64 1 (*.f64 x x))
✓	0b	(pow.f64 x -2)

Compiler

Compiled 16 to 11 computations (31.3% saved)

localize6.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (/.f64 1 x) x)

Compiler

Compiled 11 to 7 computations (36.4% saved)

series1.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite46.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

442×	`pow1_binary64`
424×	`add-sqr-sqrt_binary64`
416×	`*-un-lft-identity_binary64`
411×	`add-log-exp_binary64`
411×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	103	4
2	1247	4

Stop Event

1×	node limit

Counts

1 → 31

Calls

Call 1

Inputs
(/.f64 (/.f64 1 x) x)

Outputs

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

simplify157.0ms (11.2%)

Algorithm

1×	egg-herbie

Rules

1118×	`associate-/r*_binary64`
1082×	`sqr-pow_binary64`
560×	`fabs-mul_binary64`
560×	`cube-prod_binary64`
523×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	12	84
2	19	84
3	34	84
4	74	84
5	220	84
6	819	84
7	2028	84
8	2194	84
9	2378	84
10	2586	84
11	2885	84
12	3278	84
13	3759	84
14	4327	84
15	5017	84
16	5856	84
17	6252	84
18	6542	84
19	6816	84
20	6890	84
21	6924	84

Stop Event

1×	node limit

Counts

43 → 33

Calls

Call 1

Inputs
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 2))

Outputs
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (*.f64 x x))

eval9.0ms (0.6%)

Compiler: Compiled 271 to 197 computations (27.3% saved)

prune5.0ms (0.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

36 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.2b	(/.f64 (/.f64 1 x) x)
✓	0.7b	(/.f64 1 (*.f64 x x))
✓	0b	(pow.f64 x -2)

Compiler

Compiled 16 to 11 computations (31.3% saved)

regimes12.0ms (0.8%)

Counts

4 → 1

Calls

Call 1

Inputs
(/.f64 (/.f64 1 x) x)
(/.f64 1 (*.f64 x x))
(*.f64 (/.f64 1 x) (/.f64 1 x))
(pow.f64 x -2)

Outputs
(pow.f64 x -2)

Calls

3 calls:

4.0ms	x
3.0ms	(*.f64 x x)
3.0ms	(/.f64 1 (*.f64 x x))

Results

Error	Segments	Branch
0b	1	`x`
0b	1	`(/.f64 1 (*.f64 x x))`
0b	1	`(*.f64 x x)`

Compiler

Compiled 33 to 21 computations (36.4% saved)

regimes11.0ms (0.8%)

Accuracy

Total -0.8b remaining (-454.5%)

Threshold costs -0.8b (-454.5%)

Counts

3 → 1

Calls

Call 1

Inputs
(/.f64 (/.f64 1 x) x)
(/.f64 1 (*.f64 x x))
(*.f64 (/.f64 1 x) (/.f64 1 x))

Outputs
(/.f64 (/.f64 1 x) x)

Calls

3 calls:

4.0ms	x
3.0ms	(*.f64 x x)
3.0ms	(/.f64 1 (*.f64 x x))

Results

Error	Segments	Branch
0.2b	1	`x`
0.2b	1	`(/.f64 1 (*.f64 x x))`
0.2b	1	`(*.f64 x x)`

Compiler

Compiled 30 to 19 computations (36.7% saved)

simplify4.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	9	11

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(pow.f64 x -2)
(/.f64 (/.f64 1 x) x)

Outputs
(pow.f64 x -2)
(/.f64 (/.f64 1 x) x)

Compiler

Compiled 10 to 7 computations (30% saved)

soundness0.0ms (0%)

end23.0ms (1.7%)

Compiler: Compiled 9 to 6 computations (33.3% saved)

Details

analyze4.0ms (0.3%)

sample645.0ms (46%)

preprocess14.0ms (1%)

simplify6.0ms (0.5%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize6.0ms (0.4%)

series1.0ms (0.1%)

rewrite46.0ms (3.3%)

simplify160.0ms (11.4%)

eval11.0ms (0.8%)

prune6.0ms (0.4%)

localize6.0ms (0.5%)

series1.0ms (0.1%)

rewrite45.0ms (3.2%)

simplify158.0ms (11.3%)

localize4.0ms (0.3%)

eval8.0ms (0.6%)

prune5.0ms (0.4%)

localize6.0ms (0.4%)

series1.0ms (0.1%)

rewrite46.0ms (3.3%)

simplify157.0ms (11.2%)

eval9.0ms (0.6%)

prune5.0ms (0.3%)

regimes12.0ms (0.8%)

regimes11.0ms (0.8%)

simplify4.0ms (0.3%)

soundness0.0ms (0%)

end23.0ms (1.7%)

Profiling