Metrics for Numeric.SpecFunctions:invErfc from math-functions-0.1.5.2, B

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze6.0ms (0.3%)

Memory

10.5MiB live, 10.5MiB allocated

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

Compiler

Compiled 21 to 18 computations (14.3% saved)

sample1.5s (69.6%)

Memory

23.5MiB live, 2 309.6MiB allocated

Samples

1.2s

8 256×

valid

Precisions

Click to see histograms. Total time spent on operations: 996.0ms

const: 515.0ms (51.7% of total)

ival-mult: 238.0ms (23.9% of total)

ival-add: 122.0ms (12.2% of total)

ival-div: 53.0ms (5.3% of total)

ival-sub: 53.0ms (5.3% of total)

ival-true: 7.0ms (0.7% of total)

exact: 5.0ms (0.5% of total)

ival-assert: 4.0ms (0.4% of total)

Bogosity

explain233.0ms (10.6%)

Memory

20.5MiB live, 290.4MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
65	-	-	`(/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))))))`
0	-	-	`(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)`
0	-	-	`(*.f64 x #s(literal 4481/100000 binary64))`
0	-	-	`#s(literal 99229/100000 binary64)`
0	-	-	`(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))`
0	-	-	`#s(literal 1 binary64)`
0	-	-	`(+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))`
0	-	-	`(*.f64 x #s(literal 27061/100000 binary64))`
0	-	-	`(+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))`
0	-	-	`(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))`
0	-	-	`#s(literal 70711/100000 binary64)`
0	-	-	`(.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64))))`
0	-	-	`#s(literal 27061/100000 binary64)`
0	-	-	`#s(literal 4481/100000 binary64)`
0	-	-	`#s(literal 230753/100000 binary64)`
0	-	-	`x`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	1

Precision?

0/0

Recall?

0/0

Samples

89.0ms

512×

valid

Compiler

Compiled 293 to 68 computations (76.8% saved)

Precisions

Click to see histograms. Total time spent on operations: 71.0ms

const: 39.0ms (54.9% of total)

ival-mult: 19.0ms (26.7% of total)

ival-add: 7.0ms (9.8% of total)

ival-div: 3.0ms (4.2% of total)

ival-sub: 2.0ms (2.8% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

preprocess2.0ms (0.1%)

Memory

4.1MiB live, 4.1MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs

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

Outputs

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

Compiler

Compiled 19 to 16 computations (15.8% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.8%	(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))

Status

Accuracy

Program

▶

99.8%

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

Compiler

Compiled 19 to 16 computations (15.8% saved)

simplify1.0ms (0%)

Memory

1.3MiB live, 1.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))
cost-diff	0	(/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))))))
cost-diff	0	(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)
cost-diff	0	(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))

Calls

Call 1

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

Outputs
(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))
#s(literal 70711/100000 binary64)
(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)
(/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))))))
(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))
#s(literal 230753/100000 binary64)
(*.f64 x #s(literal 27061/100000 binary64))
x
#s(literal 27061/100000 binary64)
(+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))
#s(literal 1 binary64)
(.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64))))
(+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))
#s(literal 99229/100000 binary64)
(*.f64 x #s(literal 4481/100000 binary64))
#s(literal 4481/100000 binary64)

localize64.0ms (2.9%)

Memory

1.1MiB live, 72.9MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.09375	(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))
accuracy	0.3515625	(*.f64 x #s(literal 4481/100000 binary64))
accuracy	0.4296875	(*.f64 x #s(literal 27061/100000 binary64))
accuracy	15.273364808176172	(/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))))))

Samples

54.0ms

256×

valid

Compiler

Compiled 182 to 34 computations (81.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 37.0ms

const: 24.0ms (65.2% of total)

ival-mult: 7.0ms (19% of total)

ival-add: 3.0ms (8.2% of total)

ival-div: 2.0ms (5.4% of total)

ival-sub: 1.0ms (2.7% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series5.0ms (0.2%)

Memory

8.9MiB live, 8.9MiB allocated

Counts

6 → 36

Calls

Call 1

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

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

Calls

3 calls:

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

Time

Variable

Point

Expression

2.0ms

-inf

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

2.0ms

inf

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

1.0ms

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

simplify1.0ms (0%)

Memory

1.3MiB live, 1.4MiB allocated

Algorithm

1×	egg-herbie

Counts

36 → 6

Calls

Call 1

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

Outputs
16316775383/10000000000
(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))
(+ 16316775383/10000000000 (* -2134856267379707/1000000000000000 x))
(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)
(+ 16316775383/10000000000 (* x (- (* 134362287316698645903/100000000000000000000 x) 2134856267379707/1000000000000000)))
(/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))))))
(+ 16316775383/10000000000 (* x (- (* x (+ 134362287316698645903/100000000000000000000 (* -12692862305735843227608787/10000000000000000000000000 x))) 2134856267379707/1000000000000000)))
(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))
230753/100000
(*.f64 x #s(literal 27061/100000 binary64))
(+ 230753/100000 (* -30191289437/10000000000 x))
(*.f64 x #s(literal 4481/100000 binary64))

rewrite0.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Counts

6 → 6

Calls

Call 1

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

Outputs
(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))
(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)
(/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))))))
(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))
(*.f64 x #s(literal 27061/100000 binary64))
(*.f64 x #s(literal 4481/100000 binary64))

eval1.0ms (0.1%)

Memory: 2.5MiB live, 2.5MiB allocated
Compiler: Compiled 296 to 39 computations (86.8% saved)

prune12.0ms (0.6%)

Memory

-41.3MiB live, 7.9MiB allocated

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	7	5	12
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	7	6	13

Accuracy

99.8%

Counts

13 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.8%	(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))
▶	2.3%	(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
▶	2.3%	(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64))))
▶	11.3%	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))))
▶	20.3%	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x))
▶	10.8%	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))

Compiler

Compiled 305 to 252 computations (17.4% saved)

simplify2.0ms (0.1%)

Memory

2.5MiB live, 2.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 17 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 x #s(literal 27061/100000 binary64))
cost-diff	0	(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))
cost-diff	0	(/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))))))
cost-diff	0	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))))
cost-diff	0	(*.f64 x #s(literal 27061/100000 binary64))
cost-diff	0	#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))
cost-diff	0	(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
cost-diff	0	(*.f64 x #s(literal 4481/100000 binary64))
cost-diff	0	#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64)))
cost-diff	0	(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64))))
cost-diff	0	(*.f64 x #s(literal 27061/100000 binary64))
cost-diff	0	(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))
cost-diff	0	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))
cost-diff	0	(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))
cost-diff	0	(/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))))))
cost-diff	0	(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)
cost-diff	0	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x))

Calls

Call 1

Inputs
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x))
(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)
(/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))))))
(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))
#s(literal 230753/100000 binary64)
(*.f64 x #s(literal 27061/100000 binary64))
x
#s(literal 27061/100000 binary64)
(+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))
#s(literal 1 binary64)
(.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64))))
(+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))
#s(literal 99229/100000 binary64)
(*.f64 x #s(literal 4481/100000 binary64))
#s(literal 4481/100000 binary64)
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))
(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))
#s(literal 230753/100000 binary64)
(*.f64 x #s(literal 27061/100000 binary64))
x
#s(literal 27061/100000 binary64)
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64))))
#s(literal 70711/100000 binary64)
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64)))
(*.f64 x #s(literal 4481/100000 binary64))
x
#s(literal 4481/100000 binary64)
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
#s(literal 70711/100000 binary64)
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))
(*.f64 x #s(literal 27061/100000 binary64))
x
#s(literal 27061/100000 binary64)
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))))
(/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))))))
(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))
#s(literal 230753/100000 binary64)
(*.f64 x #s(literal 27061/100000 binary64))
x
#s(literal 27061/100000 binary64)
(+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))
#s(literal 1 binary64)
(.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64))))
(+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))
#s(literal 99229/100000 binary64)
(*.f64 x #s(literal 4481/100000 binary64))
#s(literal 4481/100000 binary64)

Outputs
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x))
(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)
(/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))))))
(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))
#s(literal 230753/100000 binary64)
(*.f64 x #s(literal 27061/100000 binary64))
x
#s(literal 27061/100000 binary64)
(+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))
#s(literal 1 binary64)
(.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64))))
(+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))
#s(literal 99229/100000 binary64)
(*.f64 x #s(literal 4481/100000 binary64))
#s(literal 4481/100000 binary64)
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))
(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))
#s(literal 230753/100000 binary64)
(*.f64 x #s(literal 27061/100000 binary64))
x
#s(literal 27061/100000 binary64)
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64))))
#s(literal 70711/100000 binary64)
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64)))
(*.f64 x #s(literal 4481/100000 binary64))
x
#s(literal 4481/100000 binary64)
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
#s(literal 70711/100000 binary64)
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))
(*.f64 x #s(literal 27061/100000 binary64))
x
#s(literal 27061/100000 binary64)
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))))
(/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))))))
(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))
#s(literal 230753/100000 binary64)
(*.f64 x #s(literal 27061/100000 binary64))
x
#s(literal 27061/100000 binary64)
(+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))
#s(literal 1 binary64)
(.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64))))
(+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))
#s(literal 99229/100000 binary64)
(*.f64 x #s(literal 4481/100000 binary64))
#s(literal 4481/100000 binary64)

localize69.0ms (3.1%)

Memory

11.9MiB live, 86.9MiB allocated

Localize:

Found 17 expressions of interest:

New	Metric	Score
accuracy	0.3515625	(*.f64 x #s(literal 4481/100000 binary64))
accuracy	0.4296875	(*.f64 x #s(literal 27061/100000 binary64))
accuracy	15.273364808176172	(/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))))))
accuracy	56.80719994363568	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))))
accuracy	0.09375	(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
accuracy	0.4296875	(*.f64 x #s(literal 27061/100000 binary64))
accuracy	62.50230597991167	#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))
accuracy	0.09375	(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64))))
accuracy	0.3515625	(*.f64 x #s(literal 4481/100000 binary64))
accuracy	62.528039192612795	#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64)))
accuracy	0.0078125	(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))
accuracy	0.4296875	(*.f64 x #s(literal 27061/100000 binary64))
accuracy	57.08962508087961	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))
accuracy	0.3515625	(*.f64 x #s(literal 4481/100000 binary64))
accuracy	0.4296875	(*.f64 x #s(literal 27061/100000 binary64))
accuracy	15.273364808176172	(/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))))))
accuracy	51.03010745127851	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x))

Samples

52.0ms

256×

valid

Compiler

Compiled 608 to 55 computations (91% saved)

Precisions

Click to see histograms. Total time spent on operations: 36.0ms

const: 19.0ms (53.5% of total)

ival-mult: 7.0ms (19.7% of total)

ival-div: 5.0ms (14.1% of total)

ival-add: 3.0ms (8.4% of total)

ival-sub: 1.0ms (2.8% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series3.0ms (0.1%)

Memory

4.9MiB live, 4.9MiB allocated

Counts

12 → 36

Calls

Call 1

Inputs
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x))
(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)
(/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))))))
(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))
(*.f64 x #s(literal 27061/100000 binary64))
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64))))
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64)))
(*.f64 x #s(literal 4481/100000 binary64))
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))))

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

Calls

3 calls:

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

Time

Variable

Point

Expression

1.0ms

inf

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

1.0ms

-inf

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

1.0ms

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

simplify1.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated

Algorithm

1×	egg-herbie

Counts

36 → 12

Calls

Call 1

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

Outputs
16316775383/10000000000
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x))
(+ 16316775383/10000000000 (* -2134856267379707/1000000000000000 x))
(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)
(+ 16316775383/10000000000 (* x (- (* 134362287316698645903/100000000000000000000 x) 2134856267379707/1000000000000000)))
(/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))))))
(+ 16316775383/10000000000 (* x (- (* x (+ 134362287316698645903/100000000000000000000 (* -12692862305735843227608787/10000000000000000000000000 x))) 2134856267379707/1000000000000000)))
(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))
230753/100000
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))
(+ 230753/100000 (* -30191289437/10000000000 x))
(*.f64 x #s(literal 27061/100000 binary64))
(+ 230753/100000 (* x (- (* 1900161040244073/1000000000000000 x) 30191289437/10000000000)))
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64))))
(+ 230753/100000 (* x (- (* x (+ 1900161040244073/1000000000000000 (* -179503363065659419717/100000000000000000000 x))) 30191289437/10000000000)))
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64)))
(+ 230753/100000 (* -20191289437/10000000000 x))
(*.f64 x #s(literal 4481/100000 binary64))
(+ 230753/100000 (* x (- (* 1900161040244073/1000000000000000 x) 20191289437/10000000000)))
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
(+ 230753/100000 (* x (- (* x (+ 1900161040244073/1000000000000000 (* -179503363065659419717/100000000000000000000 x))) 20191289437/10000000000)))
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))
(+ 230753/100000 (* 27061/100000 x))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))))

rewrite1.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated

Counts

12 → 12

Calls

Call 1

Inputs
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x))
(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)
(/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))))))
(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))
(*.f64 x #s(literal 27061/100000 binary64))
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64))))
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64)))
(*.f64 x #s(literal 4481/100000 binary64))
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))))

Outputs
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x))
(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)
(/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))))))
(+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64)))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))
(*.f64 x #s(literal 27061/100000 binary64))
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64))))
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64)))
(*.f64 x #s(literal 4481/100000 binary64))
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))))

eval3.0ms (0.1%)

Memory: 6.1MiB live, 6.1MiB allocated
Compiler: Compiled 1 389 to 63 computations (95.5% saved)

prune5.0ms (0.2%)

Memory

8.5MiB live, 8.5MiB allocated

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	30	3	33
Fresh	0	0	0
Picked	1	4	5
Done	0	1	1
Total	31	8	39

Accuracy

99.8%

Counts

39 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.8%	(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))
✓	2.3%	(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
✓	11.3%	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))))
✓	20.3%	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x))
▶	14.5%	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))
✓	10.8%	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))
▶	2.3%	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64))))
▶	2.3%	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))))

Compiler

Compiled 294 to 178 computations (39.5% saved)

simplify1.0ms (0%)

Memory

1.6MiB live, 1.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 11 expressions of interest:

New	Metric	Score	Program
cost-diff	0	#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))
cost-diff	0	#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
cost-diff	0	(-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x)
cost-diff	0	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))
cost-diff	0	(*.f64 x #s(literal 4481/100000 binary64))
cost-diff	0	#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64)))
cost-diff	0	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64))))
cost-diff	0	(*.f64 x #s(literal 27061/100000 binary64))
cost-diff	0	#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))
cost-diff	0	#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
cost-diff	0	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))))

Calls

Call 1

Inputs
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))))
#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))
(*.f64 x #s(literal 27061/100000 binary64))
x
#s(literal 27061/100000 binary64)
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64))))
#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64)))
(*.f64 x #s(literal 4481/100000 binary64))
x
#s(literal 4481/100000 binary64)
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))
(-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x)
#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))
(*.f64 x #s(literal 27061/100000 binary64))
x
#s(literal 27061/100000 binary64)

Outputs
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))))
#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))
(*.f64 x #s(literal 27061/100000 binary64))
x
#s(literal 27061/100000 binary64)
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64))))
#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64)))
(*.f64 x #s(literal 4481/100000 binary64))
x
#s(literal 4481/100000 binary64)
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))
(-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x)
#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))
(*.f64 x #s(literal 27061/100000 binary64))
x
#s(literal 27061/100000 binary64)

localize61.0ms (2.8%)

Memory

-20.3MiB live, 67.2MiB allocated

Localize:

Found 11 expressions of interest:

New	Metric	Score
accuracy	0.4296875	(*.f64 x #s(literal 27061/100000 binary64))
accuracy	31.373773677204547	#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
accuracy	51.03010745127851	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))
accuracy	62.50230597991167	#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))
accuracy	0.3515625	(*.f64 x #s(literal 4481/100000 binary64))
accuracy	56.80719994363568	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64))))
accuracy	61.58381116842814	#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64)))
accuracy	0.4296875	(*.f64 x #s(literal 27061/100000 binary64))
accuracy	31.373773677204547	#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
accuracy	56.80719994363568	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))))
accuracy	62.50230597991167	#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))

Samples

50.0ms

256×

valid

Compiler

Compiled 514 to 45 computations (91.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 40.0ms

const: 27.0ms (67.1% of total)

ival-mult: 7.0ms (17.4% of total)

ival-add: 3.0ms (7.5% of total)

ival-div: 2.0ms (5% of total)

ival-sub: 1.0ms (2.5% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series3.0ms (0.1%)

Memory

4.0MiB live, 4.0MiB allocated

Counts

9 → 34

Calls

Call 1

Inputs
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))))
#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))
(*.f64 x #s(literal 27061/100000 binary64))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64))))
#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64)))
(*.f64 x #s(literal 4481/100000 binary64))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))
(-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x)

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

Calls

3 calls:

Time

Variable

Point

Expression

1.0ms

-inf

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

1.0ms

inf

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

1.0ms

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

simplify1.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Algorithm

1×	egg-herbie

Counts

34 → 9

Calls

Call 1

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

Outputs
16316775383/10000000000
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))))
(+ 16316775383/10000000000 (* -2134856267379707/1000000000000000 x))
#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
(+ 16316775383/10000000000 (* x (- (* 134362287316698645903/100000000000000000000 x) 2134856267379707/1000000000000000)))
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))
(+ 16316775383/10000000000 (* x (- (* x (+ 134362287316698645903/100000000000000000000 (* -12692862305735843227608787/10000000000000000000000000 x))) 2134856267379707/1000000000000000)))
(*.f64 x #s(literal 27061/100000 binary64))
230753/100000
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64))))
(+ 230753/100000 (* -20191289437/10000000000 x))
#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64)))
(+ 230753/100000 (* x (- (* 1900161040244073/1000000000000000 x) 20191289437/10000000000)))
(*.f64 x #s(literal 4481/100000 binary64))
(+ 230753/100000 (* x (- (* x (+ 1900161040244073/1000000000000000 (* -179503363065659419717/100000000000000000000 x))) 20191289437/10000000000)))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))
(+ 230753/100000 (* -30191289437/10000000000 x))
(-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x)

rewrite1.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Counts

9 → 9

Calls

Call 1

Inputs
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))))
#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))
(*.f64 x #s(literal 27061/100000 binary64))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64))))
#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64)))
(*.f64 x #s(literal 4481/100000 binary64))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))
(-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x)

Outputs
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))))
#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
#s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))
(*.f64 x #s(literal 27061/100000 binary64))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64))))
#s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64)))
(*.f64 x #s(literal 4481/100000 binary64))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))
(-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x)

eval2.0ms (0.1%)

Memory: 4.7MiB live, 4.7MiB allocated
Compiler: Compiled 1 466 to 49 computations (96.7% saved)

prune13.0ms (0.6%)

Memory

-21.8MiB live, 16.0MiB allocated

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	24	0	24
Fresh	0	0	0
Picked	0	3	3
Done	0	5	5
Total	24	8	32

Accuracy

99.8%

Counts

32 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.8%	(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))
✓	2.3%	(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
✓	11.3%	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))))
✓	20.3%	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x))
✓	14.5%	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))
✓	10.8%	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))
✓	2.3%	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64))))
✓	2.3%	#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))))

Compiler

Compiled 611 to 222 computations (63.7% saved)

regimes10.0ms (0.5%)

Memory

16.6MiB live, 16.6MiB allocated

Counts

9 → 1

Calls

Call 1

Inputs
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64))))
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x))
(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))

Outputs

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

Calls

3 calls:

3.0ms

(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)

3.0ms

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

Results

Accuracy	Segments	Branch
99.8%	1	`x`
99.8%	1	`(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))`
99.8%	1	`(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)`

Compiler

Compiled 37 to 31 computations (16.2% saved)

regimes12.0ms (0.5%)

Memory

-17.6MiB live, 20.6MiB allocated

Counts

8 → 1

Calls

Call 1

Inputs
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64))))
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x))

Outputs

#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x))

Calls

3 calls:

5.0ms

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

3.0ms

(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)

Results

Accuracy	Segments	Branch
20.3%	1	`x`
20.3%	1	`(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))`
20.3%	1	`(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)`

Compiler

Compiled 37 to 31 computations (16.2% saved)

regimes9.0ms (0.4%)

Memory

14.4MiB live, 14.4MiB allocated

Counts

7 → 3

Calls

Call 1

Inputs
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64))))
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))))

Outputs

#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))

#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))))

#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))

Calls

3 calls:

3.0ms

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

2.0ms

(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)

Results

Accuracy	Segments	Branch
22.9%	3	`(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))`
22.9%	3	`(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)`
22.9%	3	`x`

Compiler

Compiled 37 to 31 computations (16.2% saved)

regimes8.0ms (0.3%)

Memory

13.4MiB live, 13.4MiB allocated

Counts

6 → 3

Calls

Call 1

Inputs
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 4481/100000 binary64))))
(.f64 #s(literal 70711/100000 binary64) #s(approx (- (/ (+ 230753/100000 ( x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64))))

Outputs

#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))

#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))

#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))

Calls

3 calls:

2.0ms

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

2.0ms

(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)

Results

Accuracy	Segments	Branch
22.8%	3	`(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))`
22.8%	3	`(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)`
22.8%	3	`x`

Compiler

Compiled 37 to 31 computations (16.2% saved)

regimes10.0ms (0.5%)

Memory

-26.3MiB live, 10.6MiB allocated

Counts

3 → 1

Calls

Call 1

Inputs

#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))))

#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64))))

#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))

Outputs

#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))

Calls

3 calls:

6.0ms

2.0ms

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

2.0ms

(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)

Results

Accuracy	Segments	Branch
10.8%	1	`(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))`
10.8%	1	`(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)`
10.8%	1	`x`

Compiler

Compiled 37 to 31 computations (16.2% saved)

regimes5.0ms (0.2%)

Memory

9.1MiB live, 9.1MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

2 → 1

Calls

Call 1

Inputs

#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))))

#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) (*.f64 x #s(literal 4481/100000 binary64))))

Outputs

#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))))

Calls

3 calls:

1.0ms

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

1.0ms

(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)

Results

Accuracy	Segments	Branch
2.3%	1	`(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))`
2.3%	1	`(-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x)`
2.3%	1	`x`

Compiler

Compiled 37 to 31 computations (16.2% saved)

bsearch64.0ms (2.9%)

Memory

-14.7MiB live, 64.9MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
17.0ms	1.005070294680022	10.504703294508255
34.0ms	-1980834.6026962127	-0.9119584504111343

Samples

40.0ms

240×

valid

Compiler

Compiled 1 432 to 815 computations (43.1% saved)

Precisions

Click to see histograms. Total time spent on operations: 34.0ms

ival-mult: 14.0ms (40.6% of total)

const: 14.0ms (40.6% of total)

ival-add: 3.0ms (8.7% of total)

ival-div: 1.0ms (2.9% of total)

ival-sub: 1.0ms (2.9% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

bsearch14.0ms (0.7%)

Memory

26.8MiB live, 26.8MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
1.0ms	1.005070294680022	10.504703294508255
12.0ms	-1980834.6026962127	-0.9119584504111343

Samples

8.0ms

64×

valid

Compiler

Compiled 1 282 to 695 computations (45.8% saved)

Precisions

Click to see histograms. Total time spent on operations: 7.0ms

const: 4.0ms (57.6% of total)

ival-mult: 2.0ms (28.8% of total)

ival-add: 1.0ms (14.4% of total)

ival-div: 0.0ms (0% of total)

ival-sub: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

simplify5.0ms (0.2%)

Memory

9.7MiB live, 9.7MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x))
(if (<=.f64 x #s(literal -4728779608739021/2251799813685248 binary64)) #s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (.f64 x #s(literal 27061/100000 binary64)))) x)) (if (<=.f64 x #s(literal 5404319552844595/4503599627370496 binary64)) #s(approx ( 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64))))))) #s(approx ( 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))))
(if (<=.f64 x #s(literal -4728779608739021/4503599627370496 binary64)) #s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (.f64 x #s(literal 27061/100000 binary64)))) x)) (if (<=.f64 x #s(literal 5404319552844595/4503599627370496 binary64)) #s(approx ( 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64)))) #s(approx ( 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))))

Outputs
(.f64 #s(literal 70711/100000 binary64) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64)))))) x))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64)))))) x))
(if (<=.f64 x #s(literal -4728779608739021/2251799813685248 binary64)) #s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (.f64 x #s(literal 27061/100000 binary64)))) x)) (if (<=.f64 x #s(literal 5404319552844595/4503599627370496 binary64)) #s(approx ( 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (/.f64 (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (.f64 x (+.f64 #s(literal 99229/100000 binary64) (.f64 x #s(literal 4481/100000 binary64))))))) #s(approx ( 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))))
(if (<=.f64 x #s(literal -4728779608739021/4503599627370496 binary64)) #s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (.f64 x #s(literal 27061/100000 binary64)))) x)) (if (<=.f64 x #s(literal 5404319552844595/4503599627370496 binary64)) #s(approx ( 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (.f64 x #s(literal 27061/100000 binary64)))) #s(approx ( 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (-.f64 #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))) x))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))))
#s(approx (* 70711/100000 (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x)) #s(approx (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) #s(approx (- (/ (+ 230753/100000 (* x 27061/100000)) (+ 1 (* x (+ 99229/100000 (* x 4481/100000))))) x) (*.f64 x #s(literal 27061/100000 binary64)))))

soundness8.0ms (0.3%)

Memory

-35.1MiB live, 3.0MiB allocated

Stop Event

1×

done

Compiler

Compiled 450 to 49 computations (89.1% saved)

preprocess34.0ms (1.5%)

Memory: 28.5MiB live, 66.9MiB allocated
Compiler: Compiled 938 to 130 computations (86.1% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze6.0ms (0.3%)

sample1.5s (69.6%)

explain233.0ms (10.6%)

preprocess2.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify1.0ms (0%)

localize64.0ms (2.9%)

series5.0ms (0.2%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune12.0ms (0.6%)

simplify2.0ms (0.1%)

localize69.0ms (3.1%)

series3.0ms (0.1%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval3.0ms (0.1%)

prune5.0ms (0.2%)

simplify1.0ms (0%)

localize61.0ms (2.8%)

series3.0ms (0.1%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval2.0ms (0.1%)

prune13.0ms (0.6%)

regimes10.0ms (0.5%)

regimes12.0ms (0.5%)

regimes9.0ms (0.4%)

regimes8.0ms (0.3%)

regimes10.0ms (0.5%)

regimes5.0ms (0.2%)

bsearch64.0ms (2.9%)

bsearch14.0ms (0.7%)

simplify5.0ms (0.2%)

soundness8.0ms (0.3%)

preprocess34.0ms (1.5%)

end0.0ms (0%)

Profiling