Details

analyze3.0ms (0.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
0%	0%	50%	0%	25%	25%	0%	3
50%	25%	25%	0%	25%	25%	0%	4
75%	37.5%	12.5%	0%	25%	25%	0%	5
87.5%	43.7%	6.2%	0%	25%	25%	0%	6
93.8%	46.9%	3.1%	0%	25%	25%	0%	7
96.9%	48.4%	1.6%	0%	25%	25%	0%	8
98.4%	49.2%	0.8%	0%	25%	25%	0%	9
99.2%	49.6%	0.4%	0%	25%	25%	0%	10
99.6%	49.8%	0.2%	0%	25%	25%	0%	11
99.8%	49.9%	0.1%	0%	25%	25%	0%	12

Compiler

Compiled 10 to 8 computations (20% saved)

sample2.7s (87.6%)

Results

1.7s	4142×	body	1024	valid
504.0ms	2072×	body	512	valid
259.0ms	412×	body	2048	valid
225.0ms	1630×	body	256	valid
0.0ms	2×	body	256	invalid

Bogosity

preprocess3.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

26×	`rational.json-simplify-2`
22×	`rational.json-simplify-31`
22×	`rational.json-simplify-9`
18×	`rational.json-simplify-27`
12×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	14	23
2	24	23
3	34	23
4	44	23
5	54	23
6	66	23
7	75	23
8	82	23
9	85	23
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Outputs
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 10 to 8 computations (20% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

26×	`rational.json-simplify-2`
22×	`rational.json-simplify-31`
22×	`rational.json-simplify-9`
18×	`rational.json-simplify-27`
12×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	14	23
2	24	23
3	34	23
4	44	23
5	54	23
6	66	23
7	75	23
8	82	23
9	85	23

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Outputs
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

eval0.0ms (0%)

Compiler: Compiled 9 to 7 computations (22.2% 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

58.2b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	58.2b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 9 to 7 computations (22.2% saved)

localize13.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
✓	6.3b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 24 to 17 computations (29.2% saved)

series2.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	eps	@	0	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
0.0ms	eps	@	inf	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
0.0ms	eps	@	-inf	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
0.0ms	eps	@	inf	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0ms	eps	@	0	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

rewrite7.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

42×	`rational.json-simplify-2`
38×	`bool.json-1`
32×	`rational.json-1`
32×	`rational.json-2`
30×	`rational.json-simplify-27`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	42
1	44	42
2	87	42
3	120	42
4	151	42
5	169	42

Stop Event

1×

saturated

Counts

2 → 13

Calls

Call 1

Inputs
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(/.f64 (-.f64 1 eps) (+.f64 1 eps))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (/.f64 (+.f64 -1 eps) (+.f64 1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (/.f64 (+.f64 -1 eps) (+.f64 1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 -1 eps) (+.f64 1 eps)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (+.f64 -1 eps) (+.f64 1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (-.f64 1 eps) (+.f64 1 eps)) (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x or (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (/.f64 (+.f64 -1 eps) (+.f64 1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (/.f64 (+.f64 -1 eps) (+.f64 1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 -1 eps) (+.f64 1 eps)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (+.f64 -1 eps) (+.f64 1 eps)))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (-.f64 1 eps) (+.f64 1 eps)) (/.f64 (-.f64 1 eps) (+.f64 1 eps)))))))

simplify58.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

662×	`rational.json-simplify-27`
596×	`rational.json-simplify-29`
568×	`rational.json-simplify-1`
458×	`rational.json-simplify-41`
410×	`rational.json-simplify-34`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	79	1069
1	160	1069
2	284	1069
3	523	1069
4	983	1069
5	1699	1069
6	2483	1069
7	2818	1069
8	2976	1069
9	3023	1069
10	3034	1069

Stop Event

1×

saturated

Counts

37 → 56

Calls

Call 1

Inputs
(*.f64 -2 eps)
(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (+.f64 (.f64 -2/7 (pow.f64 eps 7)) (.f64 -2/3 (pow.f64 eps 3)))))
(log.f64 -1)
(-.f64 (log.f64 -1) (*.f64 2 (/.f64 1 eps)))
(-.f64 (log.f64 -1) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (.f64 2 (/.f64 1 eps))))
(-.f64 (log.f64 -1) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (.f64 2 (/.f64 1 eps)) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
(log.f64 -1)
(-.f64 (log.f64 -1) (*.f64 2 (/.f64 1 eps)))
(-.f64 (log.f64 -1) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (.f64 2 (/.f64 1 eps))))
(-.f64 (log.f64 -1) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (.f64 2 (/.f64 1 eps)) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
1
(+.f64 (*.f64 -2 eps) 1)
(+.f64 (.f64 -2 eps) (+.f64 (.f64 2 (pow.f64 eps 2)) 1))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 2 (pow.f64 eps 2)) (+.f64 1 (*.f64 -2 (pow.f64 eps 3)))))
-1
(-.f64 (*.f64 2 (/.f64 1 eps)) 1)
(-.f64 (.f64 2 (/.f64 1 eps)) (+.f64 1 (.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 (+.f64 (.f64 2 (/.f64 1 (pow.f64 eps 3))) (.f64 2 (/.f64 1 eps))) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
-1
(-.f64 (*.f64 2 (/.f64 1 eps)) 1)
(-.f64 (.f64 2 (/.f64 1 eps)) (+.f64 1 (.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 (+.f64 (.f64 2 (/.f64 1 (pow.f64 eps 3))) (.f64 2 (/.f64 1 eps))) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(+.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 0)
(+.f64 0 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
(*.f64 1 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
(*.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 1)
(+.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 0)
(+.f64 0 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(-.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 0)
(-.f64 0 (/.f64 (+.f64 -1 eps) (+.f64 1 eps)))
(*.f64 1 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(*.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 1)
(*.f64 -1 (/.f64 (+.f64 -1 eps) (+.f64 1 eps)))
(*.f64 (/.f64 (+.f64 -1 eps) (+.f64 1 eps)) -1)
(neg.f64 (/.f64 (+.f64 -1 eps) (+.f64 1 eps)))

Outputs
(*.f64 -2 eps)
(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 -2/5 (pow.f64 eps 5))))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (+.f64 (.f64 -2/7 (pow.f64 eps 7)) (.f64 -2/3 (pow.f64 eps 3)))))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/7 (pow.f64 eps 7)))))
(+.f64 (.f64 -2 eps) (+.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5))) (.f64 -2/7 (pow.f64 eps 7))))
(log.f64 -1)
(-.f64 (log.f64 -1) (*.f64 2 (/.f64 1 eps)))
(+.f64 (log.f64 -1) (*.f64 (/.f64 1 eps) -2))
(-.f64 (log.f64 -1) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (.f64 2 (/.f64 1 eps))))
(-.f64 (log.f64 -1) (+.f64 (.f64 2 (/.f64 1 eps)) (.f64 2/3 (/.f64 1 (pow.f64 eps 3)))))
(+.f64 (log.f64 -1) (-.f64 (.f64 (/.f64 1 eps) -2) (.f64 2/3 (/.f64 1 (pow.f64 eps 3)))))
(+.f64 (-.f64 (log.f64 -1) (.f64 2 (/.f64 1 eps))) (.f64 (/.f64 1 (pow.f64 eps 3)) -2/3))
(+.f64 (-.f64 (log.f64 -1) (.f64 2 (/.f64 1 eps))) (.f64 -2/3 (/.f64 1 (pow.f64 eps 3))))
(-.f64 (log.f64 -1) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (.f64 2 (/.f64 1 eps)) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
(-.f64 (-.f64 (log.f64 -1) (.f64 2/5 (/.f64 1 (pow.f64 eps 5)))) (+.f64 (.f64 2 (/.f64 1 eps)) (*.f64 2/3 (/.f64 1 (pow.f64 eps 3)))))
(+.f64 (-.f64 (.f64 (/.f64 1 eps) -2) (.f64 2/3 (/.f64 1 (pow.f64 eps 3)))) (-.f64 (log.f64 -1) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5)))))
(+.f64 (-.f64 (log.f64 -1) (.f64 2 (/.f64 1 eps))) (-.f64 (.f64 (/.f64 1 (pow.f64 eps 3)) -2/3) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5)))))
(+.f64 (-.f64 (log.f64 -1) (.f64 2 (/.f64 1 eps))) (+.f64 (.f64 -2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 (/.f64 1 (pow.f64 eps 5)) -2/5)))
(+.f64 (-.f64 (log.f64 -1) (.f64 2 (/.f64 1 eps))) (+.f64 (.f64 -2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 -2/5 (/.f64 1 (pow.f64 eps 5)))))
(log.f64 -1)
(-.f64 (log.f64 -1) (*.f64 2 (/.f64 1 eps)))
(+.f64 (log.f64 -1) (*.f64 (/.f64 1 eps) -2))
(-.f64 (log.f64 -1) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (.f64 2 (/.f64 1 eps))))
(-.f64 (log.f64 -1) (+.f64 (.f64 2 (/.f64 1 eps)) (.f64 2/3 (/.f64 1 (pow.f64 eps 3)))))
(+.f64 (log.f64 -1) (-.f64 (.f64 (/.f64 1 eps) -2) (.f64 2/3 (/.f64 1 (pow.f64 eps 3)))))
(+.f64 (-.f64 (log.f64 -1) (.f64 2 (/.f64 1 eps))) (.f64 (/.f64 1 (pow.f64 eps 3)) -2/3))
(+.f64 (-.f64 (log.f64 -1) (.f64 2 (/.f64 1 eps))) (.f64 -2/3 (/.f64 1 (pow.f64 eps 3))))
(-.f64 (log.f64 -1) (+.f64 (.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (.f64 2 (/.f64 1 eps)) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
(-.f64 (-.f64 (log.f64 -1) (.f64 2/5 (/.f64 1 (pow.f64 eps 5)))) (+.f64 (.f64 2 (/.f64 1 eps)) (*.f64 2/3 (/.f64 1 (pow.f64 eps 3)))))
(+.f64 (-.f64 (.f64 (/.f64 1 eps) -2) (.f64 2/3 (/.f64 1 (pow.f64 eps 3)))) (-.f64 (log.f64 -1) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5)))))
(+.f64 (-.f64 (log.f64 -1) (.f64 2 (/.f64 1 eps))) (-.f64 (.f64 (/.f64 1 (pow.f64 eps 3)) -2/3) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5)))))
(+.f64 (-.f64 (log.f64 -1) (.f64 2 (/.f64 1 eps))) (+.f64 (.f64 -2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 (/.f64 1 (pow.f64 eps 5)) -2/5)))
(+.f64 (-.f64 (log.f64 -1) (.f64 2 (/.f64 1 eps))) (+.f64 (.f64 -2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 -2/5 (/.f64 1 (pow.f64 eps 5)))))
1
(+.f64 (*.f64 -2 eps) 1)
(+.f64 (.f64 -2 eps) (+.f64 (.f64 2 (pow.f64 eps 2)) 1))
(+.f64 (.f64 -2 eps) (+.f64 1 (.f64 2 (pow.f64 eps 2))))
(+.f64 (+.f64 (.f64 -2 eps) 1) (.f64 2 (pow.f64 eps 2)))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 2 (pow.f64 eps 2)) (+.f64 1 (*.f64 -2 (pow.f64 eps 3)))))
(+.f64 (+.f64 (+.f64 (.f64 -2 eps) 1) (.f64 2 (pow.f64 eps 2))) (*.f64 -2 (pow.f64 eps 3)))
(+.f64 (.f64 2 (pow.f64 eps 2)) (+.f64 (+.f64 (.f64 -2 eps) 1) (*.f64 -2 (pow.f64 eps 3))))
(+.f64 (+.f64 (.f64 -2 eps) 1) (+.f64 (.f64 2 (pow.f64 eps 2)) (*.f64 -2 (pow.f64 eps 3))))
-1
(-.f64 (*.f64 2 (/.f64 1 eps)) 1)
(+.f64 -1 (*.f64 2 (/.f64 1 eps)))
(-.f64 (.f64 2 (/.f64 1 eps)) (+.f64 1 (.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(+.f64 -1 (-.f64 (.f64 2 (/.f64 1 eps)) (.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 (+.f64 (.f64 2 (/.f64 1 (pow.f64 eps 3))) (.f64 2 (/.f64 1 eps))) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 (+.f64 (.f64 2 (/.f64 1 eps)) (.f64 2 (/.f64 1 (pow.f64 eps 3)))) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(+.f64 (+.f64 -1 (-.f64 (.f64 2 (/.f64 1 eps)) (.f64 2 (/.f64 1 (pow.f64 eps 2))))) (*.f64 2 (/.f64 1 (pow.f64 eps 3))))
(+.f64 -1 (+.f64 (.f64 2 (/.f64 1 (pow.f64 eps 3))) (-.f64 (.f64 2 (/.f64 1 eps)) (*.f64 2 (/.f64 1 (pow.f64 eps 2))))))
(+.f64 (-.f64 (.f64 2 (/.f64 1 eps)) (.f64 2 (/.f64 1 (pow.f64 eps 2)))) (+.f64 -1 (*.f64 2 (/.f64 1 (pow.f64 eps 3)))))
-1
(-.f64 (*.f64 2 (/.f64 1 eps)) 1)
(+.f64 -1 (*.f64 2 (/.f64 1 eps)))
(-.f64 (.f64 2 (/.f64 1 eps)) (+.f64 1 (.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(+.f64 -1 (-.f64 (.f64 2 (/.f64 1 eps)) (.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 (+.f64 (.f64 2 (/.f64 1 (pow.f64 eps 3))) (.f64 2 (/.f64 1 eps))) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 (+.f64 (.f64 2 (/.f64 1 eps)) (.f64 2 (/.f64 1 (pow.f64 eps 3)))) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(+.f64 (+.f64 -1 (-.f64 (.f64 2 (/.f64 1 eps)) (.f64 2 (/.f64 1 (pow.f64 eps 2))))) (*.f64 2 (/.f64 1 (pow.f64 eps 3))))
(+.f64 -1 (+.f64 (.f64 2 (/.f64 1 (pow.f64 eps 3))) (-.f64 (.f64 2 (/.f64 1 eps)) (*.f64 2 (/.f64 1 (pow.f64 eps 2))))))
(+.f64 (-.f64 (.f64 2 (/.f64 1 eps)) (.f64 2 (/.f64 1 (pow.f64 eps 2)))) (+.f64 -1 (*.f64 2 (/.f64 1 (pow.f64 eps 3)))))
(+.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 0)
(+.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1))) 0)
(+.f64 0 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
(+.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1))) 0)
(*.f64 1 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))))
(*.f64 1 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1))))
(*.f64 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps))) 1)
(*.f64 1 (log.f64 (/.f64 (-.f64 1 eps) (+.f64 eps 1))))
(+.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 0)
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(+.f64 0 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(-.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 0)
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(-.f64 0 (/.f64 (+.f64 -1 eps) (+.f64 1 eps)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 1 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)) 1)
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 -1 (/.f64 (+.f64 -1 eps) (+.f64 1 eps)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 (+.f64 -1 eps) (+.f64 1 eps)) -1)
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(neg.f64 (/.f64 (+.f64 -1 eps) (+.f64 1 eps)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))

eval16.0ms (0.5%)

Compiler: Compiled 791 to 668 computations (15.5% saved)

prune8.0ms (0.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	52	4	56
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	5	57

Error

0.0b

Counts

57 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 -2 eps) (+.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5))) (.f64 -2/7 (pow.f64 eps 7))))
▶	0.1b	(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
▶	0.3b	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
▶	0.7b	(*.f64 -2 eps)
✓	58.2b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 61 to 49 computations (19.7% saved)

localize2.0ms (0.1%)

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

localize10.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 eps 3)
✓	0.1b	(*.f64 -2/3 (pow.f64 eps 3))

Compiler

Compiled 25 to 19 computations (24% saved)

series2.0ms (0.1%)

Counts

2 → 0

Calls

6 calls:

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

rewrite6.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

22×	`bool.json-1`
16×	`rational.json-simplify-2`
14×	`rational.json-1`
14×	`rational.json-2`
14×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	20
1	33	20
2	55	20
3	60	20

Stop Event

1×

saturated

Counts

2 → 6

Calls

Call 1

Inputs
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 eps 3)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -2/3 (pow.f64 eps 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 -2/3 (pow.f64 eps 3)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/3 (pow.f64 eps 3)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 eps 3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 eps 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 eps 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 eps 3))))) (#(struct:change #<rule egg-rr> (2) ((x or (pow.f64 eps 3) (pow.f64 eps 3))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 -2/3 (pow.f64 eps 3)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 -2/3 (pow.f64 eps 3)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 eps 3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 eps 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 eps 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 eps 3))))) (#(struct:change #<rule egg-rr> (2) ((x or (pow.f64 eps 3) (pow.f64 eps 3))))))

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`rational.json-simplify-2`
4×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	90
1	16	90

Stop Event

1×

saturated

Counts

6 → 6

Calls

Call 1

Inputs
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(+.f64 0 (*.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (pow.f64 eps 3) 0)
(+.f64 0 (pow.f64 eps 3))
(*.f64 (pow.f64 eps 3) 1)
(*.f64 1 (pow.f64 eps 3))

Outputs
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(+.f64 0 (*.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(+.f64 (pow.f64 eps 3) 0)
(+.f64 0 (pow.f64 eps 3))
(+.f64 (pow.f64 eps 3) 0)
(*.f64 (pow.f64 eps 3) 1)
(*.f64 1 (pow.f64 eps 3))
(*.f64 (pow.f64 eps 3) 1)

localize20.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(pow.f64 eps 3)
✓	0.0b	(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
✓	0.1b	(*.f64 -2/5 (pow.f64 eps 5))
	0.1b	(*.f64 -2/3 (pow.f64 eps 3))

Compiler

Compiled 52 to 41 computations (21.2% saved)

series2.0ms (0.1%)

Counts

2 → 3

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	eps	@	0	(*.f64 -2/5 (pow.f64 eps 5))
0.0ms	eps	@	inf	(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
0.0ms	eps	@	inf	(*.f64 -2/5 (pow.f64 eps 5))
0.0ms	eps	@	-inf	(*.f64 -2/5 (pow.f64 eps 5))
0.0ms	eps	@	0	(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))

rewrite6.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

32×	`bool.json-1`
24×	`rational.json-simplify-2`
22×	`rational.json-simplify-1`
20×	`rational.json-1`
20×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	44
1	55	44
2	83	44
3	89	44

Stop Event

1×

saturated

Counts

2 → 4

Calls

Call 1

Inputs
(*.f64 -2/5 (pow.f64 eps 5))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -2/5 (pow.f64 eps 5)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 -2/5 (pow.f64 eps 5)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/5 (pow.f64 eps 5)))))))

((#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))))))

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

6×	`rational.json-simplify-2`
4×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	151
1	21	151

Stop Event

1×

saturated

Counts

7 → 7

Calls

Call 1

Inputs
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/5 (pow.f64 eps 5))
(*.f64 -2/5 (pow.f64 eps 5))
(+.f64 (*.f64 -2/5 (pow.f64 eps 5)) 0)
(+.f64 0 (*.f64 -2/5 (pow.f64 eps 5)))
(.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 1)
(.f64 1 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))

Outputs
(*.f64 -2/3 (pow.f64 eps 3))
(*.f64 -2/5 (pow.f64 eps 5))
(*.f64 -2/5 (pow.f64 eps 5))
(+.f64 (*.f64 -2/5 (pow.f64 eps 5)) 0)
(+.f64 0 (*.f64 -2/5 (pow.f64 eps 5)))
(+.f64 (*.f64 -2/5 (pow.f64 eps 5)) 0)
(.f64 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))) 1)
(.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 -2/5 (pow.f64 eps 5))) 1)
(.f64 1 (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
(.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 -2/5 (pow.f64 eps 5))) 1)

localize31.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
✓	0.1b	(*.f64 -2/7 (pow.f64 eps 7))
	0.1b	(*.f64 -2/5 (pow.f64 eps 5))
	0.1b	(*.f64 -2/3 (pow.f64 eps 3))

Compiler

Compiled 85 to 68 computations (20% saved)

series1.0ms (0%)

Counts

2 → 12

Calls

6 calls:

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

rewrite6.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

40×	`bool.json-1`
30×	`rational.json-simplify-2`
26×	`rational.json-simplify-1`
24×	`rational.json-1`
24×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	44
1	72	44
2	104	44
3	111	44

Stop Event

1×

saturated

Counts

2 → 4

Calls

Call 1

Inputs
(*.f64 -2/7 (pow.f64 eps 7))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -2/7 (pow.f64 eps 7)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 -2/7 (pow.f64 eps 7)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 -2/7 (pow.f64 eps 7)) (*.f64 -2/7 (pow.f64 eps 7)))))))

((#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 -2/5 (pow.f64 eps 5))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 -2/5 (pow.f64 eps 5))))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 -2/5 (pow.f64 eps 5))) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 -2/5 (pow.f64 eps 5))))))))

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

8×	`rational.json-simplify-2`
4×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	430
1	26	430

Stop Event

1×

saturated

Counts

16 → 8

Calls

Call 1

Inputs
(*.f64 -2/3 (pow.f64 eps 3))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
(*.f64 -2/5 (pow.f64 eps 5))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
(*.f64 -2/5 (pow.f64 eps 5))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (*.f64 -2/7 (pow.f64 eps 7)) 0)
(+.f64 0 (*.f64 -2/7 (pow.f64 eps 7)))
(.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 -2/5 (pow.f64 eps 5))) 1)
(.f64 1 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 -2/5 (pow.f64 eps 5))))

Outputs
(*.f64 -2/3 (pow.f64 eps 3))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(*.f64 -2/5 (pow.f64 eps 5))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(*.f64 -2/5 (pow.f64 eps 5))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(+.f64 (.f64 -2/5 (pow.f64 eps 5)) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5)))
(+.f64 (*.f64 -2/7 (pow.f64 eps 7)) 0)
(+.f64 0 (*.f64 -2/7 (pow.f64 eps 7)))
(+.f64 (*.f64 -2/7 (pow.f64 eps 7)) 0)
(.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 -2/5 (pow.f64 eps 5))) 1)
(.f64 1 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 -2/5 (pow.f64 eps 5))))
(.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (*.f64 -2/5 (pow.f64 eps 5))) 1)

eval11.0ms (0.3%)

Compiler: Compiled 528 to 433 computations (18% saved)

prune5.0ms (0.2%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	31	0	31
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	31	5	36

Error

0.0b

Counts

36 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 -2 eps) (+.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5))) (.f64 -2/7 (pow.f64 eps 7))))
✓	0.1b	(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
✓	0.3b	(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
✓	0.7b	(*.f64 -2 eps)
✓	58.2b	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Compiler

Compiled 61 to 49 computations (19.7% saved)

regimes11.0ms (0.3%)

Counts

5 → 1

Calls

Call 1

Inputs
(*.f64 -2 eps)
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 (.f64 -2 eps) (+.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5))) (.f64 -2/7 (pow.f64 eps 7))))

Outputs
(+.f64 (.f64 -2 eps) (+.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5))) (.f64 -2/7 (pow.f64 eps 7))))

Calls

3 calls:

4.0ms	eps
3.0ms	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
2.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

Results

Error	Segments	Branch
0.0b	1	`eps`
0.0b	1	`(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))`
0.0b	1	`(/.f64 (-.f64 1 eps) (+.f64 1 eps))`

Compiler

Compiled 76 to 59 computations (22.4% saved)

regimes9.0ms (0.3%)

Counts

4 → 1

Calls

Call 1

Inputs
(*.f64 -2 eps)
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))

Outputs
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))

Calls

3 calls:

3.0ms	eps
2.0ms	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
2.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

Results

Error	Segments	Branch
0.1b	1	`eps`
0.1b	1	`(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))`
0.1b	1	`(/.f64 (-.f64 1 eps) (+.f64 1 eps))`

Compiler

Compiled 55 to 42 computations (23.6% saved)

regimes8.0ms (0.3%)

Counts

3 → 1

Calls

Call 1

Inputs
(*.f64 -2 eps)
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))

Outputs
(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))

Calls

3 calls:

3.0ms	eps
2.0ms	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
2.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))

Results

Error	Segments	Branch
0.3b	1	`eps`
0.3b	1	`(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))`
0.3b	1	`(/.f64 (-.f64 1 eps) (+.f64 1 eps))`

Compiler

Compiled 40 to 30 computations (25% saved)

regimes8.0ms (0.3%)

Accuracy

Total -58.0b remaining (-8265.3%)

Threshold costs -58.0b (-8265.3%)

Counts

2 → 1

Calls

Call 1

Inputs
(*.f64 -2 eps)
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Outputs
(*.f64 -2 eps)

Calls

3 calls:

3.0ms	eps
2.0ms	(/.f64 (-.f64 1 eps) (+.f64 1 eps))
2.0ms	(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))

Results

Error	Segments	Branch
0.7b	1	`eps`
0.7b	1	`(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))`
0.7b	1	`(/.f64 (-.f64 1 eps) (+.f64 1 eps))`

Compiler

Compiled 31 to 23 computations (25.8% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	136

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 -2 eps) (+.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5))) (.f64 -2/7 (pow.f64 eps 7))))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
(*.f64 -2 eps)

Outputs
(+.f64 (.f64 -2 eps) (+.f64 (+.f64 (.f64 -2/3 (pow.f64 eps 3)) (.f64 -2/5 (pow.f64 eps 5))) (.f64 -2/7 (pow.f64 eps 7))))
(+.f64 (.f64 -2 eps) (+.f64 (.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 (.f64 -2 eps) (.f64 -2/3 (pow.f64 eps 3)))
(*.f64 -2 eps)

Compiler

Compiled 52 to 42 computations (19.2% saved)

soundness73.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

662×	`rational.json-simplify-27`
596×	`rational.json-simplify-29`
568×	`rational.json-simplify-1`
458×	`rational.json-simplify-41`
410×	`rational.json-simplify-34`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	79	1069
1	160	1069
2	284	1069
3	523	1069
4	983	1069
5	1699	1069
6	2483	1069
7	2818	1069
8	2976	1069
9	3023	1069
10	3034	1069

Stop Event

1×

saturated

Compiler

Compiled 85 to 69 computations (18.8% saved)

end38.0ms (1.2%)

Compiler: Compiled 49 to 39 computations (20.4% saved)

Details

analyze3.0ms (0.1%)

sample2.7s (87.6%)

preprocess3.0ms (0.1%)

simplify6.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize13.0ms (0.4%)

series2.0ms (0.1%)

rewrite7.0ms (0.2%)

simplify58.0ms (1.9%)

eval16.0ms (0.5%)

prune8.0ms (0.3%)

localize2.0ms (0.1%)

localize10.0ms (0.3%)

series2.0ms (0.1%)

rewrite6.0ms (0.2%)

simplify5.0ms (0.1%)

localize20.0ms (0.6%)

series2.0ms (0.1%)

rewrite6.0ms (0.2%)

simplify7.0ms (0.2%)

localize31.0ms (1%)

series1.0ms (0%)

rewrite6.0ms (0.2%)

simplify7.0ms (0.2%)

eval11.0ms (0.3%)

prune5.0ms (0.2%)

regimes11.0ms (0.3%)

regimes9.0ms (0.3%)

regimes8.0ms (0.3%)

regimes8.0ms (0.3%)

simplify3.0ms (0.1%)

soundness73.0ms (2.4%)

end38.0ms (1.2%)

Profiling