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.9%)

Memory

42.6MiB live, 654.5MiB allocated

Samples

406.0ms

8 256×

valid

Precisions

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

ival-mult: 67.0ms (34.6% of total)

ival-div: 59.0ms (30.5% of total)

ival-add: 52.0ms (26.9% of total)

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

exact: 6.0ms (3.1% of total)

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

Bogosity

explain156.0ms (3.2%)

Memory

-27.5MiB live, 128.3MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
73	-	-	`(/.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	73	0
↳	`(*.f64 x x)`	overflow	73
↳	`(+.f64 (*.f64 x x) #s(literal 1 binary64))`	overflow	73

Confusion

	Predicted +	Predicted -
+	73	0
-	0	183

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	73	0	0
-	0	0	183

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	183
1	73

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

23.0ms

512×

valid

Compiler

Compiled 96 to 40 computations (58.3% saved)

Precisions

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

ival-div: 4.0ms (34.9% of total)

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

ival-add: 3.0ms (26.2% 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

29.7MiB live, 29.7MiB 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.4MiB live, 0.4MiB allocated
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify3.0ms (0.1%)

Memory

3.9MiB live, 3.9MiB 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)

localize22.0ms (0.4%)

Memory

-25.0MiB live, 17.2MiB 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.941575137359603	(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))

Samples

17.0ms

256×

valid

Compiler

Compiled 36 to 12 computations (66.7% saved)

Precisions

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

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

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

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

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))

simplify166.0ms (3.4%)

Memory

15.2MiB live, 172.9MiB 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)

rewrite166.0ms (3.4%)

Memory

-4.1MiB live, 159.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>

eval62.0ms (1.3%)

Memory: -2.7MiB live, 71.6MiB allocated
Compiler: Compiled 7 796 to 1 076 computations (86.2% saved)

prune10.0ms (0.2%)

Memory

-8.0MiB live, 29.4MiB allocated

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	356	6	362
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	357	6	363

Accuracy

100.0%

Counts

363 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
	54.3%	(/.f64 (-.f64 (.f64 #s(literal 0 binary64) (fma.f64 x x #s(literal 1 binary64))) (.f64 (fma.f64 (neg.f64 x) x #s(literal -1 binary64)) (neg.f64 x))) (*.f64 (fma.f64 (neg.f64 x) x #s(literal -1 binary64)) (fma.f64 x x #s(literal 1 binary64))))
▶	73.5%	(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
▶	32.1%	(/.f64 x #s(approx (+ (* x x) 1) (*.f64 x x)))
▶	43.5%	(/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64)))
▶	73.5%	(*.f64 (/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64))) (neg.f64 x))
▶	58.6%	#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))

Compiler

Compiled 110 to 70 computations (36.4% saved)

simplify28.0ms (0.6%)

Memory

-14.5MiB live, 32.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 13 expressions of interest:

New	Metric	Score
cost-diff	0	(neg.f64 x)
cost-diff	0	(fma.f64 x x #s(literal 1 binary64))
cost-diff	0	(/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64)))
cost-diff	448	(*.f64 (/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64))) (neg.f64 x))
cost-diff	0	(*.f64 x x)
cost-diff	0	#s(approx (+ (* x x) 1) (*.f64 x x))
cost-diff	0	(/.f64 x #s(approx (+ (* x x) 1) (*.f64 x x)))
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	(fma.f64 x x #s(literal 1 binary64))
cost-diff	0	(/.f64 x (fma.f64 x x #s(literal 1 binary64)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	89
0	28	86
1	38	86
2	55	86
3	83	86
4	191	86
5	352	86
6	635	86
7	721	86
8	768	86
9	793	86
10	805	86
0	805	86

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
x
(fma.f64 x x #s(literal 1 binary64))
#s(literal 1 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 #s(approx (+ (* x x) 1) (*.f64 x x)))
x
#s(approx (+ (* x x) 1) (*.f64 x x))
(*.f64 x x)
(*.f64 (/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64))) (neg.f64 x))
(/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64)))
#s(literal -1 binary64)
(fma.f64 x x #s(literal 1 binary64))
x
#s(literal 1 binary64)
(neg.f64 x)

Outputs
(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
x
(fma.f64 x x #s(literal 1 binary64))
#s(literal 1 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 #s(approx (+ (* x x) 1) (*.f64 x x)))
x
#s(approx (+ (* x x) 1) (*.f64 x x))
(*.f64 x x)
(*.f64 (/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64))) (neg.f64 x))
(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
(/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64)))
#s(literal -1 binary64)
(fma.f64 x x #s(literal 1 binary64))
x
#s(literal 1 binary64)
(neg.f64 x)

localize53.0ms (1.1%)

Memory

16.5MiB live, 54.1MiB allocated

Localize:

Found 13 expressions of interest:

New	Metric	Score
accuracy	0	(fma.f64 x x #s(literal 1 binary64))
accuracy	0	(neg.f64 x)
accuracy	0.5120053752348374	(/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64)))
accuracy	16.42216893113688	(*.f64 (/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64))) (neg.f64 x))
accuracy	0	(*.f64 x x)
accuracy	16.941575137359603	(/.f64 x #s(approx (+ (* x x) 1) (*.f64 x x)))
accuracy	26.404280774013277	#s(approx (+ (* x x) 1) (*.f64 x x))
accuracy	16.941575137359603	(/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64)))
accuracy	35.95545847841609	#s(approx (+ (* x x) 1) #s(literal 1 binary64))
accuracy	0	(/.f64 #s(literal 1 binary64) x)
accuracy	26.501690691045713	#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))
accuracy	0	(fma.f64 x x #s(literal 1 binary64))
accuracy	16.941575137359603	(/.f64 x (fma.f64 x x #s(literal 1 binary64)))

Samples

43.0ms

256×

valid

Compiler

Compiled 152 to 27 computations (82.2% saved)

Precisions

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

ival-mult: 25.0ms (75.9% of total)

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

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

ival-neg: 1.0ms (3% of total)

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

exact: 0.0ms (0% of total)

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

series6.0ms (0.1%)

Memory

8.8MiB live, 8.8MiB allocated

Counts

12 → 144

Calls

Call 1

Inputs
#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>) () ())
#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 #s(approx (+ (* x x) 1) (.f64 x x))) (patch (/.f64 x #s(approx (+ ( x x) 1) (*.f64 x x))) #<representation binary64>) () ())
#s(alt #s(approx (+ (* x x) 1) (.f64 x x)) (patch #s(approx (+ ( x x) 1) (*.f64 x x)) #<representation binary64>) () ())
#s(alt (.f64 x x) (patch (.f64 x x) #<representation binary64>) () ())
#s(alt (.f64 (/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64))) (neg.f64 x)) (patch (.f64 (/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64))) (neg.f64 x)) #<representation binary64>) () ())
#s(alt (/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64))) (patch (/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64))) #<representation binary64>) () ())
#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())

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

Calls

3 calls:

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

Time

Variable

Point

Expression

1.0ms

-inf

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

1.0ms

inf

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

1.0ms

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

simplify371.0ms (7.6%)

Memory

-5.6MiB live, 147.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	1089
1	152	1078
2	365	1034
3	1029	1010
4	2746	1000
5	6763	1000
0	8068	970

Stop Event

1×	iter limit
1×	node limit

Counts

144 → 139

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
(+ 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 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))
(pow x 2)
(pow x 2)
(pow x 2)
(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
(- (pow x 2) 1)
(- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1)
(- (* (pow x 2) (+ 1 (* (pow x 2) (- (pow x 2) 1)))) 1)
(* -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)
(/ 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))))
(pow x 2)
(pow x 2)
(pow x 2)
(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 (/ 1 (pow x 4)))) (pow x 2))
(/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(* -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))
(/ 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))))
(pow x 2)
(pow x 2)
(pow x 2)
(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 2))
(/ (- (/ 1 (pow x 2)) 1) (pow x 2))
(/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(* -1 x)
(* -1 x)
(* -1 x)
(* -1 x)

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
#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 4 binary64)) #s(literal -1 binary64)) (-.f64 x (pow.f64 x #s(literal 3 binary64))))
(/ 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 (pow.f64 x #s(literal 4 binary64)) #s(literal -1 binary64)) (-.f64 x (pow.f64 x #s(literal 3 binary64))))
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 4 binary64)) #s(literal -1 binary64)) (-.f64 x (pow.f64 x #s(literal 3 binary64))))
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))
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x 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 (pow.f64 x #s(literal 4 binary64)) #s(literal -1 binary64)) (-.f64 x (pow.f64 x #s(literal 3 binary64))))
-1
#s(literal -1 binary64)
(- (pow x 2) 1)
(fma.f64 x x #s(literal -1 binary64))
(- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1)
(fma.f64 (-.f64 x (pow.f64 x #s(literal 3 binary64))) x #s(literal -1 binary64))
(- (* (pow x 2) (+ 1 (* (pow x 2) (- (pow x 2) 1)))) 1)
(*.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1 binary64)) (fma.f64 x x #s(literal -1 binary64)))
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 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 (-.f64 (/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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) (+ 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 (-.f64 (/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64)) x) x) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 6 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 (-.f64 (/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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) (+ 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 (-.f64 (/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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) (+ 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))
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x 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 (-.f64 (/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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 #s(literal -1 binary64) (*.f64 x x))
(/ (- (/ 1 (pow x 2)) 1) (pow x 2))
(/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64)) x) x)
(/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(/.f64 (/.f64 (-.f64 (/.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) x)) x) x) #s(literal 1 binary64)) x) x)
(/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(/.f64 (-.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64))) #s(literal -1 binary64)) (.f64 x x)) (-.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64))) #s(literal -1 binary64))) (.f64 x x))
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 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 (-.f64 (/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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) (+ 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 (-.f64 (/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64)) x) x) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 6 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 (-.f64 (/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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) (+ 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 (-.f64 (/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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) (+ 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))
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x x)
(pow x 2)
(*.f64 x 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 (-.f64 (/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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 #s(literal -1 binary64) (*.f64 x x))
(/ (- (/ 1 (pow x 2)) 1) (pow x 2))
(/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64)) x) x)
(/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(/.f64 (/.f64 (-.f64 (/.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) x)) x) x) #s(literal 1 binary64)) x) x)
(/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(/.f64 (-.f64 (/.f64 (-.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64))) #s(literal -1 binary64)) (.f64 x x)) (-.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64))) #s(literal -1 binary64))) (.f64 x x))
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)

rewrite181.0ms (3.7%)

Memory

-1.5MiB live, 230.6MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	75
0	28	72
1	82	72
2	398	72
3	3206	72
0	9506	72

Stop Event

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

Counts

12 → 742

Calls

Call 1

Inputs
(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
(fma.f64 x x #s(literal 1 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 #s(approx (+ (* x x) 1) (*.f64 x x)))
#s(approx (+ (* x x) 1) (*.f64 x x))
(*.f64 x x)
(*.f64 (/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64))) (neg.f64 x))
(/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64)))
(neg.f64 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>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval184.0ms (3.8%)

Memory: 4.2MiB live, 285.5MiB allocated
Compiler: Compiled 17 579 to 2 082 computations (88.2% saved)

prune17.0ms (0.3%)

Memory

23.8MiB live, 62.7MiB allocated

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	1 084	2	1 086
Fresh	1	0	1
Picked	1	4	5
Done	0	0	0
Total	1 086	6	1 092

Accuracy

100.0%

Counts

1 092 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	73.5%	(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
✓	32.1%	(/.f64 x #s(approx (+ (* x x) 1) (*.f64 x x)))
✓	73.5%	(*.f64 (/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64))) (neg.f64 x))
▶	42.6%	(.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x))
▶	43.5%	(.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x))
✓	58.6%	#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))

Compiler

Compiled 38 to 30 computations (21.1% saved)

simplify371.0ms (7.6%)

Memory

-4.8MiB live, 197.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 7 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	60
0	16	60
1	31	60
2	55	60
3	92	60
4	127	60
5	208	60
6	510	60
7	998	60
8	2370	60
9	3880	60
10	4830	60
11	5232	60
12	5422	60
13	5498	60
14	5574	60
15	6273	60
16	7058	60
17	7492	60
18	7637	60
19	7708	60
20	7752	60
0	8052	56

Stop Event

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

Calls

Call 1

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

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

localize91.0ms (1.8%)

Memory

-14.5MiB live, 23.1MiB allocated

Localize:

Found 7 expressions of interest:

New	Metric	Score
accuracy	0	(fma.f64 x x #s(literal -1 binary64))
accuracy	0	(neg.f64 x)
accuracy	16.42216893113688	(.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x))
accuracy	36.623637346204205	#s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64)))
accuracy	0	(neg.f64 x)
accuracy	16.42216893113688	(.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x))
accuracy	35.97480901464269	#s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64))

Samples

83.0ms

256×

valid

Compiler

Compiled 81 to 19 computations (76.5% saved)

Precisions

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

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

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

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

ival-neg: 1.0ms (10.6% of total)

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

exact: 0.0ms (0% of total)

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

series3.0ms (0.1%)

Memory

4.9MiB live, 4.9MiB allocated

Counts

6 → 72

Calls

Call 1

Inputs
#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) #<representation binary64>) () ())
#s(alt #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) (patch #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) #<representation binary64>) () ())
#s(alt (neg.f64 x) (patch (neg.f64 x) #<representation binary64>) () ())
#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) #<representation binary64>) () ())
#s(alt #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (patch #s(approx (/ -1 (+ (* x x) 1)) (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 (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (pow x 2)))) (taylor 0 x) (#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (pow x 2) 1)))) (taylor 0 x) (#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1)))) (taylor 0 x) (#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) (patch #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (pow x 2) 1) (taylor 0 x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) (patch #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1) (taylor 0 x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) (patch #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (- (* (pow x 2) (+ 1 (* (pow x 2) (- (pow x 2) 1)))) 1) (taylor 0 x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) (patch #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) #<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 (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1 (pow x 2)))) (taylor 0 x) (#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (pow x 2) 1)))) (taylor 0 x) (#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1)))) (taylor 0 x) (#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (patch #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (pow x 2) 1) (taylor 0 x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (patch #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1) (taylor 0 x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (patch #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (- (* (pow x 2) (+ 1 (* (pow x 2) (- (pow x 2) 1)))) 1) (taylor 0 x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (patch #s(approx (/ -1 (+ (* x x) 1)) (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 (- (pow x 2) 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 (- (pow x 2) 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 (- (pow x 2) 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 x) (taylor inf x) (#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ (- 1 (/ 1 (pow x 2))) x) (taylor inf x) (#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x) (taylor inf x) (#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x) (taylor inf x) (#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ -1 (pow x 2)) (taylor inf x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) (patch #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ (- (/ 1 (pow x 2)) 1) (pow x 2)) (taylor inf x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) (patch #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) (pow x 2)) (taylor inf x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) (patch #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) (pow x 2)) (taylor inf x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) (patch #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) #<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 x) (taylor inf x) (#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ (- 1 (/ 1 (pow x 2))) x) (taylor inf x) (#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x) (taylor inf x) (#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ 1 (/ 1 (pow x 4))) (+ (/ 1 (pow x 2)) (/ 1 (pow x 6)))) x) (taylor inf x) (#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ -1 (pow x 2)) (taylor inf x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (patch #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (/ (- (/ 1 (pow x 2)) 1) (pow x 2)) (taylor inf x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (patch #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) (pow x 2)) (taylor inf x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (patch #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) (pow x 2)) (taylor inf x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (patch #s(approx (/ -1 (+ (* x x) 1)) (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 (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (/ 1 (pow x 2)) 1) x)) (taylor -inf x) (#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x)) (taylor -inf x) (#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 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 (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ -1 (pow x 2)) (taylor -inf x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) (patch #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ (- (/ 1 (pow x 2)) 1) (pow x 2)) (taylor -inf x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) (patch #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) (pow x 2)) (taylor -inf x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) (patch #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) (pow x 2)) (taylor -inf x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) (patch #s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64)) #<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 x) (taylor -inf x) (#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (/ 1 (pow x 2)) 1) x)) (taylor -inf x) (#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x)) (taylor -inf x) (#s(alt (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 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 (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) (patch (.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ -1 (pow x 2)) (taylor -inf x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (patch #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (/ (- (/ 1 (pow x 2)) 1) (pow x 2)) (taylor -inf x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (patch #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) (pow x 2)) (taylor -inf x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (patch #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) #<representation binary64>) () ())) ())
#s(alt (/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) (pow x 2)) (taylor -inf x) (#s(alt #s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (patch #s(approx (/ -1 (+ (* x x) 1)) (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

1.0ms

inf

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

0.0ms

-inf

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

0.0ms

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

simplify143.0ms (2.9%)

Memory

-15.5MiB live, 144.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	646
1	144	640
2	356	616
3	1055	600
4	3008	596
5	6417	564
0	8096	549

Stop Event

1×	iter limit
1×	node limit

Counts

72 → 70

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 (* -1 (pow x 2)))) 1)
(- (* (pow x 2) (+ 1 (* (pow x 2) (- (pow x 2) 1)))) 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
(- (pow x 2) 1)
(- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1)
(- (* (pow x 2) (+ 1 (* (pow x 2) (- (pow x 2) 1)))) 1)
-1
(- (pow x 2) 1)
(- (pow x 2) 1)
(- (pow x 2) 1)
(/ 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 (/ 1 (pow x 4)))) (pow x 2))
(/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(* -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)
(/ -1 (pow x 2))
(/ (- (/ 1 (pow x 2)) 1) (pow x 2))
(/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) (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))
(/ -1 (pow x 2))
(/ (- (/ 1 (pow x 2)) 1) (pow x 2))
(/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(* -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))
(/ -1 (pow x 2))
(/ (- (/ 1 (pow x 2)) 1) (pow x 2))
(/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) (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))))

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
#s(literal -1 binary64)
(- (pow x 2) 1)
(fma.f64 x x #s(literal -1 binary64))
(- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1)
(fma.f64 (-.f64 x (pow.f64 x #s(literal 3 binary64))) x #s(literal -1 binary64))
(- (* (pow x 2) (+ 1 (* (pow x 2) (- (pow x 2) 1)))) 1)
(*.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1 binary64)) (fma.f64 x x #s(literal -1 binary64)))
(* -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 (* (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
#s(literal -1 binary64)
(- (pow x 2) 1)
(fma.f64 x x #s(literal -1 binary64))
(- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1)
(fma.f64 (-.f64 x (pow.f64 x #s(literal 3 binary64))) x #s(literal -1 binary64))
(- (* (pow x 2) (+ 1 (* (pow x 2) (- (pow x 2) 1)))) 1)
(*.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -1 binary64)) (fma.f64 x x #s(literal -1 binary64)))
-1
#s(literal -1 binary64)
(- (pow x 2) 1)
(fma.f64 x x #s(literal -1 binary64))
(- (pow x 2) 1)
(fma.f64 x x #s(literal -1 binary64))
(- (pow x 2) 1)
(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 (-.f64 (/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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 #s(literal -1 binary64) (/.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 (pow x 2))
(/.f64 #s(literal -1 binary64) (*.f64 x x))
(/ (- (/ 1 (pow x 2)) 1) (pow x 2))
(/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64)) x) x)
(/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(/.f64 (/.f64 (-.f64 (/.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) x)) x) x) #s(literal 1 binary64)) x) x)
(/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(/.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64))) #s(literal -1 binary64)) (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64))) (.f64 x x))
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 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 (-.f64 (/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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 #s(literal -1 binary64) (/.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 (pow x 2))
(/.f64 #s(literal -1 binary64) (*.f64 x x))
(/ (- (/ 1 (pow x 2)) 1) (pow x 2))
(/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64)) x) x)
(/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(/.f64 (/.f64 (-.f64 (/.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) x)) x) x) #s(literal 1 binary64)) x) x)
(/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(/.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64))) #s(literal -1 binary64)) (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64))) (.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 (/.f64 #s(literal 1 binary64) x) x)) x)
(* -1 (/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x))
(/.f64 (-.f64 (/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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 #s(literal -1 binary64) (/.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 (pow x 2))
(/.f64 #s(literal -1 binary64) (*.f64 x x))
(/ (- (/ 1 (pow x 2)) 1) (pow x 2))
(/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64)) x) x)
(/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(/.f64 (/.f64 (-.f64 (/.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) x)) x) x) #s(literal 1 binary64)) x) x)
(/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(/.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64))) #s(literal -1 binary64)) (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64))) (.f64 x x))
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 x)
(* -1 x)
(neg.f64 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 (-.f64 (/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #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 #s(literal -1 binary64) (/.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 (pow x 2))
(/.f64 #s(literal -1 binary64) (*.f64 x x))
(/ (- (/ 1 (pow x 2)) 1) (pow x 2))
(/.f64 (/.f64 (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64)) x) x)
(/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(/.f64 (/.f64 (-.f64 (/.f64 (/.f64 (-.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) x) x)) x) x) #s(literal 1 binary64)) x) x)
(/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(/.f64 (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64))) #s(literal -1 binary64)) (-.f64 (/.f64 (/.f64 #s(literal 1 binary64) x) x) #s(literal 1 binary64))) (.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))

rewrite91.0ms (1.8%)

Memory

21.7MiB live, 176.2MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	12	54
0	16	54
1	62	54
2	329	54
3	3265	47
0	10917	47

Stop Event

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

Counts

6 → 384

Calls

Call 1

Inputs
(.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x))
#s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64))
(neg.f64 x)
(.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x))
#s(approx (/ -1 (+ (* x x) 1)) (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>

eval227.0ms (4.6%)

Memory: 4.8MiB live, 117.4MiB allocated
Compiler: Compiled 8 860 to 1 484 computations (83.3% saved)

prune14.0ms (0.3%)

Memory

6.3MiB live, 42.0MiB allocated

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	504	1	505
Fresh	0	0	0
Picked	0	2	2
Done	0	4	4
Total	504	7	511

Accuracy

100.0%

Counts

511 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	73.5%	(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
✓	32.1%	(/.f64 x #s(approx (+ (* x x) 1) (*.f64 x x)))
✓	73.5%	(*.f64 (/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64))) (neg.f64 x))
✓	42.6%	(.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x))
✓	43.5%	(.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x))
▶	2.4%	(.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) x)
✓	58.6%	#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))

Compiler

Compiled 42 to 34 computations (19% saved)

simplify3.0ms (0.1%)

Memory

5.5MiB live, 5.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	22
0	9	22
1	13	22
0	13	20

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize20.0ms (0.4%)

Memory

-1.9MiB live, 33.4MiB allocated

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
accuracy	16.42216893113688	(.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) x)
accuracy	35.97480901464269	#s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64))

Samples

15.0ms

256×

valid

Compiler

Compiled 28 to 13 computations (53.6% saved)

Precisions

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

ival-mult: 6.0ms (61.6% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series1.0ms (0%)

Memory

2.6MiB live, 2.6MiB allocated

Counts

2 → 24

Calls

Call 1

Inputs

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

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

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

Calls

3 calls:

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

simplify153.0ms (3.1%)

Memory

-3.1MiB live, 192.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	285
1	125	283
2	319	271
3	834	264
4	2323	261
5	6539	261
0	8130	257

Stop Event

1×	iter limit
1×	node limit

Counts

24 → 24

Calls

Call 1

Inputs
(* -1 x)
(* x (- (pow x 2) 1))
(* x (- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1))
(* x (- (* (pow x 2) (+ 1 (* (pow x 2) (- (pow x 2) 1)))) 1))
-1
(- (pow x 2) 1)
(- (* (pow x 2) (+ 1 (* -1 (pow x 2)))) 1)
(- (* (pow x 2) (+ 1 (* (pow x 2) (- (pow x 2) 1)))) 1)
(/ -1 x)
(/ (- (/ 1 (pow x 2)) 1) x)
(/ (- (/ 1 (pow x 2)) (+ 1 (/ 1 (pow x 4)))) x)
(/ (- (+ (/ 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 (/ 1 (pow x 4)))) (pow x 2))
(/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) (pow x 2))
(/ -1 x)
(* -1 (/ (- 1 (/ 1 (pow x 2))) x))
(* -1 (/ (- (+ 1 (/ 1 (pow x 4))) (/ 1 (pow x 2))) x))
(* -1 (/ (- (+ 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 (/ 1 (pow x 4)))) (pow x 2))
(/ (- (+ (/ 1 (pow x 2)) (/ 1 (pow x 6))) (+ 1 (/ 1 (pow x 4)))) (pow x 2))

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

rewrite178.0ms (3.6%)

Memory

-25.2MiB live, 131.8MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	20
0	9	20
1	35	20
2	196	20
3	1602	20
0	9120	18

Stop Event

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

Counts

2 → 3

Calls

Call 1

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

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

eval3.0ms (0.1%)

Memory: 6.2MiB live, 6.2MiB allocated
Compiler: Compiled 317 to 60 computations (81.1% saved)

prune7.0ms (0.1%)

Memory

-24.6MiB live, 11.5MiB allocated

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	26	1	27
Fresh	0	0	0
Picked	1	0	1
Done	0	6	6
Total	27	7	34

Accuracy

100.0%

Counts

34 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	73.5%	(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
✓	32.1%	(/.f64 x #s(approx (+ (* x x) 1) (*.f64 x x)))
✓	73.5%	(*.f64 (/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64))) (neg.f64 x))
✓	42.6%	(.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x))
✓	43.5%	(.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x))
✓	58.6%	#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))
	2.4%	#s(approx (* (/ -1 (+ (* x x) 1)) x) (neg.f64 x))

Compiler

Compiled 123 to 64 computations (48% saved)

regimes8.0ms (0.2%)

Memory

19.1MiB live, 19.1MiB allocated

Counts

11 → 2

Calls

Call 1

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

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

Calls

2 calls:

4.0ms	x
4.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)

regimes6.0ms (0.1%)

Memory

11.9MiB live, 11.9MiB allocated

Counts

7 → 2

Calls

Call 1

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

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

Calls

2 calls:

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

Results

Accuracy	Segments	Branch
79.7%	4	`(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))`
98.7%	2	`x`

Compiler

Compiled 8 to 6 computations (25% saved)

regimes3.0ms (0.1%)

Memory

4.7MiB live, 4.7MiB allocated

Counts

5 → 2

Calls

Call 1

Inputs
#s(approx (* (/ -1 (+ (* x x) 1)) x) (neg.f64 x))
(.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) x)
(.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x))
#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 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x))
#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))

Calls

1 calls:

2.0ms

Results

Accuracy	Segments	Branch
98.3%	2	`x`

Compiler

Compiled 1 to 1 computations (0% saved)

regimes30.0ms (0.6%)

Memory

-37.9MiB live, 12.7MiB allocated

Counts

3 → 1

Calls

Call 1

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

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 8 to 6 computations (25% saved)

regimes3.0ms (0.1%)

Memory

6.9MiB live, 6.9MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

2 → 1

Calls

Call 1

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

Outputs
#s(approx (* (/ -1 (+ (* x x) 1)) x) (neg.f64 x))

Calls

2 calls:

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

Results

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

Compiler

Compiled 8 to 6 computations (25% saved)

bsearch3.0ms (0.1%)

Memory

3.2MiB live, 3.2MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	predicate-same

Steps

Time	Left	Right
3.0ms	10656.149914788844	11836689748.945723

Samples

1.0ms

32×

valid

Compiler

Compiled 30 to 29 computations (3.3% saved)

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

bsearch11.0ms (0.2%)

Memory

20.0MiB live, 20.0MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
10.0ms	0.015644227106594036	10.191256315361374

Samples

5.0ms

128×

valid

Compiler

Compiled 106 to 105 computations (0.9% saved)

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

bsearch34.0ms (0.7%)

Memory

-20.8MiB live, 17.3MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
6.0ms	0.015644227106594036	10.191256315361374

Samples

3.0ms

80×

valid

Compiler

Compiled 82 to 97 computations (-18.3% saved)

Precisions

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

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

ival-mult: 1.0ms (61.4% 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)

simplify24.0ms (0.5%)

Memory

14.9MiB live, 53.7MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	102
1	38	102
2	52	102
3	63	102
4	69	102
5	71	102

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness1.2s (24.5%)

Memory

-2.5MiB live, 544.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	52	1089
1	152	1078
2	365	1034
3	1029	1010
4	2746	1000
5	6763	1000
0	8068	970
0	47	285
1	125	283
2	319	271
3	834	264
4	2323	261
5	6539	261
0	8130	257
0	12	54
0	16	54
1	62	54
2	329	54
3	3265	47
0	10917	47
0	5	15
0	8	15
1	33	15
2	202	15
3	1766	15
0	8562	13

Stop Event

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

Compiler

Compiled 163 to 102 computations (37.4% saved)

preprocess93.0ms (1.9%)

Memory: 20.4MiB live, 214.4MiB allocated
Compiler: Compiled 158 to 82 computations (48.1% 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	18	89
0	28	86
1	38	86
2	55	86
3	83	86
4	191	86
5	352	86
6	635	86
7	721	86
8	768	86
9	793	86
10	805	86
0	805	86

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	18	89
0	28	86
1	38	86
2	55	86
3	83	86
4	191	86
5	352	86
6	635	86
7	721	86
8	768	86
9	793	86
10	805	86
0	805	86

start0.0ms (0%)

analyze0.0ms (0%)

sample729.0ms (14.9%)

explain156.0ms (3.2%)

preprocess19.0ms (0.4%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify3.0ms (0.1%)

localize22.0ms (0.4%)

series3.0ms (0.1%)

simplify166.0ms (3.4%)

rewrite166.0ms (3.4%)

eval62.0ms (1.3%)

prune10.0ms (0.2%)

simplify28.0ms (0.6%)

localize53.0ms (1.1%)

series6.0ms (0.1%)

simplify371.0ms (7.6%)

rewrite181.0ms (3.7%)

eval184.0ms (3.8%)

prune17.0ms (0.3%)

simplify371.0ms (7.6%)

localize91.0ms (1.8%)

series3.0ms (0.1%)

simplify143.0ms (2.9%)

rewrite91.0ms (1.8%)

eval227.0ms (4.6%)

prune14.0ms (0.3%)

simplify3.0ms (0.1%)

localize20.0ms (0.4%)

series1.0ms (0%)

simplify153.0ms (3.1%)

rewrite178.0ms (3.6%)

eval3.0ms (0.1%)

prune7.0ms (0.1%)

regimes8.0ms (0.2%)

regimes6.0ms (0.1%)

regimes3.0ms (0.1%)

regimes30.0ms (0.6%)

regimes3.0ms (0.1%)

bsearch3.0ms (0.1%)

bsearch11.0ms (0.2%)

bsearch34.0ms (0.7%)

simplify24.0ms (0.5%)

soundness1.2s (24.5%)

preprocess93.0ms (1.9%)

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

Iter	Nodes	Cost
0	18	89
0	28	86
1	38	86
2	55	86
3	83	86
4	191	86
5	352	86
6	635	86
7	721	86
8	768	86
9	793	86
10	805	86
0	805	86