Metrics for x / (x^2 + 1)

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

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

sample640.0ms (13.2%)

Memory

74.0MiB live, 707.1MiB allocated

Samples

425.0ms

8 256×

valid

Precisions

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

ival-add: 126.0ms (45.9% of total)

ival-mult: 72.0ms (26.2% of total)

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

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

exact: 6.0ms (2.2% of total)

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

Bogosity

explain174.0ms (3.6%)

Memory

-13.3MiB live, 69.9MiB allocated

FPErrors

Click to see full error table

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

Confusion

	Predicted +	Predicted -
+	55	0
-	0	201

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	55	0	0
-	0	0	201

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	201
1	55

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

22.0ms

512×

valid

Compiler

Compiled 79 to 32 computations (59.5% saved)

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

preprocess36.0ms (0.7%)

Memory

-15.2MiB live, 22.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.3MiB live, 0.3MiB allocated
Compiler: Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify2.0ms (0%)

Memory

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

localize20.0ms (0.4%)

Memory

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

Samples

11.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 (38.1% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series3.0ms (0.1%)

Memory

4.0MiB live, 4.0MiB allocated

Counts

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	@	-inf	((+ (* x x) 1) (/ x (+ (* x x) 1)) (* x x))
1.0ms	x	@	0	((+ (* x x) 1) (/ x (+ (* x x) 1)) (* x x))

simplify166.0ms (3.4%)

Memory

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

rewrite171.0ms (3.5%)

Memory

18.4MiB live, 209.6MiB 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>

eval70.0ms (1.4%)

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

prune11.0ms (0.2%)

Memory

-15.3MiB live, 23.0MiB allocated

Pruning

4 alts after pruning (4 fresh and 0 done)

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

Accuracy

100.0%

Counts

363 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	79.9%	(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
▶	52.3%	(/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64)))
▶	79.9%	(*.f64 (/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64))) (neg.f64 x))
▶	50.7%	#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))

Compiler

Compiled 23 to 19 computations (17.4% saved)

simplify17.0ms (0.4%)

Memory

20.5MiB live, 20.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 10 expressions of interest:

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	67
0	22	70
1	32	68
2	49	64
3	77	64
4	175	64
5	302	64
6	510	64
7	560	64
8	587	64
9	600	64
10	606	64
0	606	64

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize38.0ms (0.8%)

Memory

3.3MiB live, 40.0MiB allocated

Localize:

Found 10 expressions of interest:

New	Metric	Score
accuracy	0	(fma.f64 x x #s(literal 1 binary64))
accuracy	12.852996021358774	(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
accuracy	12.852996021358774	(/.f64 x #s(approx (+ (* x x) 1) #s(literal 1 binary64)))
accuracy	30.43151951134356	#s(approx (+ (* x x) 1) #s(literal 1 binary64))
accuracy	0	(fma.f64 x x #s(literal 1 binary64))
accuracy	0	(neg.f64 x)
accuracy	0.25127213156399103	(/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64)))
accuracy	12.559000450466717	(*.f64 (/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64))) (neg.f64 x))
accuracy	0	(/.f64 #s(literal 1 binary64) x)
accuracy	31.58171338440392	#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))

Samples

29.0ms

256×

valid

Compiler

Compiled 122 to 24 computations (80.3% saved)

Precisions

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

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

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

ival-neg: 3.0ms (23.6% of total)

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

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

exact: 0.0ms (0% of total)

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

series5.0ms (0.1%)

Memory

6.5MiB live, 6.5MiB allocated

Counts

9 → 108

Calls

Call 1

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

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

Calls

3 calls:

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

Time

Variable

Point

Expression

1.0ms

-inf

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

1.0ms

inf

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

0.0ms

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

simplify153.0ms (3.2%)

Memory

-19.6MiB live, 137.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	863
1	152	854
2	365	818
3	1025	798
4	2725	790
5	6742	790
0	8206	769

Stop Event

1×	iter limit
1×	node limit

Counts

108 → 104

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

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

rewrite337.0ms (7%)

Memory

9.6MiB live, 162.9MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	54
0	22	57
1	70	51
2	357	51
3	2955	51
0	9057	51

Stop Event

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

Counts

9 → 655

Calls

Call 1

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

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>

eval131.0ms (2.7%)

Memory: 20.4MiB live, 266.2MiB allocated
Compiler: Compiled 16 384 to 1 873 computations (88.6% saved)

prune19.0ms (0.4%)

Memory

-17.9MiB live, 58.0MiB allocated

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	962	2	964
Fresh	0	0	0
Picked	1	3	4
Done	0	0	0
Total	963	5	968

Accuracy

100.0%

Counts

968 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	79.9%	(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
✓	79.9%	(*.f64 (/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64))) (neg.f64 x))
▶	51.0%	(.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x))
▶	52.3%	(.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x))
✓	50.7%	#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))

Compiler

Compiled 32 to 26 computations (18.8% saved)

simplify375.0ms (7.7%)

Memory

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

localize47.0ms (1%)

Memory

-6.7MiB live, 30.9MiB 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	12.559000450466717	(.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x))
accuracy	31.26240380684668	#s(approx (/ -1 (+ (* x x) 1)) (fma.f64 x x #s(literal -1 binary64)))
accuracy	0	(neg.f64 x)
accuracy	12.559000450466717	(.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x))
accuracy	30.43540636280694	#s(approx (/ -1 (+ (* x x) 1)) #s(literal -1 binary64))

Samples

40.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.7% of total)

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

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

ival-neg: 1.0ms (10.7% 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.7MiB live, 4.7MiB 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))

simplify146.0ms (3%)

Memory

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

rewrite204.0ms (4.2%)

Memory

-29.8MiB live, 143.5MiB 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>

eval246.0ms (5.1%)

Memory: -5.1MiB live, 112.8MiB allocated
Compiler: Compiled 8 860 to 1 484 computations (83.3% saved)

prune12.0ms (0.2%)

Memory

36.6MiB live, 36.6MiB allocated

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	504	1	505
Fresh	0	0	0
Picked	0	2	2
Done	0	3	3
Total	504	6	510

Accuracy

100.0%

Counts

510 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	79.9%	(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
✓	79.9%	(*.f64 (/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64))) (neg.f64 x))
✓	51.0%	(.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x))
✓	52.3%	(.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x))
▶	2.9%	(.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) x)
✓	50.7%	#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))

Compiler

Compiled 36 to 30 computations (16.7% saved)

simplify35.0ms (0.7%)

Memory

-35.6MiB live, 3.6MiB 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

localize18.0ms (0.4%)

Memory

27.3MiB live, 27.3MiB allocated

Localize:

Found 2 expressions of interest:

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

Samples

12.0ms

256×

valid

Compiler

Compiled 28 to 13 computations (53.6% saved)

Precisions

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

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

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

ival-add: 1.0ms (14.1% 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.1MiB live, 2.1MiB 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	@	0	((* (/ -1 (+ (* x x) 1)) x) (/ -1 (+ (* x x) 1)))
0.0ms	x	@	-inf	((* (/ -1 (+ (* x x) 1)) x) (/ -1 (+ (* x x) 1)))
0.0ms	x	@	inf	((* (/ -1 (+ (* x x) 1)) x) (/ -1 (+ (* x x) 1)))

simplify416.0ms (8.6%)

Memory

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

rewrite189.0ms (3.9%)

Memory

-22.4MiB live, 258.6MiB 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: 4.3MiB live, 4.3MiB allocated
Compiler: Compiled 317 to 60 computations (81.1% saved)

prune4.0ms (0.1%)

Memory

6.8MiB live, 6.8MiB allocated

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	26	1	27
Fresh	0	0	0
Picked	1	0	1
Done	0	5	5
Total	27	6	33

Accuracy

100.0%

Counts

33 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	79.9%	(/.f64 x (fma.f64 x x #s(literal 1 binary64)))
✓	79.9%	(*.f64 (/.f64 #s(literal -1 binary64) (fma.f64 x x #s(literal 1 binary64))) (neg.f64 x))
✓	51.0%	(.f64 #s(approx (/ -1 (+ ( x x) 1)) (fma.f64 x x #s(literal -1 binary64))) (neg.f64 x))
✓	52.3%	(.f64 #s(approx (/ -1 (+ ( x x) 1)) #s(literal -1 binary64)) (neg.f64 x))
✓	50.7%	#s(approx (/ x (+ (* x x) 1)) (/.f64 #s(literal 1 binary64) x))
	2.9%	#s(approx (* (/ -1 (+ (* x x) 1)) x) (neg.f64 x))

Compiler

Compiled 85 to 51 computations (40% saved)

regimes9.0ms (0.2%)

Memory

-22.3MiB live, 16.3MiB allocated

Counts

9 → 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 (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))

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:

6.0ms	x
3.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

12.6MiB live, 12.6MiB allocated

Counts

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

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

Results

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

Compiler

Compiled 8 to 6 computations (25% saved)

regimes3.0ms (0.1%)

Memory

6.8MiB live, 6.8MiB 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
99.0%	2	`x`

Compiler

Compiled 1 to 1 computations (0% saved)

regimes4.0ms (0.1%)

Memory

10.0MiB live, 10.1MiB 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:

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

Results

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

Compiler

Compiled 8 to 6 computations (25% saved)

regimes4.0ms (0.1%)

Memory

-29.6MiB live, 9.6MiB 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	(/.f64 x (+.f64 (*.f64 x x) #s(literal 1 binary64)))
1.0ms	x

Results

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

Compiler

Compiled 8 to 6 computations (25% saved)

bsearch2.0ms (0%)

Memory

3.6MiB live, 3.6MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	predicate-same

Steps

Time	Left	Right
1.0ms	32265641.443647217	1339390242.928934

Samples

1.0ms

16×

valid

Compiler

Compiled 20 to 19 computations (5% saved)

Precisions

Click to see histograms. Total time spent on operations: 0.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)

bsearch12.0ms (0.3%)

Memory

24.9MiB live, 24.9MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
11.0ms	0.00014179141583653632	10.770099127476914

Samples

6.0ms

144×

valid

Compiler

Compiled 118 to 117 computations (0.8% saved)

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

bsearch7.0ms (0.2%)

Memory

-23.2MiB live, 15.7MiB allocated

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
7.0ms	0.00014179141583653632	10.770099127476914

Samples

3.0ms

64×

valid

Compiler

Compiled 91 to 108 computations (-18.7% 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)

simplify24.0ms (0.5%)

Memory

16.7MiB live, 60.5MiB 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 50000000 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 7746191359077253/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 50000000 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 7746191359077253/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 7746191359077253/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))

soundness974.0ms (20.1%)

Memory

5.5MiB live, 583.1MiB allocated

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
0	12	54
0	16	54
1	62	54
2	329	54
3	3265	47
0	10917	47
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	863
1	152	854
2	365	818
3	1025	798
4	2725	790
5	6742	790
0	8206	769
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×	node limit
1×	iter limit
1×	node limit
1×	iter limit
1×	iter limit
1×	node limit

Compiler

Compiled 163 to 102 computations (37.4% saved)

preprocess111.0ms (2.3%)

Memory: 7.4MiB live, 205.7MiB 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	15	67
0	22	70
1	32	68
2	49	64
3	77	64
4	175	64
5	302	64
6	510	64
7	560	64
8	587	64
9	600	64
10	606	64
0	606	64

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	15	67
0	22	70
1	32	68
2	49	64
3	77	64
4	175	64
5	302	64
6	510	64
7	560	64
8	587	64
9	600	64
10	606	64
0	606	64

start0.0ms (0%)

analyze0.0ms (0%)

sample640.0ms (13.2%)

explain174.0ms (3.6%)

preprocess36.0ms (0.7%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify2.0ms (0%)

localize20.0ms (0.4%)

series3.0ms (0.1%)

simplify166.0ms (3.4%)

rewrite171.0ms (3.5%)

eval70.0ms (1.4%)

prune11.0ms (0.2%)

simplify17.0ms (0.4%)

localize38.0ms (0.8%)

series5.0ms (0.1%)

simplify153.0ms (3.2%)

rewrite337.0ms (7%)

eval131.0ms (2.7%)

prune19.0ms (0.4%)

simplify375.0ms (7.7%)

localize47.0ms (1%)

series3.0ms (0.1%)

simplify146.0ms (3%)

rewrite204.0ms (4.2%)

eval246.0ms (5.1%)

prune12.0ms (0.2%)

simplify35.0ms (0.7%)

localize18.0ms (0.4%)

series1.0ms (0%)

simplify416.0ms (8.6%)

rewrite189.0ms (3.9%)

eval3.0ms (0.1%)

prune4.0ms (0.1%)

regimes9.0ms (0.2%)

regimes6.0ms (0.1%)

regimes3.0ms (0.1%)

regimes4.0ms (0.1%)

regimes4.0ms (0.1%)

bsearch2.0ms (0%)

bsearch12.0ms (0.3%)

bsearch7.0ms (0.2%)

simplify24.0ms (0.5%)

soundness974.0ms (20.1%)

preprocess111.0ms (2.3%)

end0.0ms (0%)

Profiling

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

Iter	Nodes	Cost
0	15	67
0	22	70
1	32	68
2	49	64
3	77	64
4	175	64
5	302	64
6	510	64
7	560	64
8	587	64
9	600	64
10	606	64
0	606	64