Details

analyze7.0ms (0.2%)

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

Compiler

Compiled 21 to 17 computations (19% saved)

sample874.0ms (20.1%)

Results

863.0ms

8256×

body

256

valid

Bogosity

preprocess102.0ms (2.4%)

Algorithm

2×	egg-herbie

Rules

2120×	`rational.json-simplify-35`
880×	`rational.json-simplify-51`
872×	`rational.json-simplify-2`
866×	`rational.json-simplify-48`
716×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	55
1	30	55
2	45	55
3	89	55
4	216	55
5	629	55
6	997	55
7	1816	55
8	3195	55
9	5223	55
10	7602	55
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))

Outputs
(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))

Compiler

Compiled 21 to 17 computations (19% saved)

simplify99.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

2120×	`rational.json-simplify-35`
880×	`rational.json-simplify-51`
872×	`rational.json-simplify-2`
866×	`rational.json-simplify-48`
716×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	55
1	30	55
2	45	55
3	89	55
4	216	55
5	629	55
6	997	55
7	1816	55
8	3195	55
9	5223	55
10	7602	55

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

Inputs
(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))

Outputs
(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))

eval1.0ms (0%)

Compiler: Compiled 20 to 16 computations (20% 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.1b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))

Compiler

Compiled 20 to 16 computations (20% saved)

localize33.0ms (0.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))
✓	0.4b	(*.f64 x 4481/100000)
✓	0.4b	(*.f64 x 27061/100000)
✓	15.4b	(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))

Compiler

Compiled 91 to 71 computations (22% saved)

series6.0ms (0.1%)

Counts

4 → 48

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(*.f64 x 27061/100000)
1.0ms	x	@	-inf	(*.f64 x 27061/100000)
1.0ms	x	@	inf	(*.f64 x 4481/100000)
1.0ms	x	@	inf	(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))
1.0ms	x	@	0	(*.f64 x 27061/100000)

rewrite112.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

870×	`rational.json-simplify-1`
822×	`rational.json-simplify-35`
820×	`bool.json-1`
820×	`bool.json-2`
768×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	112
1	187	112
2	490	112
3	1048	112
4	2452	112
5	6633	112

Stop Event

1×	node limit

Counts

4 → 68

Calls

Call 1

Inputs
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(*.f64 x 27061/100000)
(*.f64 x 4481/100000)
(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2) (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2) (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2) (/.f64 (neg.f64 (+.f64 230753/100000 (.f64 x 27061/100000))) (+.f64 2 (.f64 x (.f64 (+.f64 99229/100000 (.f64 x 4481/100000)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (.f64 (.f64 2 (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (.f64 (/.f64 2 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x 27061/50000))) (/.f64 1/2 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x 27061/50000))) (.f64 (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x 27061/50000))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 1/2) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) 2) (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (/.f64 1/2 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (/.f64 1/2 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) (+.f64 230753/100000 (.f64 x 27061/100000))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) -2) (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) 4) (/.f64 2 (.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) 4) (.f64 (/.f64 2 (.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) 8)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) 4) (.f64 1/4 (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) 4) (.f64 1/2 (/.f64 1/2 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) (+.f64 230753/100000 (.f64 x 27061/100000)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (+.f64 230753/100000 (.f64 x 27061/100000))) (/.f64 1 (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (+.f64 230753/100000 (.f64 x 27061/100000))) (.f64 (/.f64 1 (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (/.f64 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) -2) (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1/2 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x 27061/50000))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 1/2) (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x 27061/50000))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 2 (.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) 8)) (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) (neg.f64 (+.f64 230753/100000 (.f64 x 27061/100000))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (/.f64 (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (+.f64 230753/100000 (.f64 x 27061/100000))) (.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (/.f64 (/.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (+.f64 230753/100000 (.f64 x 27061/100000))) (+.f64 230753/100000 (.f64 x 27061/100000))))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x 27061/50000))) (neg.f64 (+.f64 2 (.f64 x (.f64 (+.f64 99229/100000 (.f64 x 4481/100000)) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))))))) (#(struct:change #<rule egg-rr> (2) ((x and (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x 27061/100000) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 x 27061/100000))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 x 27061/100000) 2) (/.f64 (.f64 x 27061/100000) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 x 27061/100000) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x 27061/100000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x 27061/50000) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x 27061/25000) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 x 27061/25000)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 x 27061/25000))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 x 27061/100000)))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 x 27061/100000) (.f64 x 27061/100000))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 x 27061/100000) (.f64 x 27061/100000))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x 4481/100000) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 x 4481/100000))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 x 4481/100000) 2) (/.f64 (.f64 x 4481/100000) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 x 4481/100000) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x 4481/100000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x 4481/50000) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x 4481/25000) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 x 4481/25000)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 x 4481/25000))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 x 4481/100000)))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 x 4481/100000) (.f64 x 4481/100000))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 x 4481/100000) (.f64 x 4481/100000))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)) 2) (/.f64 (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x) 70711/50000) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x) 70711/25000) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x) 70711/25000)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x) 70711/25000))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)) (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)) (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) x)))))))

simplify132.0ms (3%)

Algorithm

1×	egg-herbie

Rules

1672×	`rational.json-simplify-35`
1178×	`rational.json-simplify-61`
1096×	`rational.json-simplify-2`
998×	`rational.json-simplify-50`
796×	`rational.json-simplify-51`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	220	3528
1	501	3528
2	1061	3528
3	2813	3524
4	6494	3464
5	7811	3464

Stop Event

1×	node limit

Counts

116 → 117

Calls

Call 1

Inputs
230753/100000
(+.f64 230753/100000 (*.f64 -20191289437/10000000000 x))
(+.f64 (.f64 1900161040244073/1000000000000000 (pow.f64 x 2)) (+.f64 230753/100000 (.f64 -20191289437/10000000000 x)))
(+.f64 (.f64 1900161040244073/1000000000000000 (pow.f64 x 2)) (+.f64 230753/100000 (+.f64 (.f64 -20191289437/10000000000 x) (*.f64 -179503363065659419717/100000000000000000000 (pow.f64 x 3)))))
(/.f64 27061/4481 x)
(-.f64 (.f64 27061/4481 (/.f64 1 x)) (.f64 1651231776/20079361 (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (.f64 151724043800704/89975616641 (/.f64 1 (pow.f64 x 3))) (.f64 27061/4481 (/.f64 1 x))) (*.f64 1651231776/20079361 (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (.f64 151724043800704/89975616641 (/.f64 1 (pow.f64 x 3))) (.f64 27061/4481 (/.f64 1 x))) (+.f64 (.f64 1651231776/20079361 (/.f64 1 (pow.f64 x 2))) (.f64 14315508183474457216/403180738168321 (/.f64 1 (pow.f64 x 4)))))
(/.f64 27061/4481 x)
(-.f64 (.f64 27061/4481 (/.f64 1 x)) (.f64 1651231776/20079361 (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (.f64 151724043800704/89975616641 (/.f64 1 (pow.f64 x 3))) (.f64 27061/4481 (/.f64 1 x))) (*.f64 1651231776/20079361 (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (.f64 151724043800704/89975616641 (/.f64 1 (pow.f64 x 3))) (.f64 27061/4481 (/.f64 1 x))) (+.f64 (.f64 1651231776/20079361 (/.f64 1 (pow.f64 x 2))) (.f64 14315508183474457216/403180738168321 (/.f64 1 (pow.f64 x 4)))))
(*.f64 27061/100000 x)
(*.f64 27061/100000 x)
(*.f64 27061/100000 x)
(*.f64 27061/100000 x)
(*.f64 27061/100000 x)
(*.f64 27061/100000 x)
(*.f64 27061/100000 x)
(*.f64 27061/100000 x)
(*.f64 27061/100000 x)
(*.f64 27061/100000 x)
(*.f64 27061/100000 x)
(*.f64 27061/100000 x)
(*.f64 4481/100000 x)
(*.f64 4481/100000 x)
(*.f64 4481/100000 x)
(*.f64 4481/100000 x)
(*.f64 4481/100000 x)
(*.f64 4481/100000 x)
(*.f64 4481/100000 x)
(*.f64 4481/100000 x)
(*.f64 4481/100000 x)
(*.f64 4481/100000 x)
(*.f64 4481/100000 x)
(*.f64 4481/100000 x)
16316775383/10000000000
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(+.f64 (.f64 -2134856267379707/1000000000000000 x) (+.f64 16316775383/10000000000 (.f64 134362287316698645903/100000000000000000000 (pow.f64 x 2))))
(+.f64 (.f64 -2134856267379707/1000000000000000 x) (+.f64 16316775383/10000000000 (+.f64 (.f64 134362287316698645903/100000000000000000000 (pow.f64 x 2)) (*.f64 -12692862305735843227608787/10000000000000000000000000 (pow.f64 x 3)))))
(*.f64 -70711/100000 x)
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(-.f64 (+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x)) (*.f64 3648757816023/62748003125 (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (.f64 335267464412236892/281173802003125 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))) (.f64 3648757816023/62748003125 (/.f64 1 (pow.f64 x 2))))
(*.f64 -70711/100000 x)
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(-.f64 (+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x)) (*.f64 3648757816023/62748003125 (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (.f64 335267464412236892/281173802003125 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))) (.f64 3648757816023/62748003125 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) 0)
(+.f64 0 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))
(+.f64 -1 (-.f64 1 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (-.f64 -1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))))
(+.f64 (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2) (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2))
(-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) 0)
(-.f64 0 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (-.f64 -1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))
(-.f64 (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2) (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2))
(-.f64 (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2) (/.f64 (neg.f64 (+.f64 230753/100000 (.f64 x 27061/100000))) (+.f64 2 (.f64 x (.f64 (+.f64 99229/100000 (*.f64 x 4481/100000)) 2)))))
(.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))
(.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (.f64 (.f64 2 (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))) 1/2))
(.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (.f64 (/.f64 2 (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) 1/2))
(.f64 1 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))
(.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 1)
(.f64 -1 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))
(.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x 27061/50000))) (/.f64 1/2 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))
(.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x 27061/50000))) (.f64 (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) 1/2))
(.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x 27061/50000))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 1/2) 1))
(.f64 2 (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2))
(.f64 2 (.f64 (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) 2) 1))
(.f64 2 (.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) 2) (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))))
(.f64 2 (.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) 1/2))
(.f64 2 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (/.f64 1/2 (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))))
(.f64 2 (.f64 (/.f64 1/2 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) (+.f64 230753/100000 (*.f64 x 27061/100000))))
(.f64 (/.f64 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) -2) (-.f64 -1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) 1/2)
(.f64 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) 4) (/.f64 2 (.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) 8)))
(.f64 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) 4) (.f64 (/.f64 2 (.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))) 8)) 1))
(.f64 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) 4) (.f64 1/4 (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))))
(.f64 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) 4) (.f64 1/2 (/.f64 1/2 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))))
(.f64 (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) (+.f64 230753/100000 (.f64 x 27061/100000)))
(.f64 (neg.f64 (+.f64 230753/100000 (.f64 x 27061/100000))) (/.f64 1 (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))
(.f64 (neg.f64 (+.f64 230753/100000 (.f64 x 27061/100000))) (.f64 (/.f64 1 (-.f64 -1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) 1))
(.f64 1/2 (/.f64 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) -2) (-.f64 -1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))
(.f64 (/.f64 1/2 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x 27061/50000))))
(.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 1/2) (+.f64 230753/100000 (+.f64 230753/100000 (*.f64 x 27061/50000))))
(.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) -1)
(.f64 (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2) 2)
(.f64 (/.f64 2 (.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) 8)) (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) 4))
(.f64 (/.f64 1 (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) (neg.f64 (+.f64 230753/100000 (.f64 x 27061/100000))))
(neg.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (-.f64 -1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))
(neg.f64 (/.f64 (/.f64 (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (+.f64 230753/100000 (.f64 x 27061/100000))) (.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (/.f64 (/.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (+.f64 230753/100000 (.f64 x 27061/100000))) (+.f64 230753/100000 (.f64 x 27061/100000))))))
(neg.f64 (/.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x 27061/50000))) (neg.f64 (+.f64 2 (.f64 x (.f64 (+.f64 99229/100000 (.f64 x 4481/100000)) 2))))))
(+.f64 (*.f64 x 27061/100000) 0)
(+.f64 0 (*.f64 x 27061/100000))
(+.f64 (/.f64 (.f64 x 27061/100000) 2) (/.f64 (.f64 x 27061/100000) 2))
(-.f64 (*.f64 x 27061/100000) 0)
(/.f64 (*.f64 x 27061/100000) 1)
(/.f64 (*.f64 x 27061/50000) 2)
(/.f64 (*.f64 x 27061/25000) 4)
(/.f64 (.f64 2 (.f64 x 27061/25000)) 8)
(/.f64 (.f64 2 (.f64 2 (*.f64 x 27061/25000))) 16)
(+.f64 (*.f64 x 4481/100000) 0)
(+.f64 0 (*.f64 x 4481/100000))
(+.f64 (/.f64 (.f64 x 4481/100000) 2) (/.f64 (.f64 x 4481/100000) 2))
(-.f64 (*.f64 x 4481/100000) 0)
(/.f64 (*.f64 x 4481/100000) 1)
(/.f64 (*.f64 x 4481/50000) 2)
(/.f64 (*.f64 x 4481/25000) 4)
(/.f64 (.f64 2 (.f64 x 4481/25000)) 8)
(/.f64 (.f64 2 (.f64 2 (*.f64 x 4481/25000))) 16)
(+.f64 (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)) 0)
(+.f64 0 (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)))
(+.f64 (/.f64 (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)) 2) (/.f64 (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)) 2))
(-.f64 (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)) 0)
(/.f64 (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)) 1)
(/.f64 (.f64 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x) 70711/50000) 2)
(/.f64 (.f64 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x) 70711/25000) 4)
(/.f64 (.f64 2 (.f64 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) x) 70711/25000)) 8)
(/.f64 (.f64 2 (.f64 2 (.f64 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x) 70711/25000))) 16)

Outputs
230753/100000
(+.f64 230753/100000 (*.f64 -20191289437/10000000000 x))
(+.f64 (.f64 1900161040244073/1000000000000000 (pow.f64 x 2)) (+.f64 230753/100000 (.f64 -20191289437/10000000000 x)))
(+.f64 230753/100000 (+.f64 (.f64 -20191289437/10000000000 x) (.f64 1900161040244073/1000000000000000 (pow.f64 x 2))))
(+.f64 (.f64 1900161040244073/1000000000000000 (pow.f64 x 2)) (+.f64 230753/100000 (+.f64 (.f64 -20191289437/10000000000 x) (*.f64 -179503363065659419717/100000000000000000000 (pow.f64 x 3)))))
(+.f64 230753/100000 (+.f64 (+.f64 (.f64 -20191289437/10000000000 x) (.f64 -179503363065659419717/100000000000000000000 (pow.f64 x 3))) (*.f64 1900161040244073/1000000000000000 (pow.f64 x 2))))
(+.f64 230753/100000 (+.f64 (.f64 1900161040244073/1000000000000000 (pow.f64 x 2)) (+.f64 (.f64 -20191289437/10000000000 x) (*.f64 -179503363065659419717/100000000000000000000 (pow.f64 x 3)))))
(+.f64 230753/100000 (+.f64 (.f64 -20191289437/10000000000 x) (+.f64 (.f64 -179503363065659419717/100000000000000000000 (pow.f64 x 3)) (*.f64 1900161040244073/1000000000000000 (pow.f64 x 2)))))
(+.f64 230753/100000 (+.f64 (.f64 -20191289437/10000000000 x) (+.f64 (.f64 1900161040244073/1000000000000000 (pow.f64 x 2)) (*.f64 -179503363065659419717/100000000000000000000 (pow.f64 x 3)))))
(/.f64 27061/4481 x)
(-.f64 (.f64 27061/4481 (/.f64 1 x)) (.f64 1651231776/20079361 (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (.f64 151724043800704/89975616641 (/.f64 1 (pow.f64 x 3))) (.f64 27061/4481 (/.f64 1 x))) (*.f64 1651231776/20079361 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 27061/4481 (/.f64 1 x)) (-.f64 (.f64 151724043800704/89975616641 (/.f64 1 (pow.f64 x 3))) (*.f64 1651231776/20079361 (/.f64 1 (pow.f64 x 2)))))
(-.f64 (+.f64 (.f64 151724043800704/89975616641 (/.f64 1 (pow.f64 x 3))) (.f64 27061/4481 (/.f64 1 x))) (+.f64 (.f64 1651231776/20079361 (/.f64 1 (pow.f64 x 2))) (.f64 14315508183474457216/403180738168321 (/.f64 1 (pow.f64 x 4)))))
(-.f64 (+.f64 (.f64 27061/4481 (/.f64 1 x)) (.f64 151724043800704/89975616641 (/.f64 1 (pow.f64 x 3)))) (+.f64 (.f64 1651231776/20079361 (/.f64 1 (pow.f64 x 2))) (.f64 14315508183474457216/403180738168321 (/.f64 1 (pow.f64 x 4)))))
(+.f64 (.f64 27061/4481 (/.f64 1 x)) (-.f64 (.f64 151724043800704/89975616641 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1651231776/20079361 (/.f64 1 (pow.f64 x 2))) (.f64 14315508183474457216/403180738168321 (/.f64 1 (pow.f64 x 4))))))
(/.f64 27061/4481 x)
(-.f64 (.f64 27061/4481 (/.f64 1 x)) (.f64 1651231776/20079361 (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (.f64 151724043800704/89975616641 (/.f64 1 (pow.f64 x 3))) (.f64 27061/4481 (/.f64 1 x))) (*.f64 1651231776/20079361 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 27061/4481 (/.f64 1 x)) (-.f64 (.f64 151724043800704/89975616641 (/.f64 1 (pow.f64 x 3))) (*.f64 1651231776/20079361 (/.f64 1 (pow.f64 x 2)))))
(-.f64 (+.f64 (.f64 151724043800704/89975616641 (/.f64 1 (pow.f64 x 3))) (.f64 27061/4481 (/.f64 1 x))) (+.f64 (.f64 1651231776/20079361 (/.f64 1 (pow.f64 x 2))) (.f64 14315508183474457216/403180738168321 (/.f64 1 (pow.f64 x 4)))))
(-.f64 (+.f64 (.f64 27061/4481 (/.f64 1 x)) (.f64 151724043800704/89975616641 (/.f64 1 (pow.f64 x 3)))) (+.f64 (.f64 1651231776/20079361 (/.f64 1 (pow.f64 x 2))) (.f64 14315508183474457216/403180738168321 (/.f64 1 (pow.f64 x 4)))))
(+.f64 (.f64 27061/4481 (/.f64 1 x)) (-.f64 (.f64 151724043800704/89975616641 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1651231776/20079361 (/.f64 1 (pow.f64 x 2))) (.f64 14315508183474457216/403180738168321 (/.f64 1 (pow.f64 x 4))))))
(*.f64 27061/100000 x)
(*.f64 x 27061/100000)
(*.f64 27061/100000 x)
(*.f64 x 27061/100000)
(*.f64 27061/100000 x)
(*.f64 x 27061/100000)
(*.f64 27061/100000 x)
(*.f64 x 27061/100000)
(*.f64 27061/100000 x)
(*.f64 x 27061/100000)
(*.f64 27061/100000 x)
(*.f64 x 27061/100000)
(*.f64 27061/100000 x)
(*.f64 x 27061/100000)
(*.f64 27061/100000 x)
(*.f64 x 27061/100000)
(*.f64 27061/100000 x)
(*.f64 x 27061/100000)
(*.f64 27061/100000 x)
(*.f64 x 27061/100000)
(*.f64 27061/100000 x)
(*.f64 x 27061/100000)
(*.f64 27061/100000 x)
(*.f64 x 27061/100000)
(*.f64 4481/100000 x)
(*.f64 x 4481/100000)
(*.f64 4481/100000 x)
(*.f64 x 4481/100000)
(*.f64 4481/100000 x)
(*.f64 x 4481/100000)
(*.f64 4481/100000 x)
(*.f64 x 4481/100000)
(*.f64 4481/100000 x)
(*.f64 x 4481/100000)
(*.f64 4481/100000 x)
(*.f64 x 4481/100000)
(*.f64 4481/100000 x)
(*.f64 x 4481/100000)
(*.f64 4481/100000 x)
(*.f64 x 4481/100000)
(*.f64 4481/100000 x)
(*.f64 x 4481/100000)
(*.f64 4481/100000 x)
(*.f64 x 4481/100000)
(*.f64 4481/100000 x)
(*.f64 x 4481/100000)
(*.f64 4481/100000 x)
(*.f64 x 4481/100000)
16316775383/10000000000
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(+.f64 16316775383/10000000000 (*.f64 x -2134856267379707/1000000000000000))
(+.f64 (.f64 -2134856267379707/1000000000000000 x) (+.f64 16316775383/10000000000 (.f64 134362287316698645903/100000000000000000000 (pow.f64 x 2))))
(+.f64 (.f64 x -2134856267379707/1000000000000000) (+.f64 16316775383/10000000000 (.f64 (pow.f64 x 2) 134362287316698645903/100000000000000000000)))
(+.f64 (+.f64 16316775383/10000000000 (.f64 x -2134856267379707/1000000000000000)) (.f64 (pow.f64 x 2) 134362287316698645903/100000000000000000000))
(+.f64 16316775383/10000000000 (+.f64 (.f64 x -2134856267379707/1000000000000000) (.f64 (pow.f64 x 2) 134362287316698645903/100000000000000000000)))
(+.f64 (.f64 -2134856267379707/1000000000000000 x) (+.f64 16316775383/10000000000 (+.f64 (.f64 134362287316698645903/100000000000000000000 (pow.f64 x 2)) (*.f64 -12692862305735843227608787/10000000000000000000000000 (pow.f64 x 3)))))
(+.f64 (.f64 x -2134856267379707/1000000000000000) (+.f64 16316775383/10000000000 (+.f64 (.f64 (pow.f64 x 2) 134362287316698645903/100000000000000000000) (*.f64 (pow.f64 x 3) -12692862305735843227608787/10000000000000000000000000))))
(+.f64 (+.f64 16316775383/10000000000 (.f64 x -2134856267379707/1000000000000000)) (+.f64 (.f64 (pow.f64 x 2) 134362287316698645903/100000000000000000000) (*.f64 (pow.f64 x 3) -12692862305735843227608787/10000000000000000000000000)))
(*.f64 -70711/100000 x)
(*.f64 x -70711/100000)
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(+.f64 (.f64 x -70711/100000) (.f64 (/.f64 1 x) 1913510371/448100000))
(-.f64 (+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x)) (*.f64 3648757816023/62748003125 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 x -70711/100000) (-.f64 (.f64 (/.f64 1 x) 1913510371/448100000) (*.f64 (/.f64 1 (pow.f64 x 2)) 3648757816023/62748003125)))
(+.f64 (.f64 (/.f64 1 x) 1913510371/448100000) (-.f64 (.f64 x -70711/100000) (*.f64 (/.f64 1 (pow.f64 x 2)) 3648757816023/62748003125)))
(-.f64 (+.f64 (.f64 335267464412236892/281173802003125 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))) (.f64 3648757816023/62748003125 (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (+.f64 (.f64 x -70711/100000) (.f64 (/.f64 1 x) 1913510371/448100000)) (.f64 (/.f64 1 (pow.f64 x 3)) 335267464412236892/281173802003125)) (.f64 (/.f64 1 (pow.f64 x 2)) 3648757816023/62748003125))
(+.f64 (.f64 (/.f64 1 (pow.f64 x 3)) 335267464412236892/281173802003125) (+.f64 (.f64 (/.f64 1 x) 1913510371/448100000) (-.f64 (.f64 x -70711/100000) (.f64 (/.f64 1 (pow.f64 x 2)) 3648757816023/62748003125))))
(+.f64 (+.f64 (.f64 x -70711/100000) (-.f64 (.f64 (/.f64 1 x) 1913510371/448100000) (.f64 (/.f64 1 (pow.f64 x 2)) 3648757816023/62748003125))) (.f64 (/.f64 1 (pow.f64 x 3)) 335267464412236892/281173802003125))
(+.f64 (.f64 x -70711/100000) (+.f64 (.f64 (/.f64 1 (pow.f64 x 3)) 335267464412236892/281173802003125) (-.f64 (.f64 (/.f64 1 x) 1913510371/448100000) (.f64 (/.f64 1 (pow.f64 x 2)) 3648757816023/62748003125))))
(*.f64 -70711/100000 x)
(*.f64 x -70711/100000)
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(+.f64 (.f64 x -70711/100000) (.f64 (/.f64 1 x) 1913510371/448100000))
(-.f64 (+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x)) (*.f64 3648757816023/62748003125 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 x -70711/100000) (-.f64 (.f64 (/.f64 1 x) 1913510371/448100000) (*.f64 (/.f64 1 (pow.f64 x 2)) 3648757816023/62748003125)))
(+.f64 (.f64 (/.f64 1 x) 1913510371/448100000) (-.f64 (.f64 x -70711/100000) (*.f64 (/.f64 1 (pow.f64 x 2)) 3648757816023/62748003125)))
(-.f64 (+.f64 (.f64 335267464412236892/281173802003125 (/.f64 1 (pow.f64 x 3))) (+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))) (.f64 3648757816023/62748003125 (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (+.f64 (.f64 x -70711/100000) (.f64 (/.f64 1 x) 1913510371/448100000)) (.f64 (/.f64 1 (pow.f64 x 3)) 335267464412236892/281173802003125)) (.f64 (/.f64 1 (pow.f64 x 2)) 3648757816023/62748003125))
(+.f64 (.f64 (/.f64 1 (pow.f64 x 3)) 335267464412236892/281173802003125) (+.f64 (.f64 (/.f64 1 x) 1913510371/448100000) (-.f64 (.f64 x -70711/100000) (.f64 (/.f64 1 (pow.f64 x 2)) 3648757816023/62748003125))))
(+.f64 (+.f64 (.f64 x -70711/100000) (-.f64 (.f64 (/.f64 1 x) 1913510371/448100000) (.f64 (/.f64 1 (pow.f64 x 2)) 3648757816023/62748003125))) (.f64 (/.f64 1 (pow.f64 x 3)) 335267464412236892/281173802003125))
(+.f64 (.f64 x -70711/100000) (+.f64 (.f64 (/.f64 1 (pow.f64 x 3)) 335267464412236892/281173802003125) (-.f64 (.f64 (/.f64 1 x) 1913510371/448100000) (.f64 (/.f64 1 (pow.f64 x 2)) 3648757816023/62748003125))))
(+.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) 0)
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(+.f64 0 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(+.f64 -1 (-.f64 1 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (-.f64 -1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(+.f64 (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2) (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) 0)
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(-.f64 0 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (-.f64 -1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(-.f64 (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2) (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(-.f64 (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2) (/.f64 (neg.f64 (+.f64 230753/100000 (.f64 x 27061/100000))) (+.f64 2 (.f64 x (.f64 (+.f64 99229/100000 (*.f64 x 4481/100000)) 2)))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (.f64 (.f64 2 (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))) 1/2))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (.f64 (/.f64 2 (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) 1/2))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 1 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 1)
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 -1 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x 27061/50000))) (/.f64 1/2 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x 27061/50000))) (.f64 (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) 1/2))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x 27061/50000))) (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 1/2) 1))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 2 (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 2 (.f64 (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) 2) 1))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 2 (.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) 2) (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 2 (.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) 1/2))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 2 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (/.f64 1/2 (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 2 (.f64 (/.f64 1/2 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) (+.f64 230753/100000 (*.f64 x 27061/100000))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (/.f64 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) -2) (-.f64 -1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) 1/2)
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) 4) (/.f64 2 (.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) 8)))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) 4) (.f64 (/.f64 2 (.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))) 8)) 1))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) 4) (.f64 1/4 (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) 4) (.f64 1/2 (/.f64 1/2 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) (+.f64 230753/100000 (.f64 x 27061/100000)))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (neg.f64 (+.f64 230753/100000 (.f64 x 27061/100000))) (/.f64 1 (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (neg.f64 (+.f64 230753/100000 (.f64 x 27061/100000))) (.f64 (/.f64 1 (-.f64 -1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) 1))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 1/2 (/.f64 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) -2) (-.f64 -1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (/.f64 1/2 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x 27061/50000))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 1/2) (+.f64 230753/100000 (+.f64 230753/100000 (*.f64 x 27061/50000))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) -1)
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (/.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) 2) 2)
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (/.f64 2 (.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) 8)) (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) 4))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(.f64 (/.f64 1 (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) (neg.f64 (+.f64 230753/100000 (.f64 x 27061/100000))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(neg.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (-.f64 -1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(neg.f64 (/.f64 (/.f64 (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (+.f64 230753/100000 (.f64 x 27061/100000))) (.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (/.f64 (/.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (+.f64 230753/100000 (.f64 x 27061/100000))) (+.f64 230753/100000 (.f64 x 27061/100000))))))
(neg.f64 (/.f64 (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (/.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 230753/100000 (.f64 x 27061/100000))))))))
(/.f64 (/.f64 (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (/.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 230753/100000 (.f64 x 27061/100000)))))) (neg.f64 (+.f64 230753/100000 (*.f64 x 27061/100000))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (/.f64 (/.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (+.f64 230753/100000 (.f64 x 27061/100000))) (/.f64 (/.f64 (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (+.f64 230753/100000 (.f64 x 27061/100000))) (neg.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))))
(/.f64 (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 230753/100000 (.f64 x 27061/100000))) (/.f64 (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (/.f64 (-.f64 -1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (/.f64 (.f64 (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000)))) (+.f64 (.f64 x 27061/50000) 230753/50000)) (+.f64 (.f64 x 27061/50000) 230753/50000)))
(neg.f64 (/.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x 27061/50000))) (neg.f64 (+.f64 2 (.f64 x (.f64 (+.f64 99229/100000 (.f64 x 4481/100000)) 2))))))
(/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000)))))
(+.f64 (*.f64 x 27061/100000) 0)
(*.f64 x 27061/100000)
(+.f64 0 (*.f64 x 27061/100000))
(*.f64 x 27061/100000)
(+.f64 (/.f64 (.f64 x 27061/100000) 2) (/.f64 (.f64 x 27061/100000) 2))
(*.f64 x 27061/100000)
(-.f64 (*.f64 x 27061/100000) 0)
(*.f64 x 27061/100000)
(/.f64 (*.f64 x 27061/100000) 1)
(*.f64 x 27061/100000)
(/.f64 (*.f64 x 27061/50000) 2)
(*.f64 x 27061/100000)
(/.f64 (*.f64 x 27061/25000) 4)
(*.f64 x 27061/100000)
(/.f64 (.f64 2 (.f64 x 27061/25000)) 8)
(*.f64 x 27061/100000)
(/.f64 (.f64 2 (.f64 2 (*.f64 x 27061/25000))) 16)
(*.f64 x 27061/100000)
(+.f64 (*.f64 x 4481/100000) 0)
(*.f64 x 4481/100000)
(+.f64 0 (*.f64 x 4481/100000))
(*.f64 x 4481/100000)
(+.f64 (/.f64 (.f64 x 4481/100000) 2) (/.f64 (.f64 x 4481/100000) 2))
(*.f64 x 4481/100000)
(-.f64 (*.f64 x 4481/100000) 0)
(*.f64 x 4481/100000)
(/.f64 (*.f64 x 4481/100000) 1)
(*.f64 x 4481/100000)
(/.f64 (*.f64 x 4481/50000) 2)
(*.f64 x 4481/100000)
(/.f64 (*.f64 x 4481/25000) 4)
(*.f64 x 4481/100000)
(/.f64 (.f64 2 (.f64 x 4481/25000)) 8)
(*.f64 x 4481/100000)
(/.f64 (.f64 2 (.f64 2 (*.f64 x 4481/25000))) 16)
(*.f64 x 4481/100000)
(+.f64 (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)) 0)
(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))
(+.f64 0 (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)))
(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))
(+.f64 (/.f64 (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)) 2) (/.f64 (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)) 2))
(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))
(-.f64 (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)) 0)
(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))
(/.f64 (.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x)) 1)
(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))
(/.f64 (.f64 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x) 70711/50000) 2)
(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))
(/.f64 (.f64 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x) 70711/25000) 4)
(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))
(/.f64 (.f64 2 (.f64 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) x) 70711/25000)) 8)
(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))
(/.f64 (.f64 2 (.f64 2 (.f64 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x) 70711/25000))) 16)
(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))

eval52.0ms (1.2%)

Compiler: Compiled 2625 to 2151 computations (18.1% saved)

prune18.0ms (0.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	111	6	117
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	111	7	118

Error

0.1b

Counts

118 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	26.9b	(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
▶	31.0b	(*.f64 x -70711/100000)
✓	0.1b	(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))
▶	30.9b	(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))
▶	26.9b	(.f64 70711/100000 (-.f64 (+.f64 230753/100000 (.f64 -20191289437/10000000000 x)) x))
▶	1.4b	(*.f64 70711/100000 (-.f64 230753/100000 x))
	31.7b	16316775383/10000000000

Compiler

Compiled 90 to 72 computations (20% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 230753/100000 x)
✓	0.1b	(*.f64 70711/100000 (-.f64 230753/100000 x))

Compiler

Compiled 12 to 9 computations (25% saved)

series1.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite101.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1838×	`bool.json-1`
1838×	`bool.json-2`
1076×	`rational.json-1`
1076×	`rational.json-2`
1076×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	20
1	69	20
2	190	20
3	396	20
4	797	20
5	1700	20
6	4075	20
7	7219	20

Stop Event

1×	node limit

Counts

2 → 47

Calls

Call 1

Inputs
(*.f64 70711/100000 (-.f64 230753/100000 x))
(-.f64 230753/100000 x)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 x -230753/100000) -70711/100000) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (+.f64 x -230753/100000) -70711/100000))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 230753/100000 x) 70711/200000) (.f64 (-.f64 230753/100000 x) 70711/200000))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (+.f64 x -230753/100000) -70711/100000) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x -230753/100000) -70711/100000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x -230753/100000) -70711/50000) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x -230753/100000) -70711/25000) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 230753/100000 x) 70711/12500) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (-.f64 230753/100000 x) 70711/12500)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (-.f64 230753/100000 x) 70711/12500))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (-.f64 230753/100000 x) 70711/12500))) (.f64 2 (.f64 2 (.f64 (-.f64 230753/100000 x) 70711/12500)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 (+.f64 x -230753/100000) -70711/100000)))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 (+.f64 x -230753/100000) -70711/100000) (.f64 (+.f64 x -230753/100000) -70711/100000))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 (+.f64 x -230753/100000) -70711/100000) (*.f64 (+.f64 x -230753/100000) -70711/100000))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 230753/100000 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 230753/100000 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (neg.f64 (+.f64 x -330753/100000)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 x -330753/100000)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -2 (-.f64 1 (+.f64 x -330753/100000)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 230753/100000 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 230753/100000 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (+.f64 x -230753/100000) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x -230753/100000) -2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x -230753/100000) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 (+.f64 x -230753/100000) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 230753/100000 x) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (+.f64 x -230753/100000))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (.f64 (.f64 (+.f64 x -230753/100000) 1/2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x (+.f64 x -230753/50000)) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 230753/100000 x) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (+.f64 x -230753/100000) -2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x -230753/100000) -1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -2 (.f64 (+.f64 x -230753/100000) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (-.f64 230753/100000 x) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x -230753/100000) -1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 230753/100000 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x -230753/100000) -2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x -230753/100000) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 230753/100000 x) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (+.f64 x -230753/50000)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 230753/100000 x) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x -230753/100000) 4) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (-.f64 230753/100000 x) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 x -230753/100000) 4)) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (-.f64 230753/100000 x) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 (+.f64 x -230753/100000) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (-.f64 230753/100000 x) 8))) (.f64 2 (.f64 2 (.f64 (-.f64 230753/100000 x) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (.f64 (+.f64 x -230753/100000) 4)) (neg.f64 (.f64 (+.f64 x -230753/100000) 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 x -230753/100000))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (-.f64 230753/100000 x)))))) (#(struct:change #<rule egg-rr> (2) ((x and (-.f64 230753/100000 x) (-.f64 230753/100000 x))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 230753/100000 x) (-.f64 230753/100000 x))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x -230753/100000) -70711/100000) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (+.f64 x -230753/100000) -70711/100000))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 230753/100000 x) 70711/200000) (*.f64 (-.f64 230753/100000 x) 70711/200000))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 x -230753/100000) -70711/100000) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x -230753/100000) -70711/100000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x -230753/100000) -70711/50000) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x -230753/100000) -70711/25000) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 230753/100000 x) 70711/12500) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (-.f64 230753/100000 x) 70711/12500)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 230753/100000 x) 70711/12500))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 230753/100000 x) 70711/12500))) (*.f64 2 (*.f64 2 (*.f64 (-.f64 230753/100000 x) 70711/12500)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 (+.f64 x -230753/100000) -70711/100000)))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 (+.f64 x -230753/100000) -70711/100000) (*.f64 (+.f64 x -230753/100000) -70711/100000))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (+.f64 x -230753/100000) -70711/100000) (*.f64 (+.f64 x -230753/100000) -70711/100000))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 230753/100000 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 230753/100000 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (neg.f64 (+.f64 x -330753/100000)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 x -330753/100000)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x -230753/100000) -1/2) (*.f64 (+.f64 x -230753/100000) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -2 (-.f64 1 (+.f64 x -330753/100000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 230753/100000 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 230753/100000 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 x -230753/100000) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x -230753/100000) -2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x -230753/100000) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (+.f64 x -230753/100000) -1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 230753/100000 x) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (+.f64 x -230753/100000))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 (*.f64 (+.f64 x -230753/100000) 1/2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (+.f64 x -230753/50000)) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 230753/100000 x) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 x -230753/100000) -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x -230753/100000) -1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -2 (*.f64 (+.f64 x -230753/100000) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (-.f64 230753/100000 x) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x -230753/100000) -1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 230753/100000 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x -230753/100000) -2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x -230753/100000) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 230753/100000 x) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (+.f64 x -230753/50000)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 230753/100000 x) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x -230753/100000) 4) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (-.f64 230753/100000 x) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 x -230753/100000) 4)) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 230753/100000 x) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (+.f64 x -230753/100000) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 230753/100000 x) 8))) (*.f64 2 (*.f64 2 (*.f64 (-.f64 230753/100000 x) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (*.f64 (+.f64 x -230753/100000) 4)) (neg.f64 (*.f64 (+.f64 x -230753/100000) 4))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 x -230753/100000))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (-.f64 230753/100000 x)))))) (#(struct:change #<rule egg-rr> (2) ((x and (-.f64 230753/100000 x) (-.f64 230753/100000 x))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 230753/100000 x) (-.f64 230753/100000 x))))))

simplify219.0ms (5%)

Algorithm

1×	egg-herbie

Rules

4060×	`rational.json-simplify-41`
2148×	`rational.json-simplify-49`
2120×	`rational.json-simplify-35`
954×	`rational.json-simplify-2`
626×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	111	1259
1	232	735
2	466	735
3	1268	735
4	2457	735
5	2995	735
6	3149	735
7	3274	735
8	3373	735
9	3470	735
10	3567	735
11	3664	735
12	3761	735
13	3858	735
14	3955	735
15	3955	735

Stop Event

1×	node limit

Counts

71 → 61

Calls

Call 1

Inputs
16316775383/10000000000
(+.f64 16316775383/10000000000 (*.f64 -70711/100000 x))
(+.f64 16316775383/10000000000 (*.f64 -70711/100000 x))
(+.f64 16316775383/10000000000 (*.f64 -70711/100000 x))
(*.f64 -70711/100000 x)
(+.f64 16316775383/10000000000 (*.f64 -70711/100000 x))
(+.f64 16316775383/10000000000 (*.f64 -70711/100000 x))
(+.f64 16316775383/10000000000 (*.f64 -70711/100000 x))
(*.f64 -70711/100000 x)
(+.f64 16316775383/10000000000 (*.f64 -70711/100000 x))
(+.f64 16316775383/10000000000 (*.f64 -70711/100000 x))
(+.f64 16316775383/10000000000 (*.f64 -70711/100000 x))
230753/100000
(+.f64 230753/100000 (*.f64 -1 x))
(+.f64 230753/100000 (*.f64 -1 x))
(+.f64 230753/100000 (*.f64 -1 x))
(*.f64 -1 x)
(+.f64 230753/100000 (*.f64 -1 x))
(+.f64 230753/100000 (*.f64 -1 x))
(+.f64 230753/100000 (*.f64 -1 x))
(*.f64 -1 x)
(+.f64 230753/100000 (*.f64 -1 x))
(+.f64 230753/100000 (*.f64 -1 x))
(+.f64 230753/100000 (*.f64 -1 x))
(+.f64 (*.f64 (+.f64 x -230753/100000) -70711/100000) 0)
(+.f64 0 (*.f64 (+.f64 x -230753/100000) -70711/100000))
(+.f64 (.f64 (-.f64 230753/100000 x) 70711/200000) (.f64 (-.f64 230753/100000 x) 70711/200000))
(-.f64 (*.f64 (+.f64 x -230753/100000) -70711/100000) 0)
(/.f64 (*.f64 (+.f64 x -230753/100000) -70711/100000) 1)
(/.f64 (*.f64 (+.f64 x -230753/100000) -70711/50000) 2)
(/.f64 (*.f64 (+.f64 x -230753/100000) -70711/25000) 4)
(/.f64 (*.f64 (-.f64 230753/100000 x) 70711/12500) 8)
(/.f64 (.f64 2 (.f64 (-.f64 230753/100000 x) 70711/12500)) 16)
(/.f64 (.f64 2 (.f64 2 (*.f64 (-.f64 230753/100000 x) 70711/12500))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (-.f64 230753/100000 x) 70711/12500))) (.f64 2 (.f64 2 (.f64 (-.f64 230753/100000 x) 70711/12500)))) 64)
(+.f64 (-.f64 230753/100000 x) 0)
(+.f64 0 (-.f64 230753/100000 x))
(+.f64 -1 (neg.f64 (+.f64 x -330753/100000)))
(+.f64 (neg.f64 (+.f64 x -330753/100000)) -1)
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(+.f64 -2 (-.f64 1 (+.f64 x -330753/100000)))
(*.f64 (-.f64 230753/100000 x) 1)
(*.f64 1 (-.f64 230753/100000 x))
(.f64 2 (.f64 (+.f64 x -230753/100000) -1/2))
(.f64 (.f64 (+.f64 x -230753/100000) -2) 1/2)
(*.f64 (+.f64 x -230753/100000) -1)
(.f64 4 (.f64 (+.f64 x -230753/100000) -1/4))
(.f64 (.f64 (-.f64 230753/100000 x) 4) 1/4)
(*.f64 -1 (+.f64 x -230753/100000))
(.f64 -1 (.f64 (*.f64 (+.f64 x -230753/100000) 1/2) 2))
(*.f64 (+.f64 x (+.f64 x -230753/50000)) -1/2)
(.f64 (.f64 (-.f64 230753/100000 x) 8) 1/8)
(.f64 1/2 (.f64 (+.f64 x -230753/100000) -2))
(.f64 (.f64 (+.f64 x -230753/100000) -1/2) 2)
(.f64 -2 (.f64 (+.f64 x -230753/100000) 1/2))
(.f64 1/4 (.f64 (-.f64 230753/100000 x) 4))
(.f64 (.f64 (+.f64 x -230753/100000) -1/4) 4)
(/.f64 (-.f64 230753/100000 x) 1)
(/.f64 (*.f64 (+.f64 x -230753/100000) -2) 2)
(/.f64 (+.f64 x -230753/100000) -1)
(/.f64 (*.f64 (-.f64 230753/100000 x) 4) 4)
(/.f64 (+.f64 x (+.f64 x -230753/50000)) -2)
(/.f64 (*.f64 (-.f64 230753/100000 x) 8) 8)
(/.f64 (*.f64 (+.f64 x -230753/100000) 4) -4)
(/.f64 (.f64 2 (.f64 (-.f64 230753/100000 x) 8)) 16)
(/.f64 (.f64 2 (.f64 (+.f64 x -230753/100000) 4)) -8)
(/.f64 (.f64 2 (.f64 2 (*.f64 (-.f64 230753/100000 x) 8))) 32)
(/.f64 (neg.f64 (*.f64 (+.f64 x -230753/100000) 4)) 4)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (-.f64 230753/100000 x) 8))) (.f64 2 (.f64 2 (.f64 (-.f64 230753/100000 x) 8)))) 64)
(/.f64 (+.f64 (neg.f64 (.f64 (+.f64 x -230753/100000) 4)) (neg.f64 (.f64 (+.f64 x -230753/100000) 4))) 8)
(neg.f64 (+.f64 x -230753/100000))

Outputs
16316775383/10000000000
(+.f64 16316775383/10000000000 (*.f64 -70711/100000 x))
(+.f64 16316775383/10000000000 (*.f64 -70711/100000 x))
(+.f64 16316775383/10000000000 (*.f64 -70711/100000 x))
(*.f64 -70711/100000 x)
(+.f64 16316775383/10000000000 (*.f64 -70711/100000 x))
(+.f64 16316775383/10000000000 (*.f64 -70711/100000 x))
(+.f64 16316775383/10000000000 (*.f64 -70711/100000 x))
(*.f64 -70711/100000 x)
(+.f64 16316775383/10000000000 (*.f64 -70711/100000 x))
(+.f64 16316775383/10000000000 (*.f64 -70711/100000 x))
(+.f64 16316775383/10000000000 (*.f64 -70711/100000 x))
230753/100000
(+.f64 230753/100000 (*.f64 -1 x))
(+.f64 230753/100000 (*.f64 x -1))
(+.f64 230753/100000 (neg.f64 x))
(+.f64 230753/100000 (*.f64 -1 x))
(+.f64 230753/100000 (*.f64 x -1))
(+.f64 230753/100000 (neg.f64 x))
(+.f64 230753/100000 (*.f64 -1 x))
(+.f64 230753/100000 (*.f64 x -1))
(+.f64 230753/100000 (neg.f64 x))
(*.f64 -1 x)
(*.f64 x -1)
(neg.f64 x)
(+.f64 230753/100000 (*.f64 -1 x))
(+.f64 230753/100000 (*.f64 x -1))
(+.f64 230753/100000 (neg.f64 x))
(+.f64 230753/100000 (*.f64 -1 x))
(+.f64 230753/100000 (*.f64 x -1))
(+.f64 230753/100000 (neg.f64 x))
(+.f64 230753/100000 (*.f64 -1 x))
(+.f64 230753/100000 (*.f64 x -1))
(+.f64 230753/100000 (neg.f64 x))
(*.f64 -1 x)
(*.f64 x -1)
(neg.f64 x)
(+.f64 230753/100000 (*.f64 -1 x))
(+.f64 230753/100000 (*.f64 x -1))
(+.f64 230753/100000 (neg.f64 x))
(+.f64 230753/100000 (*.f64 -1 x))
(+.f64 230753/100000 (*.f64 x -1))
(+.f64 230753/100000 (neg.f64 x))
(+.f64 230753/100000 (*.f64 -1 x))
(+.f64 230753/100000 (*.f64 x -1))
(+.f64 230753/100000 (neg.f64 x))
(+.f64 (*.f64 (+.f64 x -230753/100000) -70711/100000) 0)
(*.f64 -70711/100000 (+.f64 x -230753/100000))
(+.f64 0 (*.f64 (+.f64 x -230753/100000) -70711/100000))
(*.f64 -70711/100000 (+.f64 x -230753/100000))
(+.f64 (.f64 (-.f64 230753/100000 x) 70711/200000) (.f64 (-.f64 230753/100000 x) 70711/200000))
(*.f64 (-.f64 230753/100000 x) 70711/100000)
(-.f64 (*.f64 (+.f64 x -230753/100000) -70711/100000) 0)
(*.f64 -70711/100000 (+.f64 x -230753/100000))
(/.f64 (*.f64 (+.f64 x -230753/100000) -70711/100000) 1)
(*.f64 -70711/100000 (+.f64 x -230753/100000))
(/.f64 (*.f64 (+.f64 x -230753/100000) -70711/50000) 2)
(*.f64 -70711/100000 (+.f64 x -230753/100000))
(/.f64 (*.f64 (+.f64 x -230753/100000) -70711/25000) 4)
(*.f64 -70711/100000 (+.f64 x -230753/100000))
(/.f64 (*.f64 (-.f64 230753/100000 x) 70711/12500) 8)
(+.f64 (.f64 (-.f64 230753/100000 x) 70711/200000) (.f64 (-.f64 230753/100000 x) 70711/200000))
(*.f64 (-.f64 230753/100000 x) 70711/100000)
(/.f64 (.f64 2 (.f64 (-.f64 230753/100000 x) 70711/12500)) 16)
(+.f64 (.f64 (-.f64 230753/100000 x) 70711/200000) (.f64 (-.f64 230753/100000 x) 70711/200000))
(*.f64 (-.f64 230753/100000 x) 70711/100000)
(/.f64 (.f64 2 (.f64 2 (*.f64 (-.f64 230753/100000 x) 70711/12500))) 32)
(+.f64 (.f64 (-.f64 230753/100000 x) 70711/200000) (.f64 (-.f64 230753/100000 x) 70711/200000))
(*.f64 (-.f64 230753/100000 x) 70711/100000)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (-.f64 230753/100000 x) 70711/12500))) (.f64 2 (.f64 2 (.f64 (-.f64 230753/100000 x) 70711/12500)))) 64)
(+.f64 (.f64 (-.f64 230753/100000 x) 70711/200000) (.f64 (-.f64 230753/100000 x) 70711/200000))
(*.f64 (-.f64 230753/100000 x) 70711/100000)
(+.f64 (-.f64 230753/100000 x) 0)
(-.f64 230753/100000 x)
(+.f64 0 (-.f64 230753/100000 x))
(-.f64 230753/100000 x)
(+.f64 -1 (neg.f64 (+.f64 x -330753/100000)))
(-.f64 -1 (+.f64 x -330753/100000))
(+.f64 (neg.f64 (+.f64 x -330753/100000)) -1)
(+.f64 -1 (neg.f64 (+.f64 x -330753/100000)))
(-.f64 -1 (+.f64 x -330753/100000))
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(neg.f64 (+.f64 x -230753/100000))
(+.f64 -2 (-.f64 1 (+.f64 x -330753/100000)))
(+.f64 -1 (neg.f64 (+.f64 x -330753/100000)))
(-.f64 -1 (+.f64 x -330753/100000))
(*.f64 (-.f64 230753/100000 x) 1)
(-.f64 230753/100000 x)
(*.f64 1 (-.f64 230753/100000 x))
(-.f64 230753/100000 x)
(.f64 2 (.f64 (+.f64 x -230753/100000) -1/2))
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(neg.f64 (+.f64 x -230753/100000))
(.f64 (.f64 (+.f64 x -230753/100000) -2) 1/2)
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(neg.f64 (+.f64 x -230753/100000))
(*.f64 (+.f64 x -230753/100000) -1)
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(neg.f64 (+.f64 x -230753/100000))
(.f64 4 (.f64 (+.f64 x -230753/100000) -1/4))
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(neg.f64 (+.f64 x -230753/100000))
(.f64 (.f64 (-.f64 230753/100000 x) 4) 1/4)
(-.f64 230753/100000 x)
(*.f64 -1 (+.f64 x -230753/100000))
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(neg.f64 (+.f64 x -230753/100000))
(.f64 -1 (.f64 (*.f64 (+.f64 x -230753/100000) 1/2) 2))
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(neg.f64 (+.f64 x -230753/100000))
(*.f64 (+.f64 x (+.f64 x -230753/50000)) -1/2)
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(neg.f64 (+.f64 x -230753/100000))
(.f64 (.f64 (-.f64 230753/100000 x) 8) 1/8)
(-.f64 230753/100000 x)
(.f64 1/2 (.f64 (+.f64 x -230753/100000) -2))
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(neg.f64 (+.f64 x -230753/100000))
(.f64 (.f64 (+.f64 x -230753/100000) -1/2) 2)
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(neg.f64 (+.f64 x -230753/100000))
(.f64 -2 (.f64 (+.f64 x -230753/100000) 1/2))
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(neg.f64 (+.f64 x -230753/100000))
(.f64 1/4 (.f64 (-.f64 230753/100000 x) 4))
(-.f64 230753/100000 x)
(.f64 (.f64 (+.f64 x -230753/100000) -1/4) 4)
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(neg.f64 (+.f64 x -230753/100000))
(/.f64 (-.f64 230753/100000 x) 1)
(-.f64 230753/100000 x)
(/.f64 (*.f64 (+.f64 x -230753/100000) -2) 2)
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(neg.f64 (+.f64 x -230753/100000))
(/.f64 (+.f64 x -230753/100000) -1)
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(neg.f64 (+.f64 x -230753/100000))
(/.f64 (*.f64 (-.f64 230753/100000 x) 4) 4)
(-.f64 230753/100000 x)
(/.f64 (+.f64 x (+.f64 x -230753/50000)) -2)
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(neg.f64 (+.f64 x -230753/100000))
(/.f64 (*.f64 (-.f64 230753/100000 x) 8) 8)
(-.f64 230753/100000 x)
(/.f64 (*.f64 (+.f64 x -230753/100000) 4) -4)
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(neg.f64 (+.f64 x -230753/100000))
(/.f64 (.f64 2 (.f64 (-.f64 230753/100000 x) 8)) 16)
(-.f64 230753/100000 x)
(/.f64 (.f64 2 (.f64 (+.f64 x -230753/100000) 4)) -8)
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(neg.f64 (+.f64 x -230753/100000))
(/.f64 (.f64 2 (.f64 2 (*.f64 (-.f64 230753/100000 x) 8))) 32)
(-.f64 230753/100000 x)
(/.f64 (neg.f64 (*.f64 (+.f64 x -230753/100000) 4)) 4)
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(neg.f64 (+.f64 x -230753/100000))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (-.f64 230753/100000 x) 8))) (.f64 2 (.f64 2 (.f64 (-.f64 230753/100000 x) 8)))) 64)
(-.f64 230753/100000 x)
(/.f64 (+.f64 (neg.f64 (.f64 (+.f64 x -230753/100000) 4)) (neg.f64 (.f64 (+.f64 x -230753/100000) 4))) 8)
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))
(neg.f64 (+.f64 x -230753/100000))
(neg.f64 (+.f64 x -230753/100000))
(+.f64 (.f64 (+.f64 x -230753/100000) -1/2) (.f64 (+.f64 x -230753/100000) -1/2))

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 x -70711/100000)

Compiler

Compiled 6 to 4 computations (33.3% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite84.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1622×	`rational.json-simplify-35`
1348×	`bool.json-1`
1348×	`bool.json-2`
1290×	`rational.json-1`
1290×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	51	7
2	154	7
3	326	7
4	651	7
5	1362	7
6	3149	7
7	5749	7

Stop Event

1×	node limit

Counts

1 → 12

Calls

Call 1

Inputs
(*.f64 x -70711/100000)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x -70711/100000) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x -70711/100000))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x -70711/200000) (*.f64 x -70711/200000))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x -70711/100000) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x -70711/100000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x -70711/50000) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x -70711/25000) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x -70711/12500) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 x -70711/12500)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 x -70711/12500))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 x -70711/12500)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 x -70711/12500)))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 x -70711/12500))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 x -70711/100000)))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 x -70711/100000) (*.f64 x -70711/100000))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 x -70711/100000) (*.f64 x -70711/100000))))))

simplify644.0ms (14.8%)

Algorithm

1×	egg-herbie

Rules

8952×	`rational.json-simplify-41`
2174×	`rational.json-simplify-35`
1182×	`rational.json-simplify-2`
812×	`rational.json-simplify-1`
556×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	168
1	89	168
2	160	168
3	365	168
4	822	168
5	2335	168
6	3127	168
7	3218	168
8	3264	168
9	3306	168
10	3345	168
11	3383	168
12	3453	168
13	3490	168
14	3527	168
15	3564	168
16	3601	168
17	3638	168
18	3675	168
19	3712	168
20	3749	168
21	3786	168
22	3823	168
23	3860	168
24	3897	168
25	3934	168
26	3971	168
27	4008	168
28	4045	168
29	4082	168
30	4119	168
31	4119	168
32	4156	168
33	4193	168
34	4230	168
35	4267	168

Stop Event

1×	node limit

Counts

24 → 13

Calls

Call 1

Inputs
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(+.f64 (*.f64 x -70711/100000) 0)
(+.f64 0 (*.f64 x -70711/100000))
(+.f64 (.f64 x -70711/200000) (.f64 x -70711/200000))
(-.f64 (*.f64 x -70711/100000) 0)
(/.f64 (*.f64 x -70711/100000) 1)
(/.f64 (*.f64 x -70711/50000) 2)
(/.f64 (*.f64 x -70711/25000) 4)
(/.f64 (*.f64 x -70711/12500) 8)
(/.f64 (.f64 2 (.f64 x -70711/12500)) 16)
(/.f64 (.f64 2 (.f64 2 (*.f64 x -70711/12500))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 x -70711/12500)))) 64)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 x -70711/12500)))) (.f64 2 (.f64 2 (.f64 2 (.f64 x -70711/12500))))) 128)

Outputs
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(*.f64 -70711/100000 x)
(+.f64 (*.f64 x -70711/100000) 0)
(*.f64 -70711/100000 x)
(+.f64 0 (*.f64 x -70711/100000))
(*.f64 -70711/100000 x)
(+.f64 (.f64 x -70711/200000) (.f64 x -70711/200000))
(*.f64 -70711/100000 x)
(-.f64 (*.f64 x -70711/100000) 0)
(*.f64 -70711/100000 x)
(/.f64 (*.f64 x -70711/100000) 1)
(*.f64 -70711/100000 x)
(/.f64 (*.f64 x -70711/50000) 2)
(*.f64 -70711/100000 x)
(/.f64 (*.f64 x -70711/25000) 4)
(*.f64 -70711/100000 x)
(/.f64 (*.f64 x -70711/12500) 8)
(*.f64 -70711/100000 x)
(/.f64 (.f64 2 (.f64 x -70711/12500)) 16)
(*.f64 -70711/100000 x)
(/.f64 (.f64 2 (.f64 2 (*.f64 x -70711/12500))) 32)
(*.f64 -70711/100000 x)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 x -70711/12500)))) 64)
(*.f64 -70711/100000 x)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 x -70711/12500)))) (.f64 2 (.f64 2 (.f64 2 (.f64 x -70711/12500))))) 128)
(*.f64 -70711/100000 x)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
✓	0.3b	(*.f64 -2134856267379707/1000000000000000 x)

Compiler

Compiled 12 to 9 computations (25% saved)

series1.0ms (0%)

Counts

2 → 3

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	(*.f64 -2134856267379707/1000000000000000 x)
0.0ms	x	@	0	(*.f64 -2134856267379707/1000000000000000 x)
0.0ms	x	@	-inf	(*.f64 -2134856267379707/1000000000000000 x)
0.0ms	x	@	inf	(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
0.0ms	x	@	-inf	(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)

rewrite102.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1884×	`bool.json-1`
1884×	`bool.json-2`
1122×	`rational.json-1`
1122×	`rational.json-2`
1122×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	20
1	70	20
2	190	20
3	387	20
4	794	20
5	1706	20
6	4122	20
7	7264	20

Stop Event

1×	node limit

Counts

2 → 30

Calls

Call 1

Inputs
(*.f64 -2134856267379707/1000000000000000 x)
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -2134856267379707/1000000000000000 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 -2134856267379707/1000000000000000 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x -2134856267379707/2000000000000000) (*.f64 x -2134856267379707/2000000000000000))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 -2134856267379707/1000000000000000 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -2134856267379707/1000000000000000 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x -2134856267379707/500000000000000) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x -2134856267379707/250000000000000) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x -2134856267379707/125000000000000) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 x -2134856267379707/125000000000000)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 x -2134856267379707/125000000000000))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 x -2134856267379707/125000000000000))) (*.f64 2 (*.f64 2 (*.f64 x -2134856267379707/125000000000000)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 -2134856267379707/1000000000000000 x)))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 -2134856267379707/1000000000000000 x) (*.f64 -2134856267379707/1000000000000000 x))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 -2134856267379707/1000000000000000 x) (*.f64 -2134856267379707/1000000000000000 x))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x -2134856267379707/500000000000000) 16316775383/5000000000) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 x -2134856267379707/500000000000000) 16316775383/5000000000))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 x -2134856267379707/500000000000000) 16316775383/5000000000) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 8))) (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000))))))

simplify984.0ms (22.6%)

Algorithm

1×	egg-herbie

Rules

7456×	`rational.json-simplify-41`
3660×	`rational.json-simplify-35`
2682×	`rational.json-simplify-2`
2548×	`rational.json-simplify-51`
1340×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	68	339
1	141	339
2	365	339
3	1011	339
4	1950	339
5	2525	339
6	2638	339
7	2721	339
8	2783	339
9	2844	339
10	2905	339
11	2966	339
12	3027	339
13	3088	339
14	3149	339
15	3210	339
16	3271	339
17	3332	339
18	3393	339
19	4350	339
20	6089	339
21	6203	339
22	6262	339
23	6263	339
24	6263	339
25	7216	339
26	7217	339
27	7275	339
28	7330	339
29	7385	339
30	7440	339
31	7495	339
32	7550	339
33	7605	339
34	7660	339
35	7715	339
36	7770	339
37	7825	339
38	7880	339

Stop Event

1×	node limit

Counts

33 → 33

Calls

Call 1

Inputs
16316775383/10000000000
(*.f64 -2134856267379707/1000000000000000 x)
(*.f64 -2134856267379707/1000000000000000 x)
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 0)
(+.f64 0 (*.f64 -2134856267379707/1000000000000000 x))
(+.f64 (.f64 x -2134856267379707/2000000000000000) (.f64 x -2134856267379707/2000000000000000))
(-.f64 (*.f64 -2134856267379707/1000000000000000 x) 0)
(/.f64 (*.f64 -2134856267379707/1000000000000000 x) 1)
(/.f64 (*.f64 x -2134856267379707/500000000000000) 2)
(/.f64 (*.f64 x -2134856267379707/250000000000000) 4)
(/.f64 (*.f64 x -2134856267379707/125000000000000) 8)
(/.f64 (.f64 2 (.f64 x -2134856267379707/125000000000000)) 16)
(/.f64 (.f64 2 (.f64 2 (*.f64 x -2134856267379707/125000000000000))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 x -2134856267379707/125000000000000))) (.f64 2 (.f64 2 (.f64 x -2134856267379707/125000000000000)))) 64)
(-.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 0)
(.f64 (+.f64 (.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 1)
(.f64 1 (+.f64 (.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000))
(.f64 2 (.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 1/2))
(.f64 (+.f64 (.f64 x -2134856267379707/500000000000000) 16316775383/5000000000) 1/2)
(.f64 4 (.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 1/4))
(.f64 (.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 4) 1/4)
(.f64 (.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 8) 1/8)
(.f64 1/2 (+.f64 (.f64 x -2134856267379707/500000000000000) 16316775383/5000000000))
(.f64 (.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 1/2) 2)
(.f64 1/4 (.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 4))
(.f64 (.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 1/4) 4)
(/.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 1)
(/.f64 (+.f64 (*.f64 x -2134856267379707/500000000000000) 16316775383/5000000000) 2)
(/.f64 (.f64 (+.f64 (.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 4) 4)
(/.f64 (.f64 (+.f64 (.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 8)))) 64)

Outputs
16316775383/10000000000
(*.f64 -2134856267379707/1000000000000000 x)
(*.f64 -2134856267379707/1000000000000000 x)
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 0)
(*.f64 -2134856267379707/1000000000000000 x)
(+.f64 0 (*.f64 -2134856267379707/1000000000000000 x))
(*.f64 -2134856267379707/1000000000000000 x)
(+.f64 (.f64 x -2134856267379707/2000000000000000) (.f64 x -2134856267379707/2000000000000000))
(*.f64 -2134856267379707/1000000000000000 x)
(-.f64 (*.f64 -2134856267379707/1000000000000000 x) 0)
(*.f64 -2134856267379707/1000000000000000 x)
(/.f64 (*.f64 -2134856267379707/1000000000000000 x) 1)
(*.f64 -2134856267379707/1000000000000000 x)
(/.f64 (*.f64 x -2134856267379707/500000000000000) 2)
(*.f64 -2134856267379707/1000000000000000 x)
(/.f64 (*.f64 x -2134856267379707/250000000000000) 4)
(*.f64 -2134856267379707/1000000000000000 x)
(/.f64 (*.f64 x -2134856267379707/125000000000000) 8)
(*.f64 -2134856267379707/1000000000000000 x)
(/.f64 (.f64 2 (.f64 x -2134856267379707/125000000000000)) 16)
(*.f64 -2134856267379707/1000000000000000 x)
(/.f64 (.f64 2 (.f64 2 (*.f64 x -2134856267379707/125000000000000))) 32)
(*.f64 -2134856267379707/1000000000000000 x)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 x -2134856267379707/125000000000000))) (.f64 2 (.f64 2 (.f64 x -2134856267379707/125000000000000)))) 64)
(*.f64 -2134856267379707/1000000000000000 x)
(-.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 0)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(.f64 (+.f64 (.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 1)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(.f64 1 (+.f64 (.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000))
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(.f64 2 (.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 1/2))
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(.f64 (+.f64 (.f64 x -2134856267379707/500000000000000) 16316775383/5000000000) 1/2)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(.f64 4 (.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 1/4))
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(.f64 (.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 4) 1/4)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(.f64 (.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 8) 1/8)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(.f64 1/2 (+.f64 (.f64 x -2134856267379707/500000000000000) 16316775383/5000000000))
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(.f64 (.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 1/2) 2)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(.f64 1/4 (.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 4))
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(.f64 (.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 1/4) 4)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(/.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 1)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(/.f64 (+.f64 (*.f64 x -2134856267379707/500000000000000) 16316775383/5000000000) 2)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(/.f64 (.f64 (+.f64 (.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 4) 4)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(/.f64 (.f64 (+.f64 (.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 8) 8)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(/.f64 (.f64 2 (.f64 (+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 8)) 16)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 8))) 32)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000) 8)))) 64)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (/.f64 27061/4481 x) x)
✓	0.2b	(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))
✓	0.3b	(/.f64 27061/4481 x)

Compiler

Compiled 19 to 13 computations (31.6% saved)

series2.0ms (0.1%)

Counts

3 → 24

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))
0.0ms	x	@	0	(/.f64 27061/4481 x)
0.0ms	x	@	inf	(/.f64 27061/4481 x)
0.0ms	x	@	-inf	(/.f64 27061/4481 x)
0.0ms	x	@	inf	(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))

rewrite66.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1118×	`rational.json-simplify-35`
1044×	`bool.json-1`
1044×	`bool.json-2`
956×	`rational.json-1`
956×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	39
1	82	39
2	241	39
3	555	39
4	1244	39
5	3127	39

Stop Event

1×	node limit

Counts

3 → 77

Calls

Call 1

Inputs
(/.f64 27061/4481 x)
(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))
(-.f64 (/.f64 27061/4481 x) x)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 27061/4481 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 27061/4481 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 27061/8962 x) (/.f64 27061/8962 x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 27061/4481 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (/.f64 4481/27061 (*.f64 x (*.f64 x 20079361/732297721))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 27061/4481 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 27061/4481 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 27061/8962 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 54122/4481 x) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 4481/27061) (/.f64 1 (*.f64 x (*.f64 x 20079361/732297721))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 8962/27061) (/.f64 1/2 (*.f64 x (*.f64 x 20079361/732297721))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (/.f64 27061/4481 x) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 27061/4481 x) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (/.f64 54122/4481 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4481/27061 (/.f64 x (*.f64 x (*.f64 x 20079361/732297721))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 27061/8962 x) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 4481/54122) (/.f64 2 (*.f64 x (*.f64 x 20079361/732297721))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4481/54122 (/.f64 (+.f64 x x) (*.f64 x (*.f64 x 20079361/732297721))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 8962/27061 (/.f64 x (*.f64 x (*.f64 8962/27061 (*.f64 x 4481/27061)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (/.f64 27061/4481 x) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x x) (*.f64 x (*.f64 x 20079361/732297721))) 4481/54122)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (*.f64 x (*.f64 x 20079361/732297721))) 4481/27061)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 x (*.f64 x 20079361/732297721))) (*.f64 x 4481/27061))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 2 (*.f64 x (*.f64 x 20079361/732297721))) (*.f64 x 4481/54122))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/2 (*.f64 x (*.f64 x 20079361/732297721))) (*.f64 x 8962/27061))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 4481/27061 (*.f64 x (*.f64 x 20079361/732297721))) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (*.f64 x (*.f64 8962/27061 (*.f64 x 4481/27061)))) 8962/27061)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 27061/4481 x) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 -27061/4481 x))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (/.f64 27061/4481 x)))))) (#(struct:change #<rule egg-rr> (2) ((x and (/.f64 27061/4481 x) (/.f64 27061/4481 x))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 27061/4481 x) (/.f64 27061/4481 x))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 (/.f64 27061/4481 x) x) 70711/200000) (*.f64 (-.f64 (/.f64 27061/4481 x) x) 70711/200000))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (/.f64 27061/4481 x) x) 70711/50000) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (/.f64 27061/4481 x) x) 70711/25000) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 70711/25000) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 70711/25000)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 70711/25000)) (*.f64 2 (*.f64 (*.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 70711/25000))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x)) (*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x)) (*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 27061/4481 x) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 27061/4481 x) x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (/.f64 27061/4481 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 x) (/.f64 27061/4481 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (+.f64 (/.f64 27061/4481 x) (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (/.f64 27061/4481 x) (-.f64 1 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 x (/.f64 27061/4481 x)) -2) (/.f64 (-.f64 x (/.f64 27061/4481 x)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (+.f64 -1 (/.f64 4481/27061 (*.f64 x (*.f64 x 20079361/732297721)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (-.f64 (/.f64 4481/27061 (*.f64 x (*.f64 x 20079361/732297721))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 27061/4481 x) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (/.f64 27061/4481 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 (-.f64 x (/.f64 27061/4481 x)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (-.f64 (/.f64 27061/8962 x) (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (/.f64 27061/4481 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (-.f64 (/.f64 27061/4481 x) x) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (/.f64 27061/4481 x) x) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (-.f64 x (/.f64 27061/4481 x)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (-.f64 (/.f64 54122/4481 x) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 x -2) (/.f64 54122/4481 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (/.f64 54122/4481 x) (*.f64 x -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 x (/.f64 27061/4481 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (-.f64 (/.f64 27061/4481 x) x) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (+.f64 (*.f64 (/.f64 27061/4481 x) 4) (neg.f64 (*.f64 x 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (/.f64 27061/4481 x) x) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (/.f64 27061/4481 x) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 x (/.f64 27061/4481 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (/.f64 27061/4481 x) x) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (-.f64 x (/.f64 27061/4481 x))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (/.f64 27061/4481 x) x) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x (/.f64 27061/4481 x)) 4) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (-.f64 (/.f64 27061/4481 x) x) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 2 (-.f64 x (/.f64 27061/4481 x)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (-.f64 (/.f64 27061/4481 x) x) 8)) (*.f64 2 (*.f64 (-.f64 (/.f64 27061/4481 x) x) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (*.f64 2 (-.f64 x (/.f64 27061/4481 x)))) (neg.f64 (*.f64 2 (-.f64 x (/.f64 27061/4481 x))))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 x (/.f64 27061/4481 x)))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (-.f64 (/.f64 27061/4481 x) x)))))) (#(struct:change #<rule egg-rr> (2) ((x and (-.f64 (/.f64 27061/4481 x) x) (-.f64 (/.f64 27061/4481 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 (/.f64 27061/4481 x) x) (-.f64 (/.f64 27061/4481 x) x))))))

simplify122.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

1160×	`rational.json-simplify-61`
900×	`rational.json-simplify-35`
840×	`rational.json-simplify-1`
784×	`rational.json-simplify-44`
748×	`rational.json-simplify-2`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	170	1905
1	345	1777
2	740	1717
3	1962	1669
4	4476	1669
5	5542	1657
6	6939	1657

Stop Event

1×	node limit

Counts

101 → 109

Calls

Call 1

Inputs
(/.f64 1913510371/448100000 x)
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(*.f64 -70711/100000 x)
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(*.f64 -70711/100000 x)
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(/.f64 27061/4481 x)
(+.f64 (.f64 -1 x) (.f64 27061/4481 (/.f64 1 x)))
(+.f64 (.f64 -1 x) (.f64 27061/4481 (/.f64 1 x)))
(+.f64 (.f64 -1 x) (.f64 27061/4481 (/.f64 1 x)))
(*.f64 -1 x)
(+.f64 (.f64 -1 x) (.f64 27061/4481 (/.f64 1 x)))
(+.f64 (.f64 -1 x) (.f64 27061/4481 (/.f64 1 x)))
(+.f64 (.f64 -1 x) (.f64 27061/4481 (/.f64 1 x)))
(*.f64 -1 x)
(+.f64 (.f64 -1 x) (.f64 27061/4481 (/.f64 1 x)))
(+.f64 (.f64 -1 x) (.f64 27061/4481 (/.f64 1 x)))
(+.f64 (.f64 -1 x) (.f64 27061/4481 (/.f64 1 x)))
(+.f64 (/.f64 27061/4481 x) 0)
(+.f64 0 (/.f64 27061/4481 x))
(+.f64 (/.f64 27061/8962 x) (/.f64 27061/8962 x))
(-.f64 (/.f64 27061/4481 x) 0)
(.f64 x (/.f64 4481/27061 (.f64 x (*.f64 x 20079361/732297721))))
(*.f64 (/.f64 27061/4481 x) 1)
(*.f64 1 (/.f64 27061/4481 x))
(*.f64 2 (/.f64 27061/8962 x))
(*.f64 (/.f64 54122/4481 x) 1/2)
(.f64 (.f64 x 4481/27061) (/.f64 1 (.f64 x (.f64 x 20079361/732297721))))
(.f64 (.f64 x 8962/27061) (/.f64 1/2 (.f64 x (.f64 x 20079361/732297721))))
(*.f64 4 (/.f64 (/.f64 27061/4481 x) 4))
(.f64 (.f64 (/.f64 27061/4481 x) 4) 1/4)
(*.f64 1/2 (/.f64 54122/4481 x))
(.f64 4481/27061 (/.f64 x (.f64 x (*.f64 x 20079361/732297721))))
(*.f64 (/.f64 27061/8962 x) 2)
(.f64 (.f64 x 4481/54122) (/.f64 2 (.f64 x (.f64 x 20079361/732297721))))
(.f64 4481/54122 (/.f64 (+.f64 x x) (.f64 x (*.f64 x 20079361/732297721))))
(.f64 8962/27061 (/.f64 x (.f64 x (.f64 8962/27061 (.f64 x 4481/27061)))))
(.f64 1/4 (.f64 (/.f64 27061/4481 x) 4))
(.f64 (/.f64 (+.f64 x x) (.f64 x (*.f64 x 20079361/732297721))) 4481/54122)
(.f64 (/.f64 x (.f64 x (*.f64 x 20079361/732297721))) 4481/27061)
(.f64 (/.f64 1 (.f64 x (.f64 x 20079361/732297721))) (.f64 x 4481/27061))
(.f64 (/.f64 2 (.f64 x (.f64 x 20079361/732297721))) (.f64 x 4481/54122))
(.f64 (/.f64 1/2 (.f64 x (.f64 x 20079361/732297721))) (.f64 x 8962/27061))
(.f64 (/.f64 4481/27061 (.f64 x (*.f64 x 20079361/732297721))) x)
(.f64 (/.f64 x (.f64 x (.f64 8962/27061 (.f64 x 4481/27061)))) 8962/27061)
(*.f64 (/.f64 (/.f64 27061/4481 x) 4) 4)
(neg.f64 (/.f64 -27061/4481 x))
(+.f64 (*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x)) 0)
(+.f64 0 (*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x)))
(+.f64 (.f64 (-.f64 (/.f64 27061/4481 x) x) 70711/200000) (.f64 (-.f64 (/.f64 27061/4481 x) x) 70711/200000))
(-.f64 (*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x)) 0)
(/.f64 (*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x)) 1)
(/.f64 (*.f64 (-.f64 (/.f64 27061/4481 x) x) 70711/50000) 2)
(/.f64 (*.f64 (-.f64 (/.f64 27061/4481 x) x) 70711/25000) 4)
(/.f64 (.f64 (.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 70711/25000) 8)
(/.f64 (.f64 2 (.f64 (*.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 70711/25000)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 70711/25000)) (.f64 2 (.f64 (.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 70711/25000))) 32)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(+.f64 (-.f64 (/.f64 27061/4481 x) x) 0)
(+.f64 0 (-.f64 (/.f64 27061/4481 x) x))
(+.f64 (neg.f64 x) (/.f64 27061/4481 x))
(+.f64 -1 (+.f64 (/.f64 27061/4481 x) (-.f64 1 x)))
(+.f64 (+.f64 (/.f64 27061/4481 x) (-.f64 1 x)) -1)
(+.f64 (/.f64 (-.f64 x (/.f64 27061/4481 x)) -2) (/.f64 (-.f64 x (/.f64 27061/4481 x)) -2))
(.f64 x (+.f64 -1 (/.f64 4481/27061 (.f64 x (*.f64 x 20079361/732297721)))))
(.f64 x (-.f64 (/.f64 4481/27061 (.f64 x (*.f64 x 20079361/732297721))) 1))
(*.f64 (-.f64 (/.f64 27061/4481 x) x) 1)
(*.f64 1 (-.f64 (/.f64 27061/4481 x) x))
(*.f64 2 (/.f64 (-.f64 x (/.f64 27061/4481 x)) -2))
(.f64 2 (-.f64 (/.f64 27061/8962 x) (.f64 x 1/2)))
(.f64 (.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 1/2)
(*.f64 (-.f64 x (/.f64 27061/4481 x)) -1)
(*.f64 4 (/.f64 (-.f64 (/.f64 27061/4481 x) x) 4))
(.f64 (.f64 (-.f64 (/.f64 27061/4481 x) x) 4) 1/4)
(.f64 1/2 (.f64 (-.f64 x (/.f64 27061/4481 x)) -2))
(*.f64 1/2 (-.f64 (/.f64 54122/4481 x) (+.f64 x x)))
(.f64 1/2 (+.f64 (.f64 x -2) (/.f64 54122/4481 x)))
(.f64 1/2 (+.f64 (/.f64 54122/4481 x) (.f64 x -2)))
(*.f64 -1 (-.f64 x (/.f64 27061/4481 x)))
(*.f64 (/.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 2)
(.f64 1/4 (.f64 (-.f64 (/.f64 27061/4481 x) x) 4))
(.f64 1/4 (+.f64 (.f64 (/.f64 27061/4481 x) 4) (neg.f64 (*.f64 x 4))))
(*.f64 (/.f64 (-.f64 (/.f64 27061/4481 x) x) 4) 4)
(/.f64 (-.f64 (/.f64 27061/4481 x) x) 1)
(/.f64 (*.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 2)
(/.f64 (-.f64 x (/.f64 27061/4481 x)) -1)
(/.f64 (*.f64 (-.f64 (/.f64 27061/4481 x) x) 4) 4)
(/.f64 (*.f64 2 (-.f64 x (/.f64 27061/4481 x))) -2)
(/.f64 (*.f64 (-.f64 (/.f64 27061/4481 x) x) 8) 8)
(/.f64 (*.f64 (-.f64 x (/.f64 27061/4481 x)) 4) -4)
(/.f64 (.f64 2 (.f64 (-.f64 (/.f64 27061/4481 x) x) 8)) 16)
(/.f64 (neg.f64 (*.f64 2 (-.f64 x (/.f64 27061/4481 x)))) 2)
(/.f64 (+.f64 (.f64 2 (.f64 (-.f64 (/.f64 27061/4481 x) x) 8)) (.f64 2 (.f64 (-.f64 (/.f64 27061/4481 x) x) 8))) 32)
(/.f64 (+.f64 (neg.f64 (.f64 2 (-.f64 x (/.f64 27061/4481 x)))) (neg.f64 (.f64 2 (-.f64 x (/.f64 27061/4481 x))))) 4)
(neg.f64 (-.f64 x (/.f64 27061/4481 x)))

Outputs
(/.f64 1913510371/448100000 x)
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 x -70711/100000))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 x -70711/100000))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 x -70711/100000))
(*.f64 -70711/100000 x)
(*.f64 x -70711/100000)
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 x -70711/100000))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 x -70711/100000))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 x -70711/100000))
(*.f64 -70711/100000 x)
(*.f64 x -70711/100000)
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 x -70711/100000))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 x -70711/100000))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 -70711/100000 x))
(+.f64 (.f64 1913510371/448100000 (/.f64 1 x)) (.f64 x -70711/100000))
(/.f64 27061/4481 x)
(+.f64 (.f64 -1 x) (.f64 27061/4481 (/.f64 1 x)))
(+.f64 (*.f64 (/.f64 1 x) 27061/4481) (neg.f64 x))
(+.f64 (.f64 -1 x) (.f64 27061/4481 (/.f64 1 x)))
(+.f64 (*.f64 (/.f64 1 x) 27061/4481) (neg.f64 x))
(+.f64 (.f64 -1 x) (.f64 27061/4481 (/.f64 1 x)))
(+.f64 (*.f64 (/.f64 1 x) 27061/4481) (neg.f64 x))
(*.f64 -1 x)
(neg.f64 x)
(+.f64 (.f64 -1 x) (.f64 27061/4481 (/.f64 1 x)))
(+.f64 (*.f64 (/.f64 1 x) 27061/4481) (neg.f64 x))
(+.f64 (.f64 -1 x) (.f64 27061/4481 (/.f64 1 x)))
(+.f64 (*.f64 (/.f64 1 x) 27061/4481) (neg.f64 x))
(+.f64 (.f64 -1 x) (.f64 27061/4481 (/.f64 1 x)))
(+.f64 (*.f64 (/.f64 1 x) 27061/4481) (neg.f64 x))
(*.f64 -1 x)
(neg.f64 x)
(+.f64 (.f64 -1 x) (.f64 27061/4481 (/.f64 1 x)))
(+.f64 (*.f64 (/.f64 1 x) 27061/4481) (neg.f64 x))
(+.f64 (.f64 -1 x) (.f64 27061/4481 (/.f64 1 x)))
(+.f64 (*.f64 (/.f64 1 x) 27061/4481) (neg.f64 x))
(+.f64 (.f64 -1 x) (.f64 27061/4481 (/.f64 1 x)))
(+.f64 (*.f64 (/.f64 1 x) 27061/4481) (neg.f64 x))
(+.f64 (/.f64 27061/4481 x) 0)
(/.f64 27061/4481 x)
(+.f64 0 (/.f64 27061/4481 x))
(/.f64 27061/4481 x)
(+.f64 (/.f64 27061/8962 x) (/.f64 27061/8962 x))
(-.f64 (/.f64 27061/4481 x) 0)
(/.f64 27061/4481 x)
(.f64 x (/.f64 4481/27061 (.f64 x (*.f64 x 20079361/732297721))))
(.f64 x (/.f64 (/.f64 4481/27061 x) (.f64 x 20079361/732297721)))
(.f64 x (/.f64 27061/4481 (.f64 x x)))
(*.f64 (/.f64 27061/4481 x) 1)
(/.f64 27061/4481 x)
(*.f64 1 (/.f64 27061/4481 x))
(/.f64 27061/4481 x)
(*.f64 2 (/.f64 27061/8962 x))
(*.f64 (/.f64 27061/8962 x) 2)
(*.f64 (/.f64 54122/4481 x) 1/2)
(.f64 (.f64 x 4481/27061) (/.f64 1 (.f64 x (.f64 x 20079361/732297721))))
(.f64 (.f64 x 4481/27061) (/.f64 (/.f64 1 x) (*.f64 x 20079361/732297721)))
(.f64 x (.f64 4481/27061 (/.f64 1 (.f64 x (.f64 x 20079361/732297721)))))
(.f64 x (.f64 4481/27061 (/.f64 (/.f64 732297721/20079361 x) x)))
(.f64 (.f64 x 8962/27061) (/.f64 1/2 (.f64 x (.f64 x 20079361/732297721))))
(.f64 x (.f64 8962/27061 (/.f64 1/2 (.f64 x (.f64 x 20079361/732297721)))))
(.f64 x (.f64 8962/27061 (/.f64 (/.f64 732297721/40158722 x) x)))
(.f64 (.f64 x 8962/27061) (/.f64 (/.f64 732297721/40158722 x) x))
(*.f64 4 (/.f64 (/.f64 27061/4481 x) 4))
(/.f64 27061/4481 x)
(.f64 (.f64 (/.f64 27061/4481 x) 4) 1/4)
(/.f64 27061/4481 x)
(*.f64 1/2 (/.f64 54122/4481 x))
(*.f64 (/.f64 54122/4481 x) 1/2)
(.f64 4481/27061 (/.f64 x (.f64 x (*.f64 x 20079361/732297721))))
(.f64 4481/27061 (/.f64 (/.f64 x x) (.f64 x 20079361/732297721)))
(*.f64 4481/27061 (/.f64 732297721/20079361 x))
(*.f64 (/.f64 27061/8962 x) 2)
(.f64 (.f64 x 4481/54122) (/.f64 2 (.f64 x (.f64 x 20079361/732297721))))
(.f64 x (.f64 4481/54122 (/.f64 2 (.f64 x (.f64 x 20079361/732297721)))))
(.f64 x (.f64 4481/54122 (/.f64 (/.f64 1464595442/20079361 x) x)))
(.f64 4481/54122 (/.f64 (+.f64 x x) (.f64 x (*.f64 x 20079361/732297721))))
(.f64 4481/54122 (/.f64 (/.f64 (+.f64 x x) 20079361/732297721) (.f64 x x)))
(*.f64 4481/54122 (/.f64 -2 (/.f64 -1 (/.f64 732297721/20079361 x))))
(.f64 8962/27061 (/.f64 x (.f64 x (.f64 8962/27061 (.f64 x 4481/27061)))))
(.f64 8962/27061 (/.f64 x (.f64 x (*.f64 x 40158722/732297721))))
(.f64 8962/27061 (/.f64 (/.f64 x (.f64 x 40158722/732297721)) x))
(*.f64 8962/27061 (/.f64 732297721/40158722 x))
(.f64 1/4 (.f64 (/.f64 27061/4481 x) 4))
(/.f64 27061/4481 x)
(.f64 (/.f64 (+.f64 x x) (.f64 x (*.f64 x 20079361/732297721))) 4481/54122)
(.f64 4481/54122 (/.f64 (+.f64 x x) (.f64 x (*.f64 x 20079361/732297721))))
(.f64 4481/54122 (/.f64 (/.f64 (+.f64 x x) 20079361/732297721) (.f64 x x)))
(*.f64 4481/54122 (/.f64 -2 (/.f64 -1 (/.f64 732297721/20079361 x))))
(.f64 (/.f64 x (.f64 x (*.f64 x 20079361/732297721))) 4481/27061)
(.f64 4481/27061 (/.f64 (/.f64 x x) (.f64 x 20079361/732297721)))
(.f64 4481/27061 (/.f64 x (.f64 x (*.f64 x 20079361/732297721))))
(*.f64 4481/27061 (/.f64 732297721/20079361 x))
(.f64 (/.f64 1 (.f64 x (.f64 x 20079361/732297721))) (.f64 x 4481/27061))
(.f64 (.f64 x 4481/27061) (/.f64 (/.f64 1 x) (*.f64 x 20079361/732297721)))
(.f64 x (.f64 4481/27061 (/.f64 1 (.f64 x (.f64 x 20079361/732297721)))))
(.f64 x (.f64 4481/27061 (/.f64 (/.f64 732297721/20079361 x) x)))
(.f64 (/.f64 2 (.f64 x (.f64 x 20079361/732297721))) (.f64 x 4481/54122))
(.f64 x (.f64 4481/54122 (/.f64 2 (.f64 x (.f64 x 20079361/732297721)))))
(.f64 x (.f64 4481/54122 (/.f64 (/.f64 1464595442/20079361 x) x)))
(.f64 (/.f64 1/2 (.f64 x (.f64 x 20079361/732297721))) (.f64 x 8962/27061))
(.f64 x (.f64 8962/27061 (/.f64 1/2 (.f64 x (.f64 x 20079361/732297721)))))
(.f64 x (.f64 8962/27061 (/.f64 (/.f64 732297721/40158722 x) x)))
(.f64 (.f64 x 8962/27061) (/.f64 (/.f64 732297721/40158722 x) x))
(.f64 (/.f64 4481/27061 (.f64 x (*.f64 x 20079361/732297721))) x)
(.f64 x (/.f64 (/.f64 4481/27061 x) (.f64 x 20079361/732297721)))
(.f64 x (/.f64 4481/27061 (.f64 x (*.f64 x 20079361/732297721))))
(.f64 x (/.f64 27061/4481 (.f64 x x)))
(.f64 (/.f64 x (.f64 x (.f64 8962/27061 (.f64 x 4481/27061)))) 8962/27061)
(.f64 8962/27061 (/.f64 x (.f64 x (*.f64 x 40158722/732297721))))
(.f64 8962/27061 (/.f64 (/.f64 x (.f64 x 40158722/732297721)) x))
(*.f64 8962/27061 (/.f64 732297721/40158722 x))
(*.f64 (/.f64 (/.f64 27061/4481 x) 4) 4)
(/.f64 27061/4481 x)
(neg.f64 (/.f64 -27061/4481 x))
(/.f64 27061/4481 x)
(+.f64 (*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x)) 0)
(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))
(*.f64 -70711/100000 (-.f64 x (/.f64 27061/4481 x)))
(+.f64 0 (*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x)))
(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))
(*.f64 -70711/100000 (-.f64 x (/.f64 27061/4481 x)))
(+.f64 (.f64 (-.f64 (/.f64 27061/4481 x) x) 70711/200000) (.f64 (-.f64 (/.f64 27061/4481 x) x) 70711/200000))
(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))
(*.f64 -70711/100000 (-.f64 x (/.f64 27061/4481 x)))
(-.f64 (*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x)) 0)
(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))
(*.f64 -70711/100000 (-.f64 x (/.f64 27061/4481 x)))
(/.f64 (*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x)) 1)
(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))
(*.f64 -70711/100000 (-.f64 x (/.f64 27061/4481 x)))
(/.f64 (*.f64 (-.f64 (/.f64 27061/4481 x) x) 70711/50000) 2)
(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))
(*.f64 -70711/100000 (-.f64 x (/.f64 27061/4481 x)))
(/.f64 (*.f64 (-.f64 (/.f64 27061/4481 x) x) 70711/25000) 4)
(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))
(*.f64 -70711/100000 (-.f64 x (/.f64 27061/4481 x)))
(/.f64 (.f64 (.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 70711/25000) 8)
(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))
(*.f64 -70711/100000 (-.f64 x (/.f64 27061/4481 x)))
(/.f64 (.f64 2 (.f64 (*.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 70711/25000)) 16)
(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))
(*.f64 -70711/100000 (-.f64 x (/.f64 27061/4481 x)))
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 70711/25000)) (.f64 2 (.f64 (.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 70711/25000))) 32)
(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))
(*.f64 -70711/100000 (-.f64 x (/.f64 27061/4481 x)))
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(+.f64 (-.f64 (/.f64 27061/4481 x) x) 0)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(+.f64 0 (-.f64 (/.f64 27061/4481 x) x))
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(+.f64 (neg.f64 x) (/.f64 27061/4481 x))
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(+.f64 -1 (+.f64 (/.f64 27061/4481 x) (-.f64 1 x)))
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(+.f64 (+.f64 (/.f64 27061/4481 x) (-.f64 1 x)) -1)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(+.f64 (/.f64 (-.f64 x (/.f64 27061/4481 x)) -2) (/.f64 (-.f64 x (/.f64 27061/4481 x)) -2))
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(.f64 x (+.f64 -1 (/.f64 4481/27061 (.f64 x (*.f64 x 20079361/732297721)))))
(.f64 x (+.f64 -1 (/.f64 (/.f64 4481/27061 x) (.f64 x 20079361/732297721))))
(.f64 x (+.f64 -1 (/.f64 27061/4481 (.f64 x x))))
(.f64 x (-.f64 (/.f64 4481/27061 (.f64 x (*.f64 x 20079361/732297721))) 1))
(.f64 x (+.f64 -1 (/.f64 (/.f64 4481/27061 x) (.f64 x 20079361/732297721))))
(.f64 x (+.f64 -1 (/.f64 4481/27061 (.f64 x (*.f64 x 20079361/732297721)))))
(.f64 x (+.f64 -1 (/.f64 27061/4481 (.f64 x x))))
(*.f64 (-.f64 (/.f64 27061/4481 x) x) 1)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(*.f64 1 (-.f64 (/.f64 27061/4481 x) x))
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(*.f64 2 (/.f64 (-.f64 x (/.f64 27061/4481 x)) -2))
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(.f64 2 (-.f64 (/.f64 27061/8962 x) (.f64 x 1/2)))
(.f64 (.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 1/2)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(*.f64 (-.f64 x (/.f64 27061/4481 x)) -1)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(*.f64 4 (/.f64 (-.f64 (/.f64 27061/4481 x) x) 4))
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(.f64 (.f64 (-.f64 (/.f64 27061/4481 x) x) 4) 1/4)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(.f64 1/2 (.f64 (-.f64 x (/.f64 27061/4481 x)) -2))
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(*.f64 1/2 (-.f64 (/.f64 54122/4481 x) (+.f64 x x)))
(.f64 1/2 (+.f64 (.f64 x -2) (/.f64 54122/4481 x)))
(.f64 1/2 (+.f64 (/.f64 54122/4481 x) (.f64 x -2)))
(.f64 1/2 (+.f64 (/.f64 54122/4481 x) (.f64 x -2)))
(*.f64 -1 (-.f64 x (/.f64 27061/4481 x)))
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(*.f64 (/.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 2)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(.f64 1/4 (.f64 (-.f64 (/.f64 27061/4481 x) x) 4))
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(.f64 1/4 (+.f64 (.f64 (/.f64 27061/4481 x) 4) (neg.f64 (*.f64 x 4))))
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(*.f64 (/.f64 (-.f64 (/.f64 27061/4481 x) x) 4) 4)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(/.f64 (-.f64 (/.f64 27061/4481 x) x) 1)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(/.f64 (*.f64 (-.f64 x (/.f64 27061/4481 x)) -2) 2)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(/.f64 (-.f64 x (/.f64 27061/4481 x)) -1)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(/.f64 (*.f64 (-.f64 (/.f64 27061/4481 x) x) 4) 4)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(/.f64 (*.f64 2 (-.f64 x (/.f64 27061/4481 x))) -2)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(/.f64 (*.f64 (-.f64 (/.f64 27061/4481 x) x) 8) 8)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(/.f64 (*.f64 (-.f64 x (/.f64 27061/4481 x)) 4) -4)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(/.f64 (.f64 2 (.f64 (-.f64 (/.f64 27061/4481 x) x) 8)) 16)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(/.f64 (neg.f64 (*.f64 2 (-.f64 x (/.f64 27061/4481 x)))) 2)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(/.f64 (+.f64 (.f64 2 (.f64 (-.f64 (/.f64 27061/4481 x) x) 8)) (.f64 2 (.f64 (-.f64 (/.f64 27061/4481 x) x) 8))) 32)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(/.f64 (+.f64 (neg.f64 (.f64 2 (-.f64 x (/.f64 27061/4481 x)))) (neg.f64 (.f64 2 (-.f64 x (/.f64 27061/4481 x))))) 4)
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)
(neg.f64 (-.f64 x (/.f64 27061/4481 x)))
(+.f64 (/.f64 27061/4481 x) (neg.f64 x))
(-.f64 (/.f64 27061/4481 x) x)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 230753/100000 (*.f64 -20191289437/10000000000 x))
✓	0.1b	(-.f64 (+.f64 230753/100000 (*.f64 -20191289437/10000000000 x)) x)
✓	0.1b	(.f64 70711/100000 (-.f64 (+.f64 230753/100000 (.f64 -20191289437/10000000000 x)) x))
✓	0.5b	(*.f64 -20191289437/10000000000 x)

Compiler

Compiled 29 to 22 computations (24.1% saved)

series2.0ms (0%)

Counts

4 → 27

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	(.f64 70711/100000 (-.f64 (+.f64 230753/100000 (.f64 -20191289437/10000000000 x)) x))
0.0ms	x	@	inf	(*.f64 -20191289437/10000000000 x)
0.0ms	x	@	-inf	(*.f64 -20191289437/10000000000 x)
0.0ms	x	@	0	(*.f64 -20191289437/10000000000 x)
0.0ms	x	@	0	(.f64 70711/100000 (-.f64 (+.f64 230753/100000 (.f64 -20191289437/10000000000 x)) x))

rewrite99.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1856×	`bool.json-1`
1856×	`bool.json-2`
1190×	`bool.json-3`
920×	`rational.json-1`
920×	`rational.json-2`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	64
1	100	64
2	262	52
3	561	52
4	1253	52
5	3000	52
6	6664	52

Stop Event

1×	node limit

Counts

4 → 79

Calls

Call 1

Inputs
(*.f64 -20191289437/10000000000 x)
(.f64 70711/100000 (-.f64 (+.f64 230753/100000 (.f64 -20191289437/10000000000 x)) x))
(-.f64 (+.f64 230753/100000 (*.f64 -20191289437/10000000000 x)) x)
(+.f64 230753/100000 (*.f64 -20191289437/10000000000 x))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -20191289437/10000000000 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 -20191289437/10000000000 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x -20191289437/20000000000) (.f64 x -20191289437/20000000000))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 -20191289437/10000000000 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 -20191289437/10000000000 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x -20191289437/5000000000) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x -20191289437/2500000000) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 -20191289437/10000000000 x) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (.f64 -20191289437/10000000000 x) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 (.f64 -20191289437/10000000000 x) 8)) (.f64 2 (.f64 (.f64 -20191289437/10000000000 x) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 -20191289437/10000000000 x)))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 -20191289437/10000000000 x) (.f64 -20191289437/10000000000 x))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 -20191289437/10000000000 x) (.f64 -20191289437/10000000000 x))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 70711/200000) (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 70711/200000))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 70711/50000) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 70711/25000) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -30191289437/5000000000))) 70711/25000) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -30191289437/5000000000))) 70711/25000)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -30191289437/5000000000))) 70711/25000)) (.f64 2 (.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -30191289437/5000000000))) 70711/25000))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) (.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) (.f64 70711/100000 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -20191289437/10000000000 x) (-.f64 230753/100000 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -20191289437/10000000000 x) (+.f64 230753/100000 (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 230753/100000 (.f64 x -30191289437/10000000000))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 230753/100000 x) (.f64 -20191289437/10000000000 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x -30191289437/10000000000) 230753/100000)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 x) (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (+.f64 (.f64 x -30191289437/10000000000) 330753/100000))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 x -30191289437/10000000000) 330753/100000) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 230753/100000 (neg.f64 x)) (.f64 -20191289437/10000000000 x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 1/2) (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (+.f64 (.f64 x -20191289437/20000000000) (/.f64 (+.f64 x -230753/100000) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (-.f64 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 1/2) (.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -30191289437/5000000000))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (/.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -30191289437/5000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (.f64 (-.f64 230753/100000 x) 2) (.f64 x -20191289437/5000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (-.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -20191289437/5000000000))) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -30191289437/5000000000))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) 4) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 2 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 8)) (.f64 2 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (neg.f64 (.f64 2 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))))) (neg.f64 (.f64 2 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) 4) -1) 4)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 230753/100000 (.f64 x -30191289437/10000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) (+.f64 230753/100000 (*.f64 x -30191289437/10000000000)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -20191289437/5000000000))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (/.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -20191289437/5000000000))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -20191289437/5000000000))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 8)) (.f64 2 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000)))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) (+.f64 (*.f64 -20191289437/10000000000 x) 230753/100000))))))

simplify223.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

2572×	`rational.json-simplify-2`
1982×	`rational.json-simplify-35`
996×	`rational.json-simplify-1`
974×	`rational.json-simplify-51`
876×	`rational.json-simplify-48`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	166	1324
1	332	1324
2	837	1324
3	2894	1324
4	4508	1324
5	5083	1324
6	5882	1324
7	6430	1324
8	6857	1324
9	7626	1324

Stop Event

1×	node limit

Counts

106 → 92

Calls

Call 1

Inputs
16316775383/10000000000
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(*.f64 -2134856267379707/1000000000000000 x)
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(*.f64 -2134856267379707/1000000000000000 x)
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
230753/100000
(+.f64 230753/100000 (*.f64 -30191289437/10000000000 x))
(+.f64 230753/100000 (*.f64 -30191289437/10000000000 x))
(+.f64 230753/100000 (*.f64 -30191289437/10000000000 x))
(*.f64 -30191289437/10000000000 x)
(+.f64 230753/100000 (*.f64 -30191289437/10000000000 x))
(+.f64 230753/100000 (*.f64 -30191289437/10000000000 x))
(+.f64 230753/100000 (*.f64 -30191289437/10000000000 x))
(*.f64 -30191289437/10000000000 x)
(+.f64 230753/100000 (*.f64 -30191289437/10000000000 x))
(+.f64 230753/100000 (*.f64 -30191289437/10000000000 x))
(+.f64 230753/100000 (*.f64 -30191289437/10000000000 x))
230753/100000
(*.f64 -20191289437/10000000000 x)
(*.f64 -20191289437/10000000000 x)
(+.f64 (*.f64 -20191289437/10000000000 x) 0)
(+.f64 0 (*.f64 -20191289437/10000000000 x))
(+.f64 (.f64 x -20191289437/20000000000) (.f64 x -20191289437/20000000000))
(-.f64 (*.f64 -20191289437/10000000000 x) 0)
(/.f64 (*.f64 -20191289437/10000000000 x) 1)
(/.f64 (*.f64 x -20191289437/5000000000) 2)
(/.f64 (*.f64 x -20191289437/2500000000) 4)
(/.f64 (.f64 (.f64 -20191289437/10000000000 x) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 -20191289437/10000000000 x) 8)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 -20191289437/10000000000 x) 8)) (.f64 2 (.f64 (.f64 -20191289437/10000000000 x) 8))) 32)
(+.f64 (.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) 0)
(+.f64 0 (.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))))
(+.f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 70711/200000) (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 70711/200000))
(-.f64 (.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) 0)
(/.f64 (.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) 1)
(/.f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 70711/50000) 2)
(/.f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 70711/25000) 4)
(/.f64 (.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -30191289437/5000000000))) 70711/25000) 8)
(/.f64 (.f64 2 (.f64 (+.f64 230753/100000 (+.f64 230753/100000 (*.f64 x -30191289437/5000000000))) 70711/25000)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -30191289437/5000000000))) 70711/25000)) (.f64 2 (.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -30191289437/5000000000))) 70711/25000))) 32)
(+.f64 (*.f64 -20191289437/10000000000 x) (-.f64 230753/100000 x))
(+.f64 (*.f64 -20191289437/10000000000 x) (+.f64 230753/100000 (neg.f64 x)))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(+.f64 (+.f64 (*.f64 -20191289437/10000000000 x) 230753/100000) (neg.f64 x))
(+.f64 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000)) 0)
(+.f64 0 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000)))
(+.f64 (-.f64 230753/100000 x) (*.f64 -20191289437/10000000000 x))
(+.f64 (*.f64 x -30191289437/10000000000) 230753/100000)
(+.f64 (neg.f64 x) (+.f64 (*.f64 -20191289437/10000000000 x) 230753/100000))
(+.f64 -1 (+.f64 (*.f64 x -30191289437/10000000000) 330753/100000))
(+.f64 (+.f64 (*.f64 x -30191289437/10000000000) 330753/100000) -1)
(+.f64 (+.f64 230753/100000 (neg.f64 x)) (*.f64 -20191289437/10000000000 x))
(+.f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 1/2) (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 1/2))
(.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 1)
(.f64 1 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))
(.f64 2 (.f64 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000)) 1/2))
(.f64 2 (+.f64 (.f64 x -20191289437/20000000000) (/.f64 (+.f64 x -230753/100000) -2)))
(.f64 2 (-.f64 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 1/2) (.f64 x 1/2)))
(.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -30191289437/5000000000))) 1/2)
(.f64 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) -1)
(.f64 4 (/.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 4))
(.f64 (.f64 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000)) 4) 1/4)
(.f64 -1 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))))
(.f64 1/2 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -30191289437/5000000000))))
(.f64 1/2 (+.f64 (.f64 (-.f64 230753/100000 x) 2) (*.f64 x -20191289437/5000000000)))
(.f64 1/2 (-.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -20191289437/5000000000))) (+.f64 x x)))
(.f64 (.f64 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000)) 1/2) 2)
(.f64 1/4 (.f64 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000)) 4))
(.f64 (/.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 4) 4)
(/.f64 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000)) 1)
(/.f64 (+.f64 230753/100000 (+.f64 230753/100000 (*.f64 x -30191289437/5000000000))) 2)
(/.f64 (neg.f64 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000))) -1)
(/.f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 4) 4)
(/.f64 (.f64 2 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))) -2)
(/.f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 8) 8)
(/.f64 (.f64 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) 4) -4)
(/.f64 (.f64 2 (.f64 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000)) 8)) 16)
(/.f64 (neg.f64 (.f64 2 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))))) 2)
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 8)) (.f64 2 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 8))) 32)
(/.f64 (+.f64 (neg.f64 (.f64 2 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))))) (neg.f64 (.f64 2 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))))) 4)
(/.f64 (/.f64 (.f64 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) 4) -1) 4)
(neg.f64 (neg.f64 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000))))
(-.f64 (+.f64 (*.f64 -20191289437/10000000000 x) 230753/100000) 0)
(.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 1)
(.f64 1 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000))
(.f64 2 (.f64 (+.f64 (*.f64 -20191289437/10000000000 x) 230753/100000) 1/2))
(.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -20191289437/5000000000))) 1/2)
(.f64 4 (/.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 4))
(.f64 (.f64 (+.f64 (*.f64 -20191289437/10000000000 x) 230753/100000) 4) 1/4)
(.f64 1/2 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -20191289437/5000000000))))
(.f64 (.f64 (+.f64 (*.f64 -20191289437/10000000000 x) 230753/100000) 1/2) 2)
(.f64 1/4 (.f64 (+.f64 (*.f64 -20191289437/10000000000 x) 230753/100000) 4))
(.f64 (/.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 4) 4)
(/.f64 (+.f64 (*.f64 -20191289437/10000000000 x) 230753/100000) 1)
(/.f64 (+.f64 230753/100000 (+.f64 230753/100000 (*.f64 x -20191289437/5000000000))) 2)
(/.f64 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 4) 4)
(/.f64 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (*.f64 -20191289437/10000000000 x) 230753/100000) 8)) 16)
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 8)) (.f64 2 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 8))) 32)

Outputs
16316775383/10000000000
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(*.f64 -2134856267379707/1000000000000000 x)
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(*.f64 -2134856267379707/1000000000000000 x)
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(+.f64 16316775383/10000000000 (*.f64 -2134856267379707/1000000000000000 x))
230753/100000
(+.f64 230753/100000 (*.f64 -30191289437/10000000000 x))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(+.f64 230753/100000 (*.f64 -30191289437/10000000000 x))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(+.f64 230753/100000 (*.f64 -30191289437/10000000000 x))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(*.f64 -30191289437/10000000000 x)
(*.f64 x -30191289437/10000000000)
(+.f64 230753/100000 (*.f64 -30191289437/10000000000 x))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(+.f64 230753/100000 (*.f64 -30191289437/10000000000 x))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(+.f64 230753/100000 (*.f64 -30191289437/10000000000 x))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(*.f64 -30191289437/10000000000 x)
(*.f64 x -30191289437/10000000000)
(+.f64 230753/100000 (*.f64 -30191289437/10000000000 x))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(+.f64 230753/100000 (*.f64 -30191289437/10000000000 x))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(+.f64 230753/100000 (*.f64 -30191289437/10000000000 x))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
230753/100000
(*.f64 -20191289437/10000000000 x)
(*.f64 x -20191289437/10000000000)
(*.f64 -20191289437/10000000000 x)
(*.f64 x -20191289437/10000000000)
(+.f64 (*.f64 -20191289437/10000000000 x) 0)
(*.f64 x -20191289437/10000000000)
(+.f64 0 (*.f64 -20191289437/10000000000 x))
(*.f64 x -20191289437/10000000000)
(+.f64 (.f64 x -20191289437/20000000000) (.f64 x -20191289437/20000000000))
(*.f64 x -20191289437/10000000000)
(-.f64 (*.f64 -20191289437/10000000000 x) 0)
(*.f64 x -20191289437/10000000000)
(/.f64 (*.f64 -20191289437/10000000000 x) 1)
(*.f64 x -20191289437/10000000000)
(/.f64 (*.f64 x -20191289437/5000000000) 2)
(*.f64 x -20191289437/10000000000)
(/.f64 (*.f64 x -20191289437/2500000000) 4)
(*.f64 x -20191289437/10000000000)
(/.f64 (.f64 (.f64 -20191289437/10000000000 x) 8) 8)
(*.f64 x -20191289437/10000000000)
(/.f64 (.f64 2 (.f64 (*.f64 -20191289437/10000000000 x) 8)) 16)
(*.f64 x -20191289437/10000000000)
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 -20191289437/10000000000 x) 8)) (.f64 2 (.f64 (.f64 -20191289437/10000000000 x) 8))) 32)
(*.f64 x -20191289437/10000000000)
(+.f64 (.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) 0)
(.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))
(.f64 70711/200000 (+.f64 (.f64 x -30191289437/5000000000) 230753/50000))
(+.f64 0 (.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))))
(.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))
(.f64 70711/200000 (+.f64 (.f64 x -30191289437/5000000000) 230753/50000))
(+.f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 70711/200000) (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 70711/200000))
(.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))
(.f64 70711/200000 (+.f64 (.f64 x -30191289437/5000000000) 230753/50000))
(-.f64 (.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) 0)
(.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))
(.f64 70711/200000 (+.f64 (.f64 x -30191289437/5000000000) 230753/50000))
(/.f64 (.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) 1)
(.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))
(.f64 70711/200000 (+.f64 (.f64 x -30191289437/5000000000) 230753/50000))
(/.f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 70711/50000) 2)
(.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))
(.f64 70711/200000 (+.f64 (.f64 x -30191289437/5000000000) 230753/50000))
(/.f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 70711/25000) 4)
(.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))
(.f64 70711/200000 (+.f64 (.f64 x -30191289437/5000000000) 230753/50000))
(/.f64 (.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -30191289437/5000000000))) 70711/25000) 8)
(.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))
(.f64 70711/200000 (+.f64 (.f64 x -30191289437/5000000000) 230753/50000))
(/.f64 (.f64 2 (.f64 (+.f64 230753/100000 (+.f64 230753/100000 (*.f64 x -30191289437/5000000000))) 70711/25000)) 16)
(.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))
(.f64 70711/200000 (+.f64 (.f64 x -30191289437/5000000000) 230753/50000))
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -30191289437/5000000000))) 70711/25000)) (.f64 2 (.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -30191289437/5000000000))) 70711/25000))) 32)
(.f64 70711/100000 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))
(.f64 70711/200000 (+.f64 (.f64 x -30191289437/5000000000) 230753/50000))
(+.f64 (*.f64 -20191289437/10000000000 x) (-.f64 230753/100000 x))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(+.f64 (*.f64 -20191289437/10000000000 x) (+.f64 230753/100000 (neg.f64 x)))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(+.f64 (+.f64 (*.f64 -20191289437/10000000000 x) 230753/100000) (neg.f64 x))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(+.f64 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000)) 0)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(+.f64 0 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000)))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(+.f64 (-.f64 230753/100000 x) (*.f64 -20191289437/10000000000 x))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(+.f64 (*.f64 x -30191289437/10000000000) 230753/100000)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(+.f64 (neg.f64 x) (+.f64 (*.f64 -20191289437/10000000000 x) 230753/100000))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(+.f64 -1 (+.f64 (*.f64 x -30191289437/10000000000) 330753/100000))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(+.f64 (+.f64 (*.f64 x -30191289437/10000000000) 330753/100000) -1)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(+.f64 (+.f64 230753/100000 (neg.f64 x)) (*.f64 -20191289437/10000000000 x))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(+.f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 1/2) (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 1/2))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 1)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(.f64 1 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(.f64 2 (.f64 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000)) 1/2))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(.f64 2 (+.f64 (.f64 x -20191289437/20000000000) (/.f64 (+.f64 x -230753/100000) -2)))
(.f64 2 (-.f64 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 1/2) (.f64 x 1/2)))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -30191289437/5000000000))) 1/2)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(.f64 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) -1)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(.f64 4 (/.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 4))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(.f64 (.f64 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000)) 4) 1/4)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(.f64 -1 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(.f64 1/2 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -30191289437/5000000000))))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(.f64 1/2 (+.f64 (.f64 (-.f64 230753/100000 x) 2) (*.f64 x -20191289437/5000000000)))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(.f64 1/2 (-.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -20191289437/5000000000))) (+.f64 x x)))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(.f64 (.f64 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000)) 1/2) 2)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(.f64 1/4 (.f64 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000)) 4))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(.f64 (/.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 4) 4)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(/.f64 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000)) 1)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(/.f64 (+.f64 230753/100000 (+.f64 230753/100000 (*.f64 x -30191289437/5000000000))) 2)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(/.f64 (neg.f64 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000))) -1)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(/.f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 4) 4)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(/.f64 (.f64 2 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))) -2)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(/.f64 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 8) 8)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(/.f64 (.f64 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) 4) -4)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(/.f64 (.f64 2 (.f64 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000)) 8)) 16)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(/.f64 (neg.f64 (.f64 2 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))))) 2)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 8)) (.f64 2 (.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)) 8))) 32)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(/.f64 (+.f64 (neg.f64 (.f64 2 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))))) (neg.f64 (.f64 2 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000)))))) 4)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(/.f64 (/.f64 (.f64 (neg.f64 (+.f64 230753/100000 (.f64 x -30191289437/10000000000))) 4) -1) 4)
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(neg.f64 (neg.f64 (+.f64 230753/100000 (*.f64 x -30191289437/10000000000))))
(+.f64 230753/100000 (*.f64 x -30191289437/10000000000))
(-.f64 (+.f64 (*.f64 -20191289437/10000000000 x) 230753/100000) 0)
(+.f64 230753/100000 (*.f64 x -20191289437/10000000000))
(.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 1)
(+.f64 230753/100000 (*.f64 x -20191289437/10000000000))
(.f64 1 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000))
(+.f64 230753/100000 (*.f64 x -20191289437/10000000000))
(.f64 2 (.f64 (+.f64 (*.f64 -20191289437/10000000000 x) 230753/100000) 1/2))
(+.f64 230753/100000 (*.f64 x -20191289437/10000000000))
(.f64 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -20191289437/5000000000))) 1/2)
(+.f64 230753/100000 (*.f64 x -20191289437/10000000000))
(.f64 4 (/.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 4))
(+.f64 230753/100000 (*.f64 x -20191289437/10000000000))
(.f64 (.f64 (+.f64 (*.f64 -20191289437/10000000000 x) 230753/100000) 4) 1/4)
(+.f64 230753/100000 (*.f64 x -20191289437/10000000000))
(.f64 1/2 (+.f64 230753/100000 (+.f64 230753/100000 (.f64 x -20191289437/5000000000))))
(+.f64 230753/100000 (*.f64 x -20191289437/10000000000))
(.f64 (.f64 (+.f64 (*.f64 -20191289437/10000000000 x) 230753/100000) 1/2) 2)
(+.f64 230753/100000 (*.f64 x -20191289437/10000000000))
(.f64 1/4 (.f64 (+.f64 (*.f64 -20191289437/10000000000 x) 230753/100000) 4))
(+.f64 230753/100000 (*.f64 x -20191289437/10000000000))
(.f64 (/.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 4) 4)
(+.f64 230753/100000 (*.f64 x -20191289437/10000000000))
(/.f64 (+.f64 (*.f64 -20191289437/10000000000 x) 230753/100000) 1)
(+.f64 230753/100000 (*.f64 x -20191289437/10000000000))
(/.f64 (+.f64 230753/100000 (+.f64 230753/100000 (*.f64 x -20191289437/5000000000))) 2)
(+.f64 230753/100000 (*.f64 x -20191289437/10000000000))
(/.f64 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 4) 4)
(+.f64 230753/100000 (*.f64 x -20191289437/10000000000))
(/.f64 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 8) 8)
(+.f64 230753/100000 (*.f64 x -20191289437/10000000000))
(/.f64 (.f64 2 (.f64 (+.f64 (*.f64 -20191289437/10000000000 x) 230753/100000) 8)) 16)
(+.f64 230753/100000 (*.f64 x -20191289437/10000000000))
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 8)) (.f64 2 (.f64 (+.f64 (.f64 -20191289437/10000000000 x) 230753/100000) 8))) 32)
(+.f64 230753/100000 (*.f64 x -20191289437/10000000000))

eval75.0ms (1.7%)

Compiler: Compiled 3135 to 2578 computations (17.8% saved)

prune43.0ms (1%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	308	0	308
Fresh	0	1	1
Picked	0	1	1
Done	0	5	5
Total	308	7	315

Error

0.1b

Counts

315 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	26.9b	(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
✓	31.0b	(*.f64 x -70711/100000)
✓	0.1b	(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))
✓	30.9b	(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))
✓	26.9b	(.f64 70711/100000 (-.f64 (+.f64 230753/100000 (.f64 -20191289437/10000000000 x)) x))
✓	1.4b	(*.f64 70711/100000 (-.f64 230753/100000 x))
	31.7b	16316775383/10000000000

Compiler

Compiled 56 to 45 computations (19.6% saved)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune3.0ms (0.1%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	6	6
Total	7	7

Error

0.1b

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	26.9b	(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
✓	31.0b	(*.f64 x -70711/100000)
✓	0.1b	(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))
✓	30.9b	(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))
✓	26.9b	(.f64 70711/100000 (-.f64 (+.f64 230753/100000 (.f64 -20191289437/10000000000 x)) x))
✓	1.4b	(*.f64 70711/100000 (-.f64 230753/100000 x))
	31.7b	16316775383/10000000000

Compiler

Compiled 56 to 45 computations (19.6% saved)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune3.0ms (0.1%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	6	6
Total	7	7

Error

0.1b

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	26.9b	(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
✓	31.0b	(*.f64 x -70711/100000)
✓	0.1b	(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))
✓	30.9b	(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))
✓	26.9b	(.f64 70711/100000 (-.f64 (+.f64 230753/100000 (.f64 -20191289437/10000000000 x)) x))
✓	1.4b	(*.f64 70711/100000 (-.f64 230753/100000 x))
	31.7b	16316775383/10000000000

Compiler

Compiled 56 to 45 computations (19.6% saved)

regimes14.0ms (0.3%)

Counts

7 → 1

Calls

Call 1

Inputs
16316775383/10000000000
(*.f64 x -70711/100000)
(*.f64 70711/100000 (-.f64 230753/100000 x))
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))
(.f64 70711/100000 (-.f64 (+.f64 230753/100000 (.f64 -20191289437/10000000000 x)) x))
(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))

Outputs
(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))

Calls

3 calls:

5.0ms

4.0ms

(*.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)) (+.f64 1 (*.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) x))

4.0ms

(-.f64 (/.f64 (+.f64 230753/100000 (*.f64 x 27061/100000)) (+.f64 1 (*.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) x)

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))`
0.1b	1	`(-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (*.f64 x 4481/100000))))) x)`

Compiler

Compiled 90 to 70 computations (22.2% saved)

regimes6.0ms (0.1%)

Counts

6 → 1

Calls

Call 1

Inputs
16316775383/10000000000
(*.f64 x -70711/100000)
(*.f64 70711/100000 (-.f64 230753/100000 x))
(+.f64 (*.f64 -2134856267379707/1000000000000000 x) 16316775383/10000000000)
(*.f64 70711/100000 (-.f64 (/.f64 27061/4481 x) x))
(.f64 70711/100000 (-.f64 (+.f64 230753/100000 (.f64 -20191289437/10000000000 x)) x))

Outputs
(*.f64 70711/100000 (-.f64 230753/100000 x))

Calls

1 calls:

4.0ms

Results

Error	Segments	Branch
1.4b	1	`x`

Compiler

Compiled 33 to 25 computations (24.2% saved)

regimes9.0ms (0.2%)

Accuracy

Total -60.7b remaining (-6007.3%)

Threshold costs -60.7b (-6007.3%)

Counts

2 → 3

Calls

Call 1

Inputs
16316775383/10000000000
(*.f64 x -70711/100000)

Outputs
(*.f64 x -70711/100000)
16316775383/10000000000
(*.f64 x -70711/100000)

Calls

1 calls:

9.0ms

Results

Error	Segments	Branch
1.0b	3	`x`

Compiler

Compiled 7 to 5 computations (28.6% saved)

bsearch38.0ms (0.9%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
19.0ms	0.034083242380540064	2956.448768635816
18.0ms	-2186.022279067249	-0.009518060021894644

Results

34.0ms

288×

body

256

valid

Compiler

Compiled 168 to 145 computations (13.7% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	102

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))
(*.f64 70711/100000 (-.f64 230753/100000 x))
(if (<=.f64 x -2386907802506363/2251799813685248) (.f64 x -70711/100000) (if (<=.f64 x 5404319552844595/4503599627370496) 16316775383/10000000000 (.f64 x -70711/100000)))
16316775383/10000000000

Outputs
(.f64 70711/100000 (-.f64 (/.f64 (+.f64 230753/100000 (.f64 x 27061/100000)) (+.f64 1 (.f64 x (+.f64 99229/100000 (.f64 x 4481/100000))))) x))
(*.f64 70711/100000 (-.f64 230753/100000 x))
(if (<=.f64 x -2386907802506363/2251799813685248) (.f64 x -70711/100000) (if (<=.f64 x 5404319552844595/4503599627370496) 16316775383/10000000000 (.f64 x -70711/100000)))
16316775383/10000000000

Compiler

Compiled 44 to 35 computations (20.5% saved)

soundness0.0ms (0%)

end31.0ms (0.7%)

Compiler: Compiled 41 to 32 computations (22% saved)

Details

analyze7.0ms (0.2%)

sample874.0ms (20.1%)

preprocess102.0ms (2.4%)

simplify99.0ms (2.3%)

eval1.0ms (0%)

prune1.0ms (0%)

localize33.0ms (0.8%)

series6.0ms (0.1%)

rewrite112.0ms (2.6%)

simplify132.0ms (3%)

eval52.0ms (1.2%)

prune18.0ms (0.4%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite101.0ms (2.3%)

simplify219.0ms (5%)

localize3.0ms (0.1%)

series1.0ms (0%)

rewrite84.0ms (1.9%)

simplify644.0ms (14.8%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite102.0ms (2.3%)

simplify984.0ms (22.6%)

localize8.0ms (0.2%)

series2.0ms (0.1%)

rewrite66.0ms (1.5%)

simplify122.0ms (2.8%)

localize11.0ms (0.3%)

series2.0ms (0%)

rewrite99.0ms (2.3%)

simplify223.0ms (5.1%)

eval75.0ms (1.7%)

prune43.0ms (1%)

eval0.0ms (0%)

prune3.0ms (0.1%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes14.0ms (0.3%)

regimes6.0ms (0.1%)

regimes9.0ms (0.2%)

bsearch38.0ms (0.9%)

simplify4.0ms (0.1%)

soundness0.0ms (0%)

end31.0ms (0.7%)

Profiling