Metrics for x / (x^2 + 1)

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.4MiB live, 0.4MiB 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
100%	100%	0%	0%	0%	0%	0%	2

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample729.0ms (14.4%)

Memory

30.1MiB live, 640.4MiB allocated

Samples

405.0ms

8 256×

valid

Precisions

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

ival-mult: 76.0ms (38.7% of total)

ival-div: 62.0ms (31.6% of total)

ival-add: 43.0ms (21.9% of total)

ival-true: 6.0ms (3.1% of total)

exact: 5.0ms (2.5% of total)

ival-assert: 3.0ms (1.5% of total)

Bogosity

explain90.0ms (1.8%)

Memory

-22.4MiB live, 98.0MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
69	-	-	`(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))`
0	-	-	`#s(literal 1 binary64)`
0	-	-	`(+.f64 (*.f64 x x) #s(literal 1 binary64))`
0	-	-	`(*.f64 x x)`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`/.f64`	`(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))`	n/o	69	0
↳	`(*.f64 x x)`	overflow	69
↳	`(+.f64 (*.f64 x x) #s(literal 1 binary64))`	overflow	69

Confusion

	Predicted +	Predicted -
+	69	0
-	0	187

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	69	0	0
-	0	0	187

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	187
1	69

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

24.0ms

512×

valid

Compiler

Compiled 45 to 19 computations (57.8% saved)

Precisions

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

ival-mult: 4.0ms (37% of total)

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

ival-add: 2.0ms (18.5% of total)

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

exact: 0.0ms (0% of total)

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

preprocess19.0ms (0.4%)

Memory

21.8MiB live, 21.8MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	26	15
2	62	14
3	128	14
4	232	14
5	331	14
6	344	14
7	346	14
8	350	14
0	5	7
0	8	7
1	11	7
0	11	6

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))

Outputs
(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))
(/.f64 x (fma.f64 x x #s(literal 1 binary64)))

Symmetry

(negabs x)

Compiler

Compiled 7 to 5 computations (28.6% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	74.9%	(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify10.0ms (0.2%)

Memory

-35.1MiB live, 2.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score
cost-diff	0	(*.f64 x x)
cost-diff	0	(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))
cost-diff	128	(+.f64 (*.f64 x x) #s(literal 1 binary64))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	17
0	8	17
1	11	17
0	11	15

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))
x
(+.f64 (*.f64 x x) #s(literal 1 binary64))
(*.f64 x x)
#s(literal 1 binary64)

Outputs
(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))
(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
x
(+.f64 (*.f64 x x) #s(literal 1 binary64))
(fma.f64 x x #s(literal 1 binary64))
(*.f64 x x)
#s(literal 1 binary64)

localize15.0ms (0.3%)

Memory

16.0MiB live, 16.0MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0	(+.f64 (*.f64 x x) #s(literal 1 binary64))
accuracy	0	(*.f64 x x)
accuracy	16.094777383139057	(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))

Samples

10.0ms

256×

valid

Compiler

Compiled 19 to 7 computations (63.2% saved)

Precisions

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

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

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

ival-add: 1.0ms (20% 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

3.0MiB live, 3.0MiB allocated

Counts

3 → 36

Calls

Call 1

Inputs
#s(alt (+.f64 (.f64 x x) #s(literal 1 binary64)) (patch (+.f64 (.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())
#s(alt (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) (patch (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())
#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())

Inputs

#s(alt (+.f64 (*.f64 x x) #s(literal 1 binary64)) (patch (+.f64 (*.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())

#s(alt (/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64))) (patch (/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())

#s(alt (*.f64 x x) (patch (*.f64 x x) #<representation binary64>) () ())

Outputs
#s(alt 1 (taylor 0 x) (#s(alt (+.f64 (.f64 x x) #s(literal 1 binary64)) (patch (+.f64 (.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (pow x 2)) (taylor 0 x) (#s(alt (+.f64 (.f64 x x) #s(literal 1 binary64)) (patch (+.f64 (.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (pow x 2)) (taylor 0 x) (#s(alt (+.f64 (.f64 x x) #s(literal 1 binary64)) (patch (+.f64 (.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (pow x 2)) (taylor 0 x) (#s(alt (+.f64 (.f64 x x) #s(literal 1 binary64)) (patch (+.f64 (.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt x (taylor 0 x) (#s(alt (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) (patch (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (pow x 2)))) (taylor 0 x) (#s(alt (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) (patch (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (pow x 2) 1)))) (taylor 0 x) (#s(alt (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) (patch (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1)))) (taylor 0 x) (#s(alt (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) (patch (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor 0 x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor 0 x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor 0 x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor 0 x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (+.f64 (.f64 x x) #s(literal 1 binary64)) (patch (+.f64 (.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (/ 1 (pow x 2)))) (taylor inf x) (#s(alt (+.f64 (.f64 x x) #s(literal 1 binary64)) (patch (+.f64 (.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (/ 1 (pow x 2)))) (taylor inf x) (#s(alt (+.f64 (.f64 x x) #s(literal 1 binary64)) (patch (+.f64 (.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (/ 1 (pow x 2)))) (taylor inf x) (#s(alt (+.f64 (.f64 x x) #s(literal 1 binary64)) (patch (+.f64 (.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor inf x) (#s(alt (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) (patch (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (/ (- 1 (/ 1 (pow x 2))) x) (taylor inf x) (#s(alt (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) (patch (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x) (taylor inf x) (#s(alt (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) (patch (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x) (taylor inf x) (#s(alt (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) (patch (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (+.f64 (.f64 x x) #s(literal 1 binary64)) (patch (+.f64 (.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (/ 1 (pow x 2)))) (taylor -inf x) (#s(alt (+.f64 (.f64 x x) #s(literal 1 binary64)) (patch (+.f64 (.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (/ 1 (pow x 2)))) (taylor -inf x) (#s(alt (+.f64 (.f64 x x) #s(literal 1 binary64)) (patch (+.f64 (.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (/ 1 (pow x 2)))) (taylor -inf x) (#s(alt (+.f64 (.f64 x x) #s(literal 1 binary64)) (patch (+.f64 (.f64 x x) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor -inf x) (#s(alt (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) (patch (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (/ 1 (pow x 2)) 1) x)) (taylor -inf x) (#s(alt (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) (patch (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x)) (taylor -inf x) (#s(alt (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) (patch (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) x)) (taylor -inf x) (#s(alt (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) (patch (/.f64 x (+.f64 (.f64 x x) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())) ())

Calls

3 calls:

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

simplify162.0ms (3.2%)

Memory

0.2MiB live, 150.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	226
1	131	224
2	312	216
3	883	212
4	2385	210
5	5560	210
6	7661	210
0	8081	197

Stop Event

1×	iter limit
1×	node limit

Counts

36 → 35

Calls

Call 1

Inputs
1
(+ 1 (pow x 2))
(+ 1 (pow x 2))
(+ 1 (pow x 2))
x
(* x (+ 1 (* -1 (pow x 2))))
(* x (+ 1 (* (pow x 2) (- (pow x 2) 1))))
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1))))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(/ 1 x)
(/ (- 1 (/ 1 (pow x 2))) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(/ 1 x)
(* -1 (/ (- (/ 1 (pow x 2)) 1) x))
(* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x))
(* -1 (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) x))
(pow x 2)
(pow x 2)
(pow x 2)
(pow x 2)

Outputs
1
#s(literal 1 binary64)
(+ 1 (pow x 2))
(fma.f64 x x #s(literal 1 binary64))
(+ 1 (pow x 2))
(fma.f64 x x #s(literal 1 binary64))
(+ 1 (pow x 2))
(fma.f64 x x #s(literal 1 binary64))
x
(* x (+ 1 (* -1 (pow x 2))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(* x (+ 1 (* (pow x 2) (- (pow x 2) 1))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 x x #s(literal -1 binary64)) x)
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1))))
(.f64 (+.f64 (pow.f64 x #s(literal 5 binary64)) x) (-.f64 #s(literal 1 binary64) (.f64 x x)))
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(fma.f64 x x #s(literal 1 binary64))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(fma.f64 x x #s(literal 1 binary64))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(fma.f64 x x #s(literal 1 binary64))
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(/ (- 1 (/ 1 (pow x 2))) x)
(/.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x x))) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x)
(/.f64 (fma.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64)) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x)
(/.f64 (-.f64 (fma.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 6 binary64)))) x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(fma.f64 x x #s(literal 1 binary64))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(fma.f64 x x #s(literal 1 binary64))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(fma.f64 x x #s(literal 1 binary64))
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(* -1 (/ (- (/ 1 (pow x 2)) 1) x))
(/.f64 (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (*.f64 x x))) x)
(* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x))
(/.f64 (fma.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64)) x)
(* -1 (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) x))
(/.f64 (-.f64 (fma.f64 (pow.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 3 binary64)) (-.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 6 binary64)))) x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)

rewrite160.0ms (3.2%)

Memory

14.4MiB live, 205.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	15
0	8	15
1	33	15
2	202	15
3	1766	15
0	8562	13

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

3 → 327

Calls

Call 1

Inputs
(+.f64 (*.f64 x x) #s(literal 1 binary64))
(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))
(*.f64 x x)

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval102.0ms (2%)

Memory: 4.9MiB live, 102.0MiB allocated
Compiler: Compiled 7 796 to 1 076 computations (86.2% saved)

prune27.0ms (0.5%)

Memory

-13.6MiB live, 22.9MiB allocated

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	358	4	362
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	359	4	363

Accuracy

100.0%

Counts

363 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	74.9%	(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
▶	45.9%	(/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64)))
▶	57.4%	#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))
▶	44.8%	#s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64))))

Compiler

Compiled 20 to 17 computations (15% saved)

simplify460.0ms (9.1%)

Memory

18.3MiB live, 139.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 9 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(fma.f64 x x #s(literal 1 binary64))
cost-diff	0	(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
cost-diff	0	#s(approx (+ (* x x) 1) #s(literal 1 binary64))
cost-diff	0	(/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64)))
cost-diff	0	(/.f64 #s(literal 1 binary64) x)
cost-diff	0	#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))
cost-diff	0	(pow.f64 x #s(literal 3 binary64))
cost-diff	0	(-.f64 x (pow.f64 x #s(literal 3 binary64)))
cost-diff	0	#s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	65
0	21	65
1	28	65
2	40	65
3	54	65
4	75	65
5	148	65
6	260	65
7	478	65
8	972	65
9	1668	65
10	3035	65
11	3806	65
12	4762	65
13	5191	65
14	5303	65
15	5331	65
16	5355	65
17	5371	65
18	5447	65
19	6119	65
20	6119	65
0	8679	65

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Calls

Call 1

Inputs
#s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
x
(pow.f64 x #s(literal 3 binary64))
#s(literal 3 binary64)
#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))
(/.f64 #s(literal 1 binary64) x)
#s(literal 1 binary64)
x
(/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64)))
x
#s(approx (+ (* x x) 1) #s(literal 1 binary64))
#s(literal 1 binary64)
(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
x
(fma.f64 x x #s(literal 1 binary64))
#s(literal 1 binary64)

Outputs
#s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
x
(pow.f64 x #s(literal 3 binary64))
#s(literal 3 binary64)
#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))
(/.f64 #s(literal 1 binary64) x)
#s(literal 1 binary64)
x
(/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64)))
x
#s(approx (+ (* x x) 1) #s(literal 1 binary64))
#s(literal 1 binary64)
(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
x
(fma.f64 x x #s(literal 1 binary64))
#s(literal 1 binary64)

localize49.0ms (1%)

Memory

3.1MiB live, 41.8MiB allocated

Localize:

Found 9 expressions of interest:

New	Metric	Score
accuracy	0	(fma.f64 x x #s(literal 1 binary64))
accuracy	16.094777383139057	(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
accuracy	16.094777383139057	(/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64)))
accuracy	34.43712727373992	#s(approx (+ (* x x) 1) #s(literal 1 binary64))
accuracy	0	(/.f64 #s(literal 1 binary64) x)
accuracy	27.246058557256667	#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))
accuracy	0	(pow.f64 x #s(literal 3 binary64))
accuracy	0	(-.f64 x (pow.f64 x #s(literal 3 binary64)))
accuracy	35.31435622326511	#s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64))))

Samples

41.0ms

256×

valid

Compiler

Compiled 59 to 11 computations (81.4% saved)

Precisions

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

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

ival-pow: 3.0ms (26.3% of total)

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

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

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

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

exact: 0.0ms (0% of total)

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

series129.0ms (2.5%)

Memory

-23.6MiB live, 11.8MiB allocated

Counts

9 → 108

Calls

Call 1

Inputs
#s(alt #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) (patch #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())
#s(alt (-.f64 x (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 x (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())
#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())
#s(alt #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) (patch #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) #<representation binary64>) () ())
#s(alt (/.f64 #s(literal 1 binary64) x) (patch (/.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())
#s(alt (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) (patch (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) #<representation binary64>) () ())
#s(alt #s(approx (+ (* x x) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* x x) 1) #s(literal 1 binary64)) #<representation binary64>) () ())
#s(alt (/.f64 x (fma.f64 x x #s(literal 1 binary64))) (patch (/.f64 x (fma.f64 x x #s(literal 1 binary64))) #<representation binary64>) () ())
#s(alt (fma.f64 x x #s(literal 1 binary64)) (patch (fma.f64 x x #s(literal 1 binary64)) #<representation binary64>) () ())

Outputs
#s(alt x (taylor 0 x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) (patch #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (pow x 2)))) (taylor 0 x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) (patch #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (pow x 2) 1)))) (taylor 0 x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) (patch #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1)))) (taylor 0 x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) (patch #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt x (taylor 0 x) (#s(alt (-.f64 x (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 x (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (pow x 2)))) (taylor 0 x) (#s(alt (-.f64 x (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 x (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (pow x 2)))) (taylor 0 x) (#s(alt (-.f64 x (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 x (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (pow x 2)))) (taylor 0 x) (#s(alt (-.f64 x (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 x (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt x (taylor 0 x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) (patch #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (pow x 2)))) (taylor 0 x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) (patch #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (pow x 2) 1)))) (taylor 0 x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) (patch #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1)))) (taylor 0 x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) (patch #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor 0 x) (#s(alt (/.f64 #s(literal 1 binary64) x) (patch (/.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor 0 x) (#s(alt (/.f64 #s(literal 1 binary64) x) (patch (/.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor 0 x) (#s(alt (/.f64 #s(literal 1 binary64) x) (patch (/.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor 0 x) (#s(alt (/.f64 #s(literal 1 binary64) x) (patch (/.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt x (taylor 0 x) (#s(alt (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) (patch (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (pow x 2)))) (taylor 0 x) (#s(alt (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) (patch (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (pow x 2) 1)))) (taylor 0 x) (#s(alt (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) (patch (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1)))) (taylor 0 x) (#s(alt (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) (patch (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 x) (#s(alt #s(approx (+ (* x x) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* x x) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (pow x 2)) (taylor 0 x) (#s(alt #s(approx (+ (* x x) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* x x) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (pow x 2)) (taylor 0 x) (#s(alt #s(approx (+ (* x x) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* x x) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (pow x 2)) (taylor 0 x) (#s(alt #s(approx (+ (* x x) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* x x) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt x (taylor 0 x) (#s(alt (/.f64 x (fma.f64 x x #s(literal 1 binary64))) (patch (/.f64 x (fma.f64 x x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (pow x 2)))) (taylor 0 x) (#s(alt (/.f64 x (fma.f64 x x #s(literal 1 binary64))) (patch (/.f64 x (fma.f64 x x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (pow x 2) 1)))) (taylor 0 x) (#s(alt (/.f64 x (fma.f64 x x #s(literal 1 binary64))) (patch (/.f64 x (fma.f64 x x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1)))) (taylor 0 x) (#s(alt (/.f64 x (fma.f64 x x #s(literal 1 binary64))) (patch (/.f64 x (fma.f64 x x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 x) (#s(alt (fma.f64 x x #s(literal 1 binary64)) (patch (fma.f64 x x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (pow x 2)) (taylor 0 x) (#s(alt (fma.f64 x x #s(literal 1 binary64)) (patch (fma.f64 x x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (pow x 2)) (taylor 0 x) (#s(alt (fma.f64 x x #s(literal 1 binary64)) (patch (fma.f64 x x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (pow x 2)) (taylor 0 x) (#s(alt (fma.f64 x x #s(literal 1 binary64)) (patch (fma.f64 x x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) (patch #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt (/ (- 1 (/ 1 (pow x 2))) x) (taylor inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) (patch #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x) (taylor inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) (patch #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x) (taylor inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) (patch #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 3)) (taylor inf x) (#s(alt (-.f64 x (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 x (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 3) (- (/ 1 (pow x 2)) 1)) (taylor inf x) (#s(alt (-.f64 x (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 x (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 3) (- (/ 1 (pow x 2)) 1)) (taylor inf x) (#s(alt (-.f64 x (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 x (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (* (pow x 3) (- (/ 1 (pow x 2)) 1)) (taylor inf x) (#s(alt (-.f64 x (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 x (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) (patch #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (/ (- 1 (/ 1 (pow x 2))) x) (taylor inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) (patch #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x) (taylor inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) (patch #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x) (taylor inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) (patch #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor inf x) (#s(alt (/.f64 #s(literal 1 binary64) x) (patch (/.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor inf x) (#s(alt (/.f64 #s(literal 1 binary64) x) (patch (/.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor inf x) (#s(alt (/.f64 #s(literal 1 binary64) x) (patch (/.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor inf x) (#s(alt (/.f64 #s(literal 1 binary64) x) (patch (/.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor inf x) (#s(alt (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) (patch (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (/ (- 1 (/ 1 (pow x 2))) x) (taylor inf x) (#s(alt (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) (patch (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x) (taylor inf x) (#s(alt (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) (patch (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x) (taylor inf x) (#s(alt (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) (patch (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt #s(approx (+ (* x x) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* x x) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (/ 1 (pow x 2)))) (taylor inf x) (#s(alt #s(approx (+ (* x x) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* x x) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (/ 1 (pow x 2)))) (taylor inf x) (#s(alt #s(approx (+ (* x x) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* x x) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (/ 1 (pow x 2)))) (taylor inf x) (#s(alt #s(approx (+ (* x x) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* x x) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor inf x) (#s(alt (/.f64 x (fma.f64 x x #s(literal 1 binary64))) (patch (/.f64 x (fma.f64 x x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (/ (- 1 (/ 1 (pow x 2))) x) (taylor inf x) (#s(alt (/.f64 x (fma.f64 x x #s(literal 1 binary64))) (patch (/.f64 x (fma.f64 x x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x) (taylor inf x) (#s(alt (/.f64 x (fma.f64 x x #s(literal 1 binary64))) (patch (/.f64 x (fma.f64 x x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x) (taylor inf x) (#s(alt (/.f64 x (fma.f64 x x #s(literal 1 binary64))) (patch (/.f64 x (fma.f64 x x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor inf x) (#s(alt (fma.f64 x x #s(literal 1 binary64)) (patch (fma.f64 x x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (/ 1 (pow x 2)))) (taylor inf x) (#s(alt (fma.f64 x x #s(literal 1 binary64)) (patch (fma.f64 x x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (/ 1 (pow x 2)))) (taylor inf x) (#s(alt (fma.f64 x x #s(literal 1 binary64)) (patch (fma.f64 x x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (/ 1 (pow x 2)))) (taylor inf x) (#s(alt (fma.f64 x x #s(literal 1 binary64)) (patch (fma.f64 x x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor -inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) (patch #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (/ 1 (pow x 2)) 1) x)) (taylor -inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) (patch #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x)) (taylor -inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) (patch #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) x)) (taylor -inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) (patch #s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64)))) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 3)) (taylor -inf x) (#s(alt (-.f64 x (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 x (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (- 1 (/ 1 (pow x 2))))) (taylor -inf x) (#s(alt (-.f64 x (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 x (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (- 1 (/ 1 (pow x 2))))) (taylor -inf x) (#s(alt (-.f64 x (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 x (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (- 1 (/ 1 (pow x 2))))) (taylor -inf x) (#s(alt (-.f64 x (pow.f64 x #s(literal 3 binary64))) (patch (-.f64 x (pow.f64 x #s(literal 3 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor -inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) (patch #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (/ 1 (pow x 2)) 1) x)) (taylor -inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) (patch #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x)) (taylor -inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) (patch #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) x)) (taylor -inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) (patch #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor -inf x) (#s(alt (/.f64 #s(literal 1 binary64) x) (patch (/.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor -inf x) (#s(alt (/.f64 #s(literal 1 binary64) x) (patch (/.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor -inf x) (#s(alt (/.f64 #s(literal 1 binary64) x) (patch (/.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor -inf x) (#s(alt (/.f64 #s(literal 1 binary64) x) (patch (/.f64 #s(literal 1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor -inf x) (#s(alt (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) (patch (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (/ 1 (pow x 2)) 1) x)) (taylor -inf x) (#s(alt (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) (patch (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x)) (taylor -inf x) (#s(alt (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) (patch (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) x)) (taylor -inf x) (#s(alt (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) (patch (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt #s(approx (+ (* x x) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* x x) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (/ 1 (pow x 2)))) (taylor -inf x) (#s(alt #s(approx (+ (* x x) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* x x) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (/ 1 (pow x 2)))) (taylor -inf x) (#s(alt #s(approx (+ (* x x) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* x x) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (/ 1 (pow x 2)))) (taylor -inf x) (#s(alt #s(approx (+ (* x x) 1) #s(literal 1 binary64)) (patch #s(approx (+ (* x x) 1) #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor -inf x) (#s(alt (/.f64 x (fma.f64 x x #s(literal 1 binary64))) (patch (/.f64 x (fma.f64 x x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (/ 1 (pow x 2)) 1) x)) (taylor -inf x) (#s(alt (/.f64 x (fma.f64 x x #s(literal 1 binary64))) (patch (/.f64 x (fma.f64 x x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x)) (taylor -inf x) (#s(alt (/.f64 x (fma.f64 x x #s(literal 1 binary64))) (patch (/.f64 x (fma.f64 x x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) x)) (taylor -inf x) (#s(alt (/.f64 x (fma.f64 x x #s(literal 1 binary64))) (patch (/.f64 x (fma.f64 x x #s(literal 1 binary64))) #<representation binary64>) () ())) ())
#s(alt (pow x 2) (taylor -inf x) (#s(alt (fma.f64 x x #s(literal 1 binary64)) (patch (fma.f64 x x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (/ 1 (pow x 2)))) (taylor -inf x) (#s(alt (fma.f64 x x #s(literal 1 binary64)) (patch (fma.f64 x x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (/ 1 (pow x 2)))) (taylor -inf x) (#s(alt (fma.f64 x x #s(literal 1 binary64)) (patch (fma.f64 x x #s(literal 1 binary64)) #<representation binary64>) () ())) ())
#s(alt (* (pow x 2) (+ 1 (/ 1 (pow x 2)))) (taylor -inf x) (#s(alt (fma.f64 x x #s(literal 1 binary64)) (patch (fma.f64 x x #s(literal 1 binary64)) #<representation binary64>) () ())) ())

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	((/ x (+ (* x x) 1)) (- x (pow x 3)) (pow x 3) (/ x (+ (* x x) 1)) (/ 1 x) (/ x (+ (* x x) 1)) (+ (* x x) 1) (/ x (+ (* x x) 1)) (+ (* x x) 1))
1.0ms	x	@	inf	((/ x (+ (* x x) 1)) (- x (pow x 3)) (pow x 3) (/ x (+ (* x x) 1)) (/ 1 x) (/ x (+ (* x x) 1)) (+ (* x x) 1) (/ x (+ (* x x) 1)) (+ (* x x) 1))
1.0ms	x	@	0	((/ x (+ (* x x) 1)) (- x (pow x 3)) (pow x 3) (/ x (+ (* x x) 1)) (/ 1 x) (/ x (+ (* x x) 1)) (+ (* x x) 1) (/ x (+ (* x x) 1)) (+ (* x x) 1))

Time

Variable

Point

Expression

2.0ms

-inf

((/ x (+ (* x x) 1)) (- x (pow x 3)) (pow x 3) (/ x (+ (* x x) 1)) (/ 1 x) (/ x (+ (* x x) 1)) (+ (* x x) 1) (/ x (+ (* x x) 1)) (+ (* x x) 1))

1.0ms

inf

((/ x (+ (* x x) 1)) (- x (pow x 3)) (pow x 3) (/ x (+ (* x x) 1)) (/ 1 x) (/ x (+ (* x x) 1)) (+ (* x x) 1) (/ x (+ (* x x) 1)) (+ (* x x) 1))

1.0ms

((/ x (+ (* x x) 1)) (- x (pow x 3)) (pow x 3) (/ x (+ (* x x) 1)) (/ 1 x) (/ x (+ (* x x) 1)) (+ (* x x) 1) (/ x (+ (* x x) 1)) (+ (* x x) 1))

simplify319.0ms (6.3%)

Memory

18.8MiB live, 207.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	809
1	146	759
2	366	742
3	1171	726
4	4090	726
0	8010	676

Stop Event

1×	iter limit
1×	node limit

Counts

108 → 103

Calls

Call 1

Inputs
x
(* x (+ 1 (* -1 (pow x 2))))
(* x (+ 1 (* (pow x 2) (- (pow x 2) 1))))
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1))))
x
(* x (+ 1 (* -1 (pow x 2))))
(* x (+ 1 (* -1 (pow x 2))))
(* x (+ 1 (* -1 (pow x 2))))
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
x
(* x (+ 1 (* -1 (pow x 2))))
(* x (+ 1 (* (pow x 2) (- (pow x 2) 1))))
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1))))
(/ 1 x)
(/ 1 x)
(/ 1 x)
(/ 1 x)
x
(* x (+ 1 (* -1 (pow x 2))))
(* x (+ 1 (* (pow x 2) (- (pow x 2) 1))))
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1))))
1
(+ 1 (pow x 2))
(+ 1 (pow x 2))
(+ 1 (pow x 2))
x
(* x (+ 1 (* -1 (pow x 2))))
(* x (+ 1 (* (pow x 2) (- (pow x 2) 1))))
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1))))
1
(+ 1 (pow x 2))
(+ 1 (pow x 2))
(+ 1 (pow x 2))
(/ 1 x)
(/ (- 1 (/ 1 (pow x 2))) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x)
(* -1 (pow x 3))
(* (pow x 3) (- (/ 1 (pow x 2)) 1))
(* (pow x 3) (- (/ 1 (pow x 2)) 1))
(* (pow x 3) (- (/ 1 (pow x 2)) 1))
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(/ 1 x)
(/ (- 1 (/ 1 (pow x 2))) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x)
(/ 1 x)
(/ 1 x)
(/ 1 x)
(/ 1 x)
(/ 1 x)
(/ (- 1 (/ 1 (pow x 2))) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x)
(pow x 2)
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(/ 1 x)
(/ (- 1 (/ 1 (pow x 2))) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x)
(pow x 2)
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(/ 1 x)
(* -1 (/ (- (/ 1 (pow x 2)) 1) x))
(* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x))
(* -1 (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) x))
(* -1 (pow x 3))
(* -1 (* (pow x 3) (- 1 (/ 1 (pow x 2)))))
(* -1 (* (pow x 3) (- 1 (/ 1 (pow x 2)))))
(* -1 (* (pow x 3) (- 1 (/ 1 (pow x 2)))))
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(/ 1 x)
(* -1 (/ (- (/ 1 (pow x 2)) 1) x))
(* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x))
(* -1 (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) x))
(/ 1 x)
(/ 1 x)
(/ 1 x)
(/ 1 x)
(/ 1 x)
(* -1 (/ (- (/ 1 (pow x 2)) 1) x))
(* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x))
(* -1 (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) x))
(pow x 2)
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(/ 1 x)
(* -1 (/ (- (/ 1 (pow x 2)) 1) x))
(* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x))
(* -1 (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) x))
(pow x 2)
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))

Outputs
x
(* x (+ 1 (* -1 (pow x 2))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(* x (+ 1 (* (pow x 2) (- (pow x 2) 1))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 x x #s(literal -1 binary64)) x)
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1))))
(.f64 (.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) (*.f64 x x))) x)
x
(* x (+ 1 (* -1 (pow x 2))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(* x (+ 1 (* -1 (pow x 2))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(* x (+ 1 (* -1 (pow x 2))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
x
(* x (+ 1 (* -1 (pow x 2))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(* x (+ 1 (* (pow x 2) (- (pow x 2) 1))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 x x #s(literal -1 binary64)) x)
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1))))
(.f64 (.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) (*.f64 x x))) x)
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
x
(* x (+ 1 (* -1 (pow x 2))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(* x (+ 1 (* (pow x 2) (- (pow x 2) 1))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 x x #s(literal -1 binary64)) x)
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1))))
(.f64 (.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) (*.f64 x x))) x)
1
#s(literal 1 binary64)
(+ 1 (pow x 2))
(fma.f64 x x #s(literal 1 binary64))
(+ 1 (pow x 2))
(fma.f64 x x #s(literal 1 binary64))
(+ 1 (pow x 2))
(fma.f64 x x #s(literal 1 binary64))
x
(* x (+ 1 (* -1 (pow x 2))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(* x (+ 1 (* (pow x 2) (- (pow x 2) 1))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 x x #s(literal -1 binary64)) x)
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1))))
(.f64 (.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) (*.f64 x x))) x)
1
#s(literal 1 binary64)
(+ 1 (pow x 2))
(fma.f64 x x #s(literal 1 binary64))
(+ 1 (pow x 2))
(fma.f64 x x #s(literal 1 binary64))
(+ 1 (pow x 2))
(fma.f64 x x #s(literal 1 binary64))
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(/ (- 1 (/ 1 (pow x 2))) x)
(/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) x)) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x)
(/.f64 (fma.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 4 binary64))) (fma.f64 x x #s(literal -1 binary64)) #s(literal 1 binary64)) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x)
(/.f64 (fma.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 4 binary64))) (fma.f64 x x #s(literal -1 binary64)) (-.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 6 binary64))) #s(literal -1 binary64))) x)
(* -1 (pow x 3))
(neg.f64 (pow.f64 x #s(literal 3 binary64)))
(* (pow x 3) (- (/ 1 (pow x 2)) 1))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(* (pow x 3) (- (/ 1 (pow x 2)) 1))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(* (pow x 3) (- (/ 1 (pow x 2)) 1))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(/ (- 1 (/ 1 (pow x 2))) x)
(/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) x)) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x)
(/.f64 (fma.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 4 binary64))) (fma.f64 x x #s(literal -1 binary64)) #s(literal 1 binary64)) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x)
(/.f64 (fma.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 4 binary64))) (fma.f64 x x #s(literal -1 binary64)) (-.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 6 binary64))) #s(literal -1 binary64))) x)
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(/ (- 1 (/ 1 (pow x 2))) x)
(/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) x)) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x)
(/.f64 (fma.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 4 binary64))) (fma.f64 x x #s(literal -1 binary64)) #s(literal 1 binary64)) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x)
(/.f64 (fma.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 4 binary64))) (fma.f64 x x #s(literal -1 binary64)) (-.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 6 binary64))) #s(literal -1 binary64))) x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(fma.f64 x x #s(literal 1 binary64))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(fma.f64 x x #s(literal 1 binary64))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(fma.f64 x x #s(literal 1 binary64))
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(/ (- 1 (/ 1 (pow x 2))) x)
(/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) x)) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x)
(/.f64 (fma.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 4 binary64))) (fma.f64 x x #s(literal -1 binary64)) #s(literal 1 binary64)) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x)
(/.f64 (fma.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 4 binary64))) (fma.f64 x x #s(literal -1 binary64)) (-.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 6 binary64))) #s(literal -1 binary64))) x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(fma.f64 x x #s(literal 1 binary64))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(fma.f64 x x #s(literal 1 binary64))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(fma.f64 x x #s(literal 1 binary64))
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(* -1 (/ (- (/ 1 (pow x 2)) 1) x))
(/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) x)) x)
(* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x))
(/.f64 (fma.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 4 binary64))) (fma.f64 x x #s(literal -1 binary64)) #s(literal 1 binary64)) x)
(* -1 (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) x))
(/.f64 (fma.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 4 binary64))) (fma.f64 x x #s(literal -1 binary64)) (-.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 6 binary64))) #s(literal -1 binary64))) x)
(* -1 (pow x 3))
(neg.f64 (pow.f64 x #s(literal 3 binary64)))
(* -1 (* (pow x 3) (- 1 (/ 1 (pow x 2)))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(* -1 (* (pow x 3) (- 1 (/ 1 (pow x 2)))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(* -1 (* (pow x 3) (- 1 (/ 1 (pow x 2)))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(* -1 (/ (- (/ 1 (pow x 2)) 1) x))
(/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) x)) x)
(* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x))
(/.f64 (fma.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 4 binary64))) (fma.f64 x x #s(literal -1 binary64)) #s(literal 1 binary64)) x)
(* -1 (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) x))
(/.f64 (fma.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 4 binary64))) (fma.f64 x x #s(literal -1 binary64)) (-.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 6 binary64))) #s(literal -1 binary64))) x)
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(* -1 (/ (- (/ 1 (pow x 2)) 1) x))
(/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) x)) x)
(* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x))
(/.f64 (fma.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 4 binary64))) (fma.f64 x x #s(literal -1 binary64)) #s(literal 1 binary64)) x)
(* -1 (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) x))
(/.f64 (fma.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 4 binary64))) (fma.f64 x x #s(literal -1 binary64)) (-.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 6 binary64))) #s(literal -1 binary64))) x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(fma.f64 x x #s(literal 1 binary64))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(fma.f64 x x #s(literal 1 binary64))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(fma.f64 x x #s(literal 1 binary64))
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(* -1 (/ (- (/ 1 (pow x 2)) 1) x))
(/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) x)) x)
(* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x))
(/.f64 (fma.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 4 binary64))) (fma.f64 x x #s(literal -1 binary64)) #s(literal 1 binary64)) x)
(* -1 (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) x))
(/.f64 (fma.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 4 binary64))) (fma.f64 x x #s(literal -1 binary64)) (-.f64 (/.f64 #s(literal -1 binary64) (pow.f64 x #s(literal 6 binary64))) #s(literal -1 binary64))) x)
(pow x 2)
(*.f64 x x)
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(fma.f64 x x #s(literal 1 binary64))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(fma.f64 x x #s(literal 1 binary64))
(* (pow x 2) (+ 1 (/ 1 (pow x 2))))
(fma.f64 x x #s(literal 1 binary64))

rewrite402.0ms (7.9%)

Memory

-10.7MiB live, 276.2MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	57
0	21	57
1	79	57
2	435	57
3	3940	57
0	8211	57

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

9 → 415

Calls

Call 1

Inputs
#s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(pow.f64 x #s(literal 3 binary64))
#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))
(/.f64 #s(literal 1 binary64) x)
(/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64)))
#s(approx (+ (* x x) 1) #s(literal 1 binary64))
(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
(fma.f64 x x #s(literal 1 binary64))

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval112.0ms (2.2%)

Memory: -8.2MiB live, 110.9MiB allocated
Compiler: Compiled 7 341 to 1 173 computations (84% saved)

prune10.0ms (0.2%)

Memory

26.4MiB live, 26.4MiB allocated

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	517	1	518
Fresh	0	0	0
Picked	2	2	4
Done	0	0	0
Total	519	3	522

Accuracy

100.0%

Counts

522 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	45.9%	(/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64)))
▶	44.8%	#s(approx (/ x (+ (* x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x))
✓	57.4%	#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))

Compiler

Compiled 16 to 13 computations (18.8% saved)

simplify258.0ms (5.1%)

Memory

-28.1MiB live, 128.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	-5824	(fma.f64 (*.f64 (neg.f64 x) x) x x)
cost-diff	0	(neg.f64 x)
cost-diff	0	(*.f64 (neg.f64 x) x)
cost-diff	0	#s(approx (/ x (+ (* x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	29
0	13	29
1	26	29
2	39	25
3	69	25
4	94	25
5	157	25
6	297	25
7	779	25
8	1285	25
9	2454	25
10	3689	25
11	5505	25
12	7187	25
13	7872	25
0	8022	24

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Calls

Call 1

Inputs
#s(approx (/ x (+ (* x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x))
(fma.f64 (*.f64 (neg.f64 x) x) x x)
(*.f64 (neg.f64 x) x)
(neg.f64 x)
x

Outputs
#s(approx (/ x (+ (* x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x))
#s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64))))
(fma.f64 (*.f64 (neg.f64 x) x) x x)
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(*.f64 (neg.f64 x) x)
(neg.f64 x)
x

localize23.0ms (0.4%)

Memory

21.3MiB live, 21.3MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(*.f64 (neg.f64 x) x)
accuracy	0	(neg.f64 x)
accuracy	0.05078125	(fma.f64 (*.f64 (neg.f64 x) x) x x)
accuracy	35.31435622326511	#s(approx (/ x (+ (* x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x))

Samples

16.0ms

256×

valid

Compiler

Compiled 24 to 11 computations (54.2% saved)

Precisions

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

ival-mult: 5.0ms (46.9% of total)

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

ival-add: 2.0ms (18.8% of total)

ival-neg: 1.0ms (9.4% 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.1MiB live, 4.1MiB allocated

Counts

4 → 48

Calls

Call 1

Inputs
#s(alt #s(approx (/ x (+ (* x x) 1)) (fma.f64 (.f64 (neg.f64 x) x) x x)) (patch #s(approx (/ x (+ ( x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x)) #<representation binary64>) () ())
#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())
#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())
#s(alt (fma.f64 (.f64 (neg.f64 x) x) x x) (patch (fma.f64 (.f64 (neg.f64 x) x) x x) #<representation binary64>) () ())

Outputs
#s(alt x (taylor 0 x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (fma.f64 (.f64 (neg.f64 x) x) x x)) (patch #s(approx (/ x (+ ( x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (pow x 2)))) (taylor 0 x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (fma.f64 (.f64 (neg.f64 x) x) x x)) (patch #s(approx (/ x (+ ( x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (pow x 2) 1)))) (taylor 0 x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (fma.f64 (.f64 (neg.f64 x) x) x x)) (patch #s(approx (/ x (+ ( x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1)))) (taylor 0 x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (fma.f64 (.f64 (neg.f64 x) x) x x)) (patch #s(approx (/ x (+ ( x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor 0 x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor 0 x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor 0 x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor 0 x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor 0 x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor 0 x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor 0 x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor 0 x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt x (taylor 0 x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x x) (patch (fma.f64 (.f64 (neg.f64 x) x) x x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (pow x 2)))) (taylor 0 x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x x) (patch (fma.f64 (.f64 (neg.f64 x) x) x x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (pow x 2)))) (taylor 0 x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x x) (patch (fma.f64 (.f64 (neg.f64 x) x) x x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (pow x 2)))) (taylor 0 x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x x) (patch (fma.f64 (.f64 (neg.f64 x) x) x x) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (fma.f64 (.f64 (neg.f64 x) x) x x)) (patch #s(approx (/ x (+ ( x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x)) #<representation binary64>) () ())) ())
#s(alt (/ (- 1 (/ 1 (pow x 2))) x) (taylor inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (fma.f64 (.f64 (neg.f64 x) x) x x)) (patch #s(approx (/ x (+ ( x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x) (taylor inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (fma.f64 (.f64 (neg.f64 x) x) x x)) (patch #s(approx (/ x (+ ( x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x) (taylor inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (fma.f64 (.f64 (neg.f64 x) x) x x)) (patch #s(approx (/ x (+ ( x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 3)) (taylor inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x x) (patch (fma.f64 (.f64 (neg.f64 x) x) x x) #<representation binary64>) () ())) ())
#s(alt (* (pow x 3) (- (/ 1 (pow x 2)) 1)) (taylor inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x x) (patch (fma.f64 (.f64 (neg.f64 x) x) x x) #<representation binary64>) () ())) ())
#s(alt (* (pow x 3) (- (/ 1 (pow x 2)) 1)) (taylor inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x x) (patch (fma.f64 (.f64 (neg.f64 x) x) x x) #<representation binary64>) () ())) ())
#s(alt (* (pow x 3) (- (/ 1 (pow x 2)) 1)) (taylor inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x x) (patch (fma.f64 (.f64 (neg.f64 x) x) x x) #<representation binary64>) () ())) ())
#s(alt (/ 1 x) (taylor -inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (fma.f64 (.f64 (neg.f64 x) x) x x)) (patch #s(approx (/ x (+ ( x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (/ 1 (pow x 2)) 1) x)) (taylor -inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (fma.f64 (.f64 (neg.f64 x) x) x x)) (patch #s(approx (/ x (+ ( x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x)) (taylor -inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (fma.f64 (.f64 (neg.f64 x) x) x x)) (patch #s(approx (/ x (+ ( x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) x)) (taylor -inf x) (#s(alt #s(approx (/ x (+ (* x x) 1)) (fma.f64 (.f64 (neg.f64 x) x) x x)) (patch #s(approx (/ x (+ ( x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor -inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor -inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor -inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 2)) (taylor -inf x) (#s(alt (.f64 (neg.f64 x) x) (patch (.f64 (neg.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor -inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor -inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor -inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 x) (taylor -inf x) (#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (pow x 3)) (taylor -inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x x) (patch (fma.f64 (.f64 (neg.f64 x) x) x x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (- 1 (/ 1 (pow x 2))))) (taylor -inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x x) (patch (fma.f64 (.f64 (neg.f64 x) x) x x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (- 1 (/ 1 (pow x 2))))) (taylor -inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x x) (patch (fma.f64 (.f64 (neg.f64 x) x) x x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (- 1 (/ 1 (pow x 2))))) (taylor -inf x) (#s(alt (fma.f64 (.f64 (neg.f64 x) x) x x) (patch (fma.f64 (.f64 (neg.f64 x) x) x x) #<representation binary64>) () ())) ())

Calls

3 calls:

Time

Variable

Point

Expression

1.0ms

-inf

((/ x (+ (* x x) 1)) (* (neg x) x) (neg x) (+ (* (* (neg x) x) x) x))

1.0ms

inf

((/ x (+ (* x x) 1)) (* (neg x) x) (neg x) (+ (* (* (neg x) x) x) x))

1.0ms

((/ x (+ (* x x) 1)) (* (neg x) x) (neg x) (+ (* (* (neg x) x) x) x))

simplify122.0ms (2.4%)

Memory

12.1MiB live, 165.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	49	291
1	139	265
2	342	254
3	1122	250
4	3378	248
5	6348	248
0	8133	248

Stop Event

1×	iter limit
1×	node limit

Counts

48 → 46

Calls

Call 1

Inputs
x
(* x (+ 1 (* -1 (pow x 2))))
(* x (+ 1 (* (pow x 2) (- (pow x 2) 1))))
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1))))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
x
(* x (+ 1 (* -1 (pow x 2))))
(* x (+ 1 (* -1 (pow x 2))))
(* x (+ 1 (* -1 (pow x 2))))
(/ 1 x)
(/ (- 1 (/ 1 (pow x 2))) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x)
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 (pow x 3))
(* (pow x 3) (- (/ 1 (pow x 2)) 1))
(* (pow x 3) (- (/ 1 (pow x 2)) 1))
(* (pow x 3) (- (/ 1 (pow x 2)) 1))
(/ 1 x)
(* -1 (/ (- (/ 1 (pow x 2)) 1) x))
(* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x))
(* -1 (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) x))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 (pow x 2))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 (pow x 3))
(* -1 (* (pow x 3) (- 1 (/ 1 (pow x 2)))))
(* -1 (* (pow x 3) (- 1 (/ 1 (pow x 2)))))
(* -1 (* (pow x 3) (- 1 (/ 1 (pow x 2)))))

Outputs
x
(* x (+ 1 (* -1 (pow x 2))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(* x (+ 1 (* (pow x 2) (- (pow x 2) 1))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 x x #s(literal -1 binary64)) x)
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1))))
(*.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1 binary64)) (-.f64 x (pow.f64 x #s(literal 3 binary64))))
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
x
(* x (+ 1 (* -1 (pow x 2))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(* x (+ 1 (* -1 (pow x 2))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(* x (+ 1 (* -1 (pow x 2))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(/ (- 1 (/ 1 (pow x 2))) x)
(/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) x)) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x)
(/.f64 (-.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64))) (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64))) x)
(/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x)
(/.f64 (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64))) (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 6 binary64)))) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 (pow x 3))
(pow.f64 (neg.f64 x) #s(literal 3 binary64))
(* (pow x 3) (- (/ 1 (pow x 2)) 1))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(* (pow x 3) (- (/ 1 (pow x 2)) 1))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(* (pow x 3) (- (/ 1 (pow x 2)) 1))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(* -1 (/ (- (/ 1 (pow x 2)) 1) x))
(/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) x)) x)
(* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x))
(/.f64 (-.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64))) (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64))) x)
(* -1 (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) x))
(/.f64 (-.f64 (-.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64))) (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 6 binary64)))) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 (pow x 2))
(*.f64 (neg.f64 x) x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 (pow x 3))
(pow.f64 (neg.f64 x) #s(literal 3 binary64))
(* -1 (* (pow x 3) (- 1 (/ 1 (pow x 2)))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(* -1 (* (pow x 3) (- 1 (/ 1 (pow x 2)))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))
(* -1 (* (pow x 3) (- 1 (/ 1 (pow x 2)))))
(-.f64 x (pow.f64 x #s(literal 3 binary64)))

rewrite338.0ms (6.7%)

Memory

-40.1MiB live, 209.9MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	28
0	13	28
1	58	26
2	370	24
3	3795	22
0	11447	21

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

4 → 219

Calls

Call 1

Inputs
#s(approx (/ x (+ (* x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x))
(*.f64 (neg.f64 x) x)
(neg.f64 x)
(fma.f64 (*.f64 (neg.f64 x) x) x x)

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval81.0ms (1.6%)

Memory: 5.2MiB live, 44.9MiB allocated
Compiler: Compiled 4 140 to 855 computations (79.3% saved)

prune6.0ms (0.1%)

Memory

19.7MiB live, 19.7MiB allocated

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	265	0	265
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	265	3	268

Accuracy

100.0%

Counts

268 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	45.9%	(/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64)))
✓	44.8%	#s(approx (/ x (+ (* x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x))
✓	57.4%	#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))

Compiler

Compiled 51 to 32 computations (37.3% saved)

regimes5.0ms (0.1%)

Memory

11.6MiB live, 11.6MiB allocated

Counts

6 → 2

Calls

Call 1

Inputs
#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))
(/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64)))
#s(approx (/ x (+ (* x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x))
(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))
#s(approx (/ x (+ (* x x) 1)) (-.f64 x (pow.f64 x #s(literal 3 binary64))))

Outputs
#s(approx (/ x (+ (* x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x))
#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))

Calls

2 calls:

3.0ms	x
2.0ms	(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))

Results

Accuracy	Segments	Branch
100.0%	2	`x`
99.9%	2	`(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))`

Compiler

Compiled 8 to 6 computations (25% saved)

regimes83.0ms (1.6%)

Memory

-28.2MiB live, 7.7MiB allocated

Counts

2 → 2

Calls

Call 1

Inputs
#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))
(/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64)))

Outputs
(/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64)))
#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))

Calls

2 calls:

81.0ms	x
2.0ms	(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))

Results

Accuracy	Segments	Branch
83.4%	3	`(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))`
99.7%	2	`x`

Compiler

Compiled 8 to 6 computations (25% saved)

regimes3.0ms (0.1%)

Memory

6.6MiB live, 6.6MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))

Outputs
#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))

Calls

2 calls:

1.0ms	x
1.0ms	(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))

Results

Accuracy	Segments	Branch
57.4%	1	`(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))`
57.4%	1	`x`

Compiler

Compiled 8 to 6 computations (25% saved)

bsearch13.0ms (0.3%)

Memory

23.9MiB live, 23.9MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
12.0ms	1.087152255639739e-5	4074930714.529787

Samples

6.0ms

160×

valid

Compiler

Compiled 130 to 119 computations (8.5% saved)

Precisions

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

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

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

ival-mult: 1.0ms (30.7% of total)

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

exact: 0.0ms (0% of total)

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

bsearch112.0ms (2.2%)

Memory

-27.8MiB live, 6.8MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
112.0ms	1.087152255639739e-5	4074930714.529787

Samples

110.0ms

32×

valid

Compiler

Compiled 90 to 109 computations (-21.1% saved)

Precisions

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

ival-mult: 109.0ms (99.8% of total)

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

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

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

exact: 0.0ms (0% of total)

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

simplify48.0ms (0.9%)

Memory

22.3MiB live, 56.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	65
1	27	65
2	31	65
3	34	65
4	35	65

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (<=.f64 x #s(literal 7746191359077253/9007199254740992 binary64)) #s(approx (/ x (+ (* x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x)) #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)))

(if (<=.f64 x #s(literal 1 binary64)) (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)))

#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))

Outputs

(if (<=.f64 x #s(literal 7746191359077253/9007199254740992 binary64)) #s(approx (/ x (+ (* x x) 1)) (fma.f64 (*.f64 (neg.f64 x) x) x x)) #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)))

(if (<=.f64 x #s(literal 1 binary64)) (/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64))) #s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x)))

#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))

soundness792.0ms (15.7%)

Memory

2.7MiB live, 323.7MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	226
1	131	224
2	312	216
3	883	212
4	2385	210
5	5560	210
6	7661	210
0	8081	197
0	15	57
0	21	57
1	79	57
2	435	57
3	3940	57
0	8211	57

Stop Event

1×	done
1×	iter limit
1×	node limit
1×	iter limit
1×	iter limit
1×	node limit

Compiler

Compiled 55 to 36 computations (34.5% saved)

preprocess369.0ms (7.3%)

Memory: -45.3MiB live, 309.6MiB allocated
Compiler: Compiled 124 to 72 computations (41.9% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	7	17
1	26	15
2	62	14
3	128	14
4	232	14
5	331	14
6	344	14
7	346	14
8	350	14
0	5	7
0	8	7
1	11	7
0	11	6

Iter	Nodes	Cost
0	7	17
1	26	15
2	62	14
3	128	14
4	232	14
5	331	14
6	344	14
7	346	14
8	350	14
0	5	7
0	8	7
1	11	7
0	11	6

start0.0ms (0%)

analyze0.0ms (0%)

sample729.0ms (14.4%)

explain90.0ms (1.8%)

preprocess19.0ms (0.4%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify10.0ms (0.2%)

localize15.0ms (0.3%)

series3.0ms (0.1%)

simplify162.0ms (3.2%)

rewrite160.0ms (3.2%)

eval102.0ms (2%)

prune27.0ms (0.5%)

simplify460.0ms (9.1%)

localize49.0ms (1%)

series129.0ms (2.5%)

simplify319.0ms (6.3%)

rewrite402.0ms (7.9%)

eval112.0ms (2.2%)

prune10.0ms (0.2%)

simplify258.0ms (5.1%)

localize23.0ms (0.4%)

series3.0ms (0.1%)

simplify122.0ms (2.4%)

rewrite338.0ms (6.7%)

eval81.0ms (1.6%)

prune6.0ms (0.1%)

regimes5.0ms (0.1%)

regimes83.0ms (1.6%)

regimes3.0ms (0.1%)

bsearch13.0ms (0.3%)

bsearch112.0ms (2.2%)

simplify48.0ms (0.9%)

soundness792.0ms (15.7%)

preprocess369.0ms (7.3%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	7	17
1	26	15
2	62	14
3	128	14
4	232	14
5	331	14
6	344	14
7	346	14
8	350	14
0	5	7
0	8	7
1	11	7
0	11	6