Metrics for Hyperbolic tangent

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory

0.3MiB live, 0.3MiB 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 15 to 9 computations (40% saved)

sample5.2s (62.6%)

Memory

18.0MiB live, 4 313.1MiB allocated

Samples

1.9s	2 886×	2	valid
1.2s	4 836×	1	valid
962.0ms	7 918×	0	exit
33.0ms	534×	0	valid

Precisions

Click to see histograms. Total time spent on operations: 3.2s

ival-exp: 2.1s (64.9% of total)

ival-div: 357.0ms (11.2% of total)

adjust: 315.0ms (9.9% of total)

ival-sub: 206.0ms (6.4% of total)

ival-add: 138.0ms (4.3% of total)

ival-neg: 85.0ms (2.7% of total)

ival-true: 14.0ms (0.4% of total)

ival-assert: 7.0ms (0.2% of total)

Bogosity

explain319.0ms (3.9%)

Memory

-22.0MiB live, 348.0MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
252	-	-	`(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))`
2	-	-	`(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))`
0	-	-	`(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))`
0	-	-	`(exp.f64 x)`
0	-	-	`(exp.f64 (neg.f64 x))`
0	-	-	`(neg.f64 x)`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))`	cancellation	252	0
`/.f64`	`(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))`	o/o	2	0
↳	`(exp.f64 x)`	overflow	1
↳	`(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))`	overflow	2
↳	`(exp.f64 (neg.f64 x))`	overflow	1
↳	`(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))`	overflow	2
↳	`(exp.f64 x)`	overflow	1
↳	`(exp.f64 (neg.f64 x))`	overflow	1

Confusion

	Predicted +	Predicted -
+	254	0
-	0	2

Precision

1.0

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	254	0	0
-	0	0	2

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
0	2
1	254

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

164.0ms	200×	2	valid
68.0ms	298×	1	valid
1.0ms	14×	0	valid

Compiler

Compiled 83 to 25 computations (69.9% saved)

Precisions

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

ival-exp: 172.0ms (83.2% of total)

adjust: 12.0ms (5.8% of total)

ival-div: 8.0ms (3.9% of total)

ival-add: 6.0ms (2.9% of total)

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

ival-neg: 2.0ms (1% of total)

ival-true: 1.0ms (0.5% of total)

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

preprocess96.0ms (1.2%)

Memory

16.4MiB live, 93.7MiB allocated

Algorithm

1×	egg-herbie

Rules

528×	`lower-fma.f64`
528×	`lower-fma.f32`
336×	`lower-*.f64`
336×	`lower-*.f32`
320×	`div-sub`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	27
1	32	27
2	80	26
3	199	26
4	468	26
5	1130	26
6	1547	26
7	1585	26
8	1604	26
9	1623	26
10	1657	26
11	1669	26
0	7	13
0	13	13
1	25	13
2	42	13
3	67	13
4	122	13
5	276	13
6	462	13
7	682	13
8	905	13
9	1058	13
10	1186	13
11	1233	13
0	1233	13

Stop Event

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

Calls

Call 1

Inputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Outputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))

Symmetry

(negabs x)

Compiler

Compiled 13 to 7 computations (46.2% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

1.4MiB live, 1.4MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	7.1%	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Compiler

Compiled 13 to 7 computations (46.2% saved)

simplify36.0ms (0.4%)

Memory

1.0MiB live, 39.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(exp.f64 (neg.f64 x))
cost-diff	0	(exp.f64 x)
cost-diff	0	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
cost-diff	0	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Rules

528×	`lower-fma.f64`
528×	`lower-fma.f32`
336×	`lower-*.f64`
336×	`lower-*.f32`
224×	`lower-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	33
0	13	33
1	25	33
2	42	33
3	67	33
4	122	33
5	276	33
6	462	33
7	682	33
8	905	33
9	1058	33
10	1186	33
11	1233	33
0	1233	33

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(exp.f64 x)
x
(exp.f64 (neg.f64 x))
(neg.f64 x)
(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

Outputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(exp.f64 x)
x
(exp.f64 (neg.f64 x))
(neg.f64 x)
(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))

localize126.0ms (1.5%)

Memory

-19.1MiB live, 177.9MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(exp.f64 x)
accuracy	0.00390625	(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
accuracy	0.4960992521016504	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
accuracy	58.94382456334053	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

Samples

68.0ms	100×	2	valid
28.0ms	149×	1	valid
0.0ms	7×	0	valid

Compiler

Compiled 35 to 9 computations (74.3% saved)

Precisions

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

ival-exp: 68.0ms (80% of total)

adjust: 6.0ms (7.1% of total)

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

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

ival-sub: 3.0ms (3.5% of total)

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

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

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

series4.0ms (0%)

Memory

6.2MiB live, 6.2MiB allocated

Counts

5 → 60

Calls

Call 1

Inputs
#s(alt (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (patch (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) #<representation binary64>) () ())
#s(alt (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())
#s(alt (exp.f64 x) (patch (exp.f64 x) #<representation binary64>) () ())
#s(alt (exp.f64 (neg.f64 x)) (patch (exp.f64 (neg.f64 x)) #<representation binary64>) () ())
#s(alt (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())

Outputs
#s(alt x (taylor 0 x) (#s(alt (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (patch (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1/3 (pow x 2)))) (taylor 0 x) (#s(alt (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (patch (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (* 2/15 (pow x 2)) 1/3)))) (taylor 0 x) (#s(alt (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (patch (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/15 (* -17/315 (pow x 2)))) 1/3)))) (taylor 0 x) (#s(alt (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (patch (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (* 2 x) (taylor 0 x) (#s(alt (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 (* 1/3 (pow x 2)))) (taylor 0 x) (#s(alt (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 (* (pow x 2) (+ 1/3 (* 1/60 (pow x 2)))))) (taylor 0 x) (#s(alt (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* x (+ 2 (* (pow x 2) (+ 1/3 (* (pow x 2) (+ 1/60 (* 1/2520 (pow x 2)))))))) (taylor 0 x) (#s(alt (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 x) (#s(alt (exp.f64 x) (patch (exp.f64 x) #<representation binary64>) () ())) ())
#s(alt (+ 1 x) (taylor 0 x) (#s(alt (exp.f64 x) (patch (exp.f64 x) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* x (+ 1 (* 1/2 x)))) (taylor 0 x) (#s(alt (exp.f64 x) (patch (exp.f64 x) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* x (+ 1 (* x (+ 1/2 (* 1/6 x)))))) (taylor 0 x) (#s(alt (exp.f64 x) (patch (exp.f64 x) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 x) (#s(alt (exp.f64 (neg.f64 x)) (patch (exp.f64 (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* -1 x)) (taylor 0 x) (#s(alt (exp.f64 (neg.f64 x)) (patch (exp.f64 (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* x (- (* 1/2 x) 1))) (taylor 0 x) (#s(alt (exp.f64 (neg.f64 x)) (patch (exp.f64 (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* x (- (* x (+ 1/2 (* -1/6 x))) 1))) (taylor 0 x) (#s(alt (exp.f64 (neg.f64 x)) (patch (exp.f64 (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt 2 (taylor 0 x) (#s(alt (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (+ 2 (pow x 2)) (taylor 0 x) (#s(alt (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (+ 2 (* (pow x 2) (+ 1 (* 1/12 (pow x 2))))) (taylor 0 x) (#s(alt (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (+ 2 (* (pow x 2) (+ 1 (* (pow x 2) (+ 1/12 (* 1/360 (pow x 2))))))) (taylor 0 x) (#s(alt (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (taylor inf x) (#s(alt (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (patch (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (taylor inf x) (#s(alt (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (patch (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (taylor inf x) (#s(alt (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (patch (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (taylor inf x) (#s(alt (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (patch (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (- (exp x) (exp (neg x))) (taylor inf x) (#s(alt (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (- (exp x) (exp (neg x))) (taylor inf x) (#s(alt (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (- (exp x) (exp (neg x))) (taylor inf x) (#s(alt (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (- (exp x) (exp (neg x))) (taylor inf x) (#s(alt (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (exp x) (taylor inf x) (#s(alt (exp.f64 x) (patch (exp.f64 x) #<representation binary64>) () ())) ())
#s(alt (exp x) (taylor inf x) (#s(alt (exp.f64 x) (patch (exp.f64 x) #<representation binary64>) () ())) ())
#s(alt (exp x) (taylor inf x) (#s(alt (exp.f64 x) (patch (exp.f64 x) #<representation binary64>) () ())) ())
#s(alt (exp x) (taylor inf x) (#s(alt (exp.f64 x) (patch (exp.f64 x) #<representation binary64>) () ())) ())
#s(alt (exp (neg x)) (taylor inf x) (#s(alt (exp.f64 (neg.f64 x)) (patch (exp.f64 (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (exp (neg x)) (taylor inf x) (#s(alt (exp.f64 (neg.f64 x)) (patch (exp.f64 (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (exp (neg x)) (taylor inf x) (#s(alt (exp.f64 (neg.f64 x)) (patch (exp.f64 (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (exp (neg x)) (taylor inf x) (#s(alt (exp.f64 (neg.f64 x)) (patch (exp.f64 (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (+ (exp x) (exp (neg x))) (taylor inf x) (#s(alt (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (+ (exp x) (exp (neg x))) (taylor inf x) (#s(alt (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (+ (exp x) (exp (neg x))) (taylor inf x) (#s(alt (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (+ (exp x) (exp (neg x))) (taylor inf x) (#s(alt (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x)))) (taylor -inf x) (#s(alt (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (patch (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x)))) (taylor -inf x) (#s(alt (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (patch (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x)))) (taylor -inf x) (#s(alt (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (patch (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x)))) (taylor -inf x) (#s(alt (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) (patch (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (- (exp x) (exp (* -1 x))) (taylor -inf x) (#s(alt (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (- (exp x) (exp (* -1 x))) (taylor -inf x) (#s(alt (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (- (exp x) (exp (* -1 x))) (taylor -inf x) (#s(alt (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (- (exp x) (exp (* -1 x))) (taylor -inf x) (#s(alt (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (exp x) (taylor -inf x) (#s(alt (exp.f64 x) (patch (exp.f64 x) #<representation binary64>) () ())) ())
#s(alt (exp x) (taylor -inf x) (#s(alt (exp.f64 x) (patch (exp.f64 x) #<representation binary64>) () ())) ())
#s(alt (exp x) (taylor -inf x) (#s(alt (exp.f64 x) (patch (exp.f64 x) #<representation binary64>) () ())) ())
#s(alt (exp x) (taylor -inf x) (#s(alt (exp.f64 x) (patch (exp.f64 x) #<representation binary64>) () ())) ())
#s(alt (exp (* -1 x)) (taylor -inf x) (#s(alt (exp.f64 (neg.f64 x)) (patch (exp.f64 (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (exp (* -1 x)) (taylor -inf x) (#s(alt (exp.f64 (neg.f64 x)) (patch (exp.f64 (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (exp (* -1 x)) (taylor -inf x) (#s(alt (exp.f64 (neg.f64 x)) (patch (exp.f64 (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (exp (* -1 x)) (taylor -inf x) (#s(alt (exp.f64 (neg.f64 x)) (patch (exp.f64 (neg.f64 x)) #<representation binary64>) () ())) ())
#s(alt (+ (exp x) (exp (* -1 x))) (taylor -inf x) (#s(alt (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (+ (exp x) (exp (* -1 x))) (taylor -inf x) (#s(alt (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (+ (exp x) (exp (* -1 x))) (taylor -inf x) (#s(alt (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())
#s(alt (+ (exp x) (exp (* -1 x))) (taylor -inf x) (#s(alt (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (patch (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #<representation binary64>) () ())) ())

Calls

3 calls:

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

Time

Variable

Point

Expression

1.0ms

((/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (- (exp x) (exp (neg x))) (exp x) (exp (neg x)) (+ (exp x) (exp (neg x))))

1.0ms

inf

((/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (- (exp x) (exp (neg x))) (exp x) (exp (neg x)) (+ (exp x) (exp (neg x))))

1.0ms

-inf

((/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (- (exp x) (exp (neg x))) (exp x) (exp (neg x)) (+ (exp x) (exp (neg x))))

simplify180.0ms (2.2%)

Memory

-0.7MiB live, 216.9MiB allocated

Algorithm

1×	egg-herbie

Rules

12 890×	`lower-fma.f64`
12 890×	`lower-fma.f32`
4 156×	`lower-*.f64`
4 156×	`lower-*.f32`
2 544×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	90	425
1	259	424
2	604	414
3	1672	414
4	2645	414
5	4176	414
6	4889	414
7	6516	414
0	8145	386

Stop Event

1×	iter limit
1×	node limit

Counts

60 → 59

Calls

Call 1

Inputs
x
(* x (+ 1 (* -1/3 (pow x 2))))
(* x (+ 1 (* (pow x 2) (- (* 2/15 (pow x 2)) 1/3))))
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/15 (* -17/315 (pow x 2)))) 1/3))))
(* 2 x)
(* x (+ 2 (* 1/3 (pow x 2))))
(* x (+ 2 (* (pow x 2) (+ 1/3 (* 1/60 (pow x 2))))))
(* x (+ 2 (* (pow x 2) (+ 1/3 (* (pow x 2) (+ 1/60 (* 1/2520 (pow x 2))))))))
1
(+ 1 x)
(+ 1 (* x (+ 1 (* 1/2 x))))
(+ 1 (* x (+ 1 (* x (+ 1/2 (* 1/6 x))))))
1
(+ 1 (* -1 x))
(+ 1 (* x (- (* 1/2 x) 1)))
(+ 1 (* x (- (* x (+ 1/2 (* -1/6 x))) 1)))
2
(+ 2 (pow x 2))
(+ 2 (* (pow x 2) (+ 1 (* 1/12 (pow x 2)))))
(+ 2 (* (pow x 2) (+ 1 (* (pow x 2) (+ 1/12 (* 1/360 (pow x 2)))))))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(- (exp x) (exp (neg x)))
(- (exp x) (exp (neg x)))
(- (exp x) (exp (neg x)))
(- (exp x) (exp (neg x)))
(exp x)
(exp x)
(exp x)
(exp x)
(exp (neg x))
(exp (neg x))
(exp (neg x))
(exp (neg x))
(+ (exp x) (exp (neg x)))
(+ (exp x) (exp (neg x)))
(+ (exp x) (exp (neg x)))
(+ (exp x) (exp (neg x)))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(- (exp x) (exp (* -1 x)))
(- (exp x) (exp (* -1 x)))
(- (exp x) (exp (* -1 x)))
(- (exp x) (exp (* -1 x)))
(exp x)
(exp x)
(exp x)
(exp x)
(exp (* -1 x))
(exp (* -1 x))
(exp (* -1 x))
(exp (* -1 x))
(+ (exp x) (exp (* -1 x)))
(+ (exp x) (exp (* -1 x)))
(+ (exp x) (exp (* -1 x)))
(+ (exp x) (exp (* -1 x)))

Outputs
x
(* x (+ 1 (* -1/3 (pow x 2))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(* x (+ 1 (* (pow x 2) (- (* 2/15 (pow x 2)) 1/3))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 #s(literal 2/15 binary64) (*.f64 x x) #s(literal -1/3 binary64)) x)
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/15 (* -17/315 (pow x 2)))) 1/3))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (fma.f64 #s(literal -17/315 binary64) (.f64 x x) #s(literal 2/15 binary64)) (.f64 x x) #s(literal -1/3 binary64)) x)
(* 2 x)
(*.f64 #s(literal 2 binary64) x)
(* x (+ 2 (* 1/3 (pow x 2))))
(.f64 (fma.f64 #s(literal 1/3 binary64) (.f64 x x) #s(literal 2 binary64)) x)
(* x (+ 2 (* (pow x 2) (+ 1/3 (* 1/60 (pow x 2))))))
(.f64 (fma.f64 (fma.f64 #s(literal 1/60 binary64) (.f64 x x) #s(literal 1/3 binary64)) (*.f64 x x) #s(literal 2 binary64)) x)
(* x (+ 2 (* (pow x 2) (+ 1/3 (* (pow x 2) (+ 1/60 (* 1/2520 (pow x 2))))))))
(.f64 (fma.f64 (fma.f64 (fma.f64 #s(literal 1/2520 binary64) (.f64 x x) #s(literal 1/60 binary64)) (.f64 x x) #s(literal 1/3 binary64)) (.f64 x x) #s(literal 2 binary64)) x)
1
#s(literal 1 binary64)
(+ 1 x)
(-.f64 x #s(literal -1 binary64))
(+ 1 (* x (+ 1 (* 1/2 x))))
(fma.f64 (fma.f64 #s(literal 1/2 binary64) x #s(literal 1 binary64)) x #s(literal 1 binary64))
(+ 1 (* x (+ 1 (* x (+ 1/2 (* 1/6 x))))))
(fma.f64 (fma.f64 (fma.f64 #s(literal 1/6 binary64) x #s(literal 1/2 binary64)) x #s(literal 1 binary64)) x #s(literal 1 binary64))
1
#s(literal 1 binary64)
(+ 1 (* -1 x))
(-.f64 #s(literal 1 binary64) x)
(+ 1 (* x (- (* 1/2 x) 1)))
(fma.f64 (fma.f64 #s(literal 1/2 binary64) x #s(literal -1 binary64)) x #s(literal 1 binary64))
(+ 1 (* x (- (* x (+ 1/2 (* -1/6 x))) 1)))
(fma.f64 (fma.f64 (fma.f64 #s(literal -1/6 binary64) x #s(literal 1/2 binary64)) x #s(literal -1 binary64)) x #s(literal 1 binary64))
2
#s(literal 2 binary64)
(+ 2 (pow x 2))
(fma.f64 x x #s(literal 2 binary64))
(+ 2 (* (pow x 2) (+ 1 (* 1/12 (pow x 2)))))
(fma.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/12 binary64) x) x #s(literal 2 binary64))
(+ 2 (* (pow x 2) (+ 1 (* (pow x 2) (+ 1/12 (* 1/360 (pow x 2)))))))
(fma.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal 1/360 binary64) (fma.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal 1/12 binary64) x) x #s(literal 2 binary64)))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(- (exp x) (exp (neg x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(- (exp x) (exp (neg x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(- (exp x) (exp (neg x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(- (exp x) (exp (neg x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(exp x)
(exp.f64 x)
(exp x)
(exp.f64 x)
(exp x)
(exp.f64 x)
(exp x)
(exp.f64 x)
(exp (neg x))
(exp.f64 (neg.f64 x))
(exp (neg x))
(exp.f64 (neg.f64 x))
(exp (neg x))
(exp.f64 (neg.f64 x))
(exp (neg x))
(exp.f64 (neg.f64 x))
(+ (exp x) (exp (neg x)))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))
(+ (exp x) (exp (neg x)))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))
(+ (exp x) (exp (neg x)))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))
(+ (exp x) (exp (neg x)))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(- (exp x) (exp (* -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(- (exp x) (exp (* -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(- (exp x) (exp (* -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(- (exp x) (exp (* -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(exp x)
(exp.f64 x)
(exp x)
(exp.f64 x)
(exp x)
(exp.f64 x)
(exp x)
(exp.f64 x)
(exp (* -1 x))
(exp.f64 (neg.f64 x))
(exp (* -1 x))
(exp.f64 (neg.f64 x))
(exp (* -1 x))
(exp.f64 (neg.f64 x))
(exp (* -1 x))
(exp.f64 (neg.f64 x))
(+ (exp x) (exp (* -1 x)))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))
(+ (exp x) (exp (* -1 x)))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))
(+ (exp x) (exp (* -1 x)))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))
(+ (exp x) (exp (* -1 x)))
(+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))

rewrite158.0ms (1.9%)

Memory

13.5MiB live, 207.0MiB allocated

Rules

3 904×	`lower-*.f64`
3 904×	`lower-*.f32`
3 826×	`lower-/.f32`
3 824×	`lower-/.f64`
2 870×	`lower-fma.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	30
0	13	15
1	55	15
2	424	15
3	7080	15
0	8062	15

Stop Event

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

Counts

5 → 644

Calls

Call 1

Inputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(exp.f64 x)
(exp.f64 (neg.f64 x))
(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

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

eval120.0ms (1.5%)

Memory: 5.0MiB live, 191.8MiB allocated
Compiler: Compiled 17 243 to 1 765 computations (89.8% saved)

prune36.0ms (0.4%)

Memory

-6.8MiB live, 45.5MiB allocated

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	744	3	747
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	745	3	748

Accuracy

100.0%

Counts

748 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.2%	(/.f64 (sinh.f64 x) (cosh.f64 x))
▶	100.0%	(tanh.f64 x)
▶	98.6%	#s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x))

Compiler

Compiled 14 to 12 computations (14.3% saved)

simplify149.0ms (1.8%)

Memory

-7.2MiB live, 157.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 7 expressions of interest:

New	Metric	Score
cost-diff	0	(cosh.f64 x)
cost-diff	0	(sinh.f64 x)
cost-diff	7104	(/.f64 (sinh.f64 x) (cosh.f64 x))
cost-diff	0	(tanh.f64 x)
cost-diff	0	(pow.f64 x #s(literal 3 binary64))
cost-diff	0	(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
cost-diff	0	#s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x))

Rules

5 802×	`lower-fma.f32`
5 800×	`lower-fma.f64`
3 504×	`lower-*.f64`
3 504×	`lower-*.f32`
1 670×	`lower-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	45
0	23	31
1	54	31
2	103	31
3	168	31
4	326	31
5	751	31
6	2203	31
7	4611	31
0	8146	31

Stop Event

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

Calls

Call 1

Inputs
#s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(pow.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
#s(literal -1/3 binary64)
(tanh.f64 x)
x
(/.f64 (sinh.f64 x) (cosh.f64 x))
(sinh.f64 x)
x
(cosh.f64 x)

Outputs
#s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x))
#s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 #s(literal -1/3 binary64) (pow.f64 x #s(literal 3 binary64)) x))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(fma.f64 #s(literal -1/3 binary64) (pow.f64 x #s(literal 3 binary64)) x)
(pow.f64 x #s(literal 3 binary64))
x
#s(literal 3 binary64)
#s(literal -1/3 binary64)
(tanh.f64 x)
x
(/.f64 (sinh.f64 x) (cosh.f64 x))
(tanh.f64 x)
(sinh.f64 x)
x
(cosh.f64 x)

localize127.0ms (1.5%)

Memory

0.4MiB live, 264.4MiB allocated

Localize:

Found 7 expressions of interest:

New	Metric	Score
accuracy	0	(sinh.f64 x)
accuracy	0	(cosh.f64 x)
accuracy	0.4960992521016504	(/.f64 (sinh.f64 x) (cosh.f64 x))
accuracy	0.0078125	(tanh.f64 x)
accuracy	0	(pow.f64 x #s(literal 3 binary64))
accuracy	0.0078125	(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
accuracy	0.9168342909202024	#s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x))

Samples

56.0ms	100×	2	valid
53.0ms	149×	1	valid
1.0ms	7×	0	valid

Compiler

Compiled 41 to 18 computations (56.1% saved)

Precisions

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

ival-exp: 44.0ms (49.4% of total)

adjust: 12.0ms (13.5% of total)

const: 9.0ms (10.1% of total)

ival-div: 6.0ms (6.7% of total)

ival-add: 4.0ms (4.5% of total)

ival-sub: 3.0ms (3.4% of total)

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

ival-cosh: 2.0ms (2.2% of total)

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

ival-tanh: 1.0ms (1.1% of total)

ival-sinh: 1.0ms (1.1% of total)

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

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

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

exact: 0.0ms (0% of total)

series12.0ms (0.1%)

Memory

27.3MiB live, 27.3MiB allocated

Counts

7 → 84

Calls

Call 1

Inputs
#s(alt #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) (patch #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) #<representation binary64>) () ())
#s(alt (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) (patch (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) #<representation binary64>) () ())
#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())
#s(alt (tanh.f64 x) (patch (tanh.f64 x) #<representation binary64>) () ())
#s(alt (/.f64 (sinh.f64 x) (cosh.f64 x)) (patch (/.f64 (sinh.f64 x) (cosh.f64 x)) #<representation binary64>) () ())
#s(alt (sinh.f64 x) (patch (sinh.f64 x) #<representation binary64>) () ())
#s(alt (cosh.f64 x) (patch (cosh.f64 x) #<representation binary64>) () ())

Outputs
#s(alt x (taylor 0 x) (#s(alt #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) (patch #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1/3 (pow x 2)))) (taylor 0 x) (#s(alt #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) (patch #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (* 2/15 (pow x 2)) 1/3)))) (taylor 0 x) (#s(alt #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) (patch #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/15 (* -17/315 (pow x 2)))) 1/3)))) (taylor 0 x) (#s(alt #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) (patch #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt x (taylor 0 x) (#s(alt (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) (patch (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1/3 (pow x 2)))) (taylor 0 x) (#s(alt (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) (patch (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1/3 (pow x 2)))) (taylor 0 x) (#s(alt (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) (patch (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1/3 (pow x 2)))) (taylor 0 x) (#s(alt (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) (patch (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor 0 x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt x (taylor 0 x) (#s(alt (tanh.f64 x) (patch (tanh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1/3 (pow x 2)))) (taylor 0 x) (#s(alt (tanh.f64 x) (patch (tanh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (* 2/15 (pow x 2)) 1/3)))) (taylor 0 x) (#s(alt (tanh.f64 x) (patch (tanh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/15 (* -17/315 (pow x 2)))) 1/3)))) (taylor 0 x) (#s(alt (tanh.f64 x) (patch (tanh.f64 x) #<representation binary64>) () ())) ())
#s(alt x (taylor 0 x) (#s(alt (/.f64 (sinh.f64 x) (cosh.f64 x)) (patch (/.f64 (sinh.f64 x) (cosh.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* -1/3 (pow x 2)))) (taylor 0 x) (#s(alt (/.f64 (sinh.f64 x) (cosh.f64 x)) (patch (/.f64 (sinh.f64 x) (cosh.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (* 2/15 (pow x 2)) 1/3)))) (taylor 0 x) (#s(alt (/.f64 (sinh.f64 x) (cosh.f64 x)) (patch (/.f64 (sinh.f64 x) (cosh.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/15 (* -17/315 (pow x 2)))) 1/3)))) (taylor 0 x) (#s(alt (/.f64 (sinh.f64 x) (cosh.f64 x)) (patch (/.f64 (sinh.f64 x) (cosh.f64 x)) #<representation binary64>) () ())) ())
#s(alt x (taylor 0 x) (#s(alt (sinh.f64 x) (patch (sinh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* 1/6 (pow x 2)))) (taylor 0 x) (#s(alt (sinh.f64 x) (patch (sinh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (+ 1/6 (* 1/120 (pow x 2)))))) (taylor 0 x) (#s(alt (sinh.f64 x) (patch (sinh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* x (+ 1 (* (pow x 2) (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2)))))))) (taylor 0 x) (#s(alt (sinh.f64 x) (patch (sinh.f64 x) #<representation binary64>) () ())) ())
#s(alt 1 (taylor 0 x) (#s(alt (cosh.f64 x) (patch (cosh.f64 x) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* 1/2 (pow x 2))) (taylor 0 x) (#s(alt (cosh.f64 x) (patch (cosh.f64 x) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* (pow x 2) (+ 1/2 (* 1/24 (pow x 2))))) (taylor 0 x) (#s(alt (cosh.f64 x) (patch (cosh.f64 x) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* (pow x 2) (+ 1/2 (* (pow x 2) (+ 1/24 (* 1/720 (pow x 2))))))) (taylor 0 x) (#s(alt (cosh.f64 x) (patch (cosh.f64 x) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (taylor inf x) (#s(alt #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) (patch #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (taylor inf x) (#s(alt #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) (patch #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (taylor inf x) (#s(alt #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) (patch #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (taylor inf x) (#s(alt #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) (patch #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (* -1/3 (pow x 3)) (taylor inf x) (#s(alt (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) (patch (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* (pow x 3) (- (/ 1 (pow x 2)) 1/3)) (taylor inf x) (#s(alt (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) (patch (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* (pow x 3) (- (/ 1 (pow x 2)) 1/3)) (taylor inf x) (#s(alt (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) (patch (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* (pow x 3) (- (/ 1 (pow x 2)) 1/3)) (taylor inf x) (#s(alt (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) (patch (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (taylor inf x) (#s(alt (tanh.f64 x) (patch (tanh.f64 x) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (taylor inf x) (#s(alt (tanh.f64 x) (patch (tanh.f64 x) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (taylor inf x) (#s(alt (tanh.f64 x) (patch (tanh.f64 x) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (taylor inf x) (#s(alt (tanh.f64 x) (patch (tanh.f64 x) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (taylor inf x) (#s(alt (/.f64 (sinh.f64 x) (cosh.f64 x)) (patch (/.f64 (sinh.f64 x) (cosh.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (taylor inf x) (#s(alt (/.f64 (sinh.f64 x) (cosh.f64 x)) (patch (/.f64 (sinh.f64 x) (cosh.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (taylor inf x) (#s(alt (/.f64 (sinh.f64 x) (cosh.f64 x)) (patch (/.f64 (sinh.f64 x) (cosh.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (taylor inf x) (#s(alt (/.f64 (sinh.f64 x) (cosh.f64 x)) (patch (/.f64 (sinh.f64 x) (cosh.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (- (exp x) (/ 1 (exp x)))) (taylor inf x) (#s(alt (sinh.f64 x) (patch (sinh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (- (exp x) (/ 1 (exp x)))) (taylor inf x) (#s(alt (sinh.f64 x) (patch (sinh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (- (exp x) (/ 1 (exp x)))) (taylor inf x) (#s(alt (sinh.f64 x) (patch (sinh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (- (exp x) (/ 1 (exp x)))) (taylor inf x) (#s(alt (sinh.f64 x) (patch (sinh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (+ (exp x) (/ 1 (exp x)))) (taylor inf x) (#s(alt (cosh.f64 x) (patch (cosh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (+ (exp x) (/ 1 (exp x)))) (taylor inf x) (#s(alt (cosh.f64 x) (patch (cosh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (+ (exp x) (/ 1 (exp x)))) (taylor inf x) (#s(alt (cosh.f64 x) (patch (cosh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (+ (exp x) (/ 1 (exp x)))) (taylor inf x) (#s(alt (cosh.f64 x) (patch (cosh.f64 x) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x)))) (taylor -inf x) (#s(alt #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) (patch #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x)))) (taylor -inf x) (#s(alt #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) (patch #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x)))) (taylor -inf x) (#s(alt #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) (patch #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x)))) (taylor -inf x) (#s(alt #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) (patch #s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)) #<representation binary64>) () ())) ())
#s(alt (* -1/3 (pow x 3)) (taylor -inf x) (#s(alt (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) (patch (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (- 1/3 (/ 1 (pow x 2))))) (taylor -inf x) (#s(alt (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) (patch (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (- 1/3 (/ 1 (pow x 2))))) (taylor -inf x) (#s(alt (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) (patch (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* (pow x 3) (- 1/3 (/ 1 (pow x 2))))) (taylor -inf x) (#s(alt (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) (patch (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (pow x 3) (taylor -inf x) (#s(alt (pow.f64 x #s(literal 3 binary64)) (patch (pow.f64 x #s(literal 3 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (taylor -inf x) (#s(alt (tanh.f64 x) (patch (tanh.f64 x) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (taylor -inf x) (#s(alt (tanh.f64 x) (patch (tanh.f64 x) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (taylor -inf x) (#s(alt (tanh.f64 x) (patch (tanh.f64 x) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (taylor -inf x) (#s(alt (tanh.f64 x) (patch (tanh.f64 x) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (taylor -inf x) (#s(alt (/.f64 (sinh.f64 x) (cosh.f64 x)) (patch (/.f64 (sinh.f64 x) (cosh.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (taylor -inf x) (#s(alt (/.f64 (sinh.f64 x) (cosh.f64 x)) (patch (/.f64 (sinh.f64 x) (cosh.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (taylor -inf x) (#s(alt (/.f64 (sinh.f64 x) (cosh.f64 x)) (patch (/.f64 (sinh.f64 x) (cosh.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x)))) (taylor -inf x) (#s(alt (/.f64 (sinh.f64 x) (cosh.f64 x)) (patch (/.f64 (sinh.f64 x) (cosh.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (- (exp x) (/ 1 (exp x)))) (taylor -inf x) (#s(alt (sinh.f64 x) (patch (sinh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (- (exp x) (/ 1 (exp x)))) (taylor -inf x) (#s(alt (sinh.f64 x) (patch (sinh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (- (exp x) (/ 1 (exp x)))) (taylor -inf x) (#s(alt (sinh.f64 x) (patch (sinh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (- (exp x) (/ 1 (exp x)))) (taylor -inf x) (#s(alt (sinh.f64 x) (patch (sinh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (+ (exp x) (/ 1 (exp x)))) (taylor -inf x) (#s(alt (cosh.f64 x) (patch (cosh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (+ (exp x) (/ 1 (exp x)))) (taylor -inf x) (#s(alt (cosh.f64 x) (patch (cosh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (+ (exp x) (/ 1 (exp x)))) (taylor -inf x) (#s(alt (cosh.f64 x) (patch (cosh.f64 x) #<representation binary64>) () ())) ())
#s(alt (* 1/2 (+ (exp x) (/ 1 (exp x)))) (taylor -inf x) (#s(alt (cosh.f64 x) (patch (cosh.f64 x) #<representation binary64>) () ())) ())

Calls

3 calls:

Time

Variable

Point

Expression

5.0ms

-inf

((/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (+ (* (pow x 3) -1/3) x) (pow x 3) (tanh x) (/ (sinh x) (cosh x)) (sinh x) (cosh x))

4.0ms

inf

((/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (+ (* (pow x 3) -1/3) x) (pow x 3) (tanh x) (/ (sinh x) (cosh x)) (sinh x) (cosh x))

2.0ms

((/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (+ (* (pow x 3) -1/3) x) (pow x 3) (tanh x) (/ (sinh x) (cosh x)) (sinh x) (cosh x))

simplify201.0ms (2.4%)

Memory

-2.4MiB live, 193.9MiB allocated

Algorithm

1×	egg-herbie

Rules

17 474×	`lower-fma.f64`
17 474×	`lower-fma.f32`
3 856×	`lower-*.f64`
3 856×	`lower-*.f32`
2 998×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	83	792
1	234	750
2	589	750
3	1668	750
4	3191	750
5	6186	750
0	9246	711

Stop Event

1×	iter limit
1×	node limit

Counts

84 → 79

Calls

Call 1

Inputs
x
(* x (+ 1 (* -1/3 (pow x 2))))
(* x (+ 1 (* (pow x 2) (- (* 2/15 (pow x 2)) 1/3))))
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/15 (* -17/315 (pow x 2)))) 1/3))))
x
(* x (+ 1 (* -1/3 (pow x 2))))
(* x (+ 1 (* -1/3 (pow x 2))))
(* x (+ 1 (* -1/3 (pow x 2))))
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
x
(* x (+ 1 (* -1/3 (pow x 2))))
(* x (+ 1 (* (pow x 2) (- (* 2/15 (pow x 2)) 1/3))))
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/15 (* -17/315 (pow x 2)))) 1/3))))
x
(* x (+ 1 (* -1/3 (pow x 2))))
(* x (+ 1 (* (pow x 2) (- (* 2/15 (pow x 2)) 1/3))))
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/15 (* -17/315 (pow x 2)))) 1/3))))
x
(* x (+ 1 (* 1/6 (pow x 2))))
(* x (+ 1 (* (pow x 2) (+ 1/6 (* 1/120 (pow x 2))))))
(* x (+ 1 (* (pow x 2) (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2))))))))
1
(+ 1 (* 1/2 (pow x 2)))
(+ 1 (* (pow x 2) (+ 1/2 (* 1/24 (pow x 2)))))
(+ 1 (* (pow x 2) (+ 1/2 (* (pow x 2) (+ 1/24 (* 1/720 (pow x 2)))))))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(* -1/3 (pow x 3))
(* (pow x 3) (- (/ 1 (pow x 2)) 1/3))
(* (pow x 3) (- (/ 1 (pow x 2)) 1/3))
(* (pow x 3) (- (/ 1 (pow x 2)) 1/3))
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(* 1/2 (- (exp x) (/ 1 (exp x))))
(* 1/2 (- (exp x) (/ 1 (exp x))))
(* 1/2 (- (exp x) (/ 1 (exp x))))
(* 1/2 (- (exp x) (/ 1 (exp x))))
(* 1/2 (+ (exp x) (/ 1 (exp x))))
(* 1/2 (+ (exp x) (/ 1 (exp x))))
(* 1/2 (+ (exp x) (/ 1 (exp x))))
(* 1/2 (+ (exp x) (/ 1 (exp x))))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(* -1/3 (pow x 3))
(* -1 (* (pow x 3) (- 1/3 (/ 1 (pow x 2)))))
(* -1 (* (pow x 3) (- 1/3 (/ 1 (pow x 2)))))
(* -1 (* (pow x 3) (- 1/3 (/ 1 (pow x 2)))))
(pow x 3)
(pow x 3)
(pow x 3)
(pow x 3)
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(* 1/2 (- (exp x) (/ 1 (exp x))))
(* 1/2 (- (exp x) (/ 1 (exp x))))
(* 1/2 (- (exp x) (/ 1 (exp x))))
(* 1/2 (- (exp x) (/ 1 (exp x))))
(* 1/2 (+ (exp x) (/ 1 (exp x))))
(* 1/2 (+ (exp x) (/ 1 (exp x))))
(* 1/2 (+ (exp x) (/ 1 (exp x))))
(* 1/2 (+ (exp x) (/ 1 (exp x))))

Outputs
x
(* x (+ 1 (* -1/3 (pow x 2))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(* x (+ 1 (* (pow x 2) (- (* 2/15 (pow x 2)) 1/3))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 #s(literal 2/15 binary64) (*.f64 x x) #s(literal -1/3 binary64)) x)
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/15 (* -17/315 (pow x 2)))) 1/3))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (fma.f64 #s(literal -17/315 binary64) (.f64 x x) #s(literal 2/15 binary64)) (.f64 x x) #s(literal -1/3 binary64)) x)
x
(* x (+ 1 (* -1/3 (pow x 2))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(* x (+ 1 (* -1/3 (pow x 2))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(* x (+ 1 (* -1/3 (pow x 2))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
x
(* x (+ 1 (* -1/3 (pow x 2))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(* x (+ 1 (* (pow x 2) (- (* 2/15 (pow x 2)) 1/3))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 #s(literal 2/15 binary64) (*.f64 x x) #s(literal -1/3 binary64)) x)
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/15 (* -17/315 (pow x 2)))) 1/3))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (fma.f64 #s(literal -17/315 binary64) (.f64 x x) #s(literal 2/15 binary64)) (.f64 x x) #s(literal -1/3 binary64)) x)
x
(* x (+ 1 (* -1/3 (pow x 2))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(* x (+ 1 (* (pow x 2) (- (* 2/15 (pow x 2)) 1/3))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 #s(literal 2/15 binary64) (*.f64 x x) #s(literal -1/3 binary64)) x)
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/15 (* -17/315 (pow x 2)))) 1/3))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (fma.f64 #s(literal -17/315 binary64) (.f64 x x) #s(literal 2/15 binary64)) (.f64 x x) #s(literal -1/3 binary64)) x)
x
(* x (+ 1 (* 1/6 (pow x 2))))
(fma.f64 #s(literal 1/6 binary64) (pow.f64 x #s(literal 3 binary64)) x)
(* x (+ 1 (* (pow x 2) (+ 1/6 (* 1/120 (pow x 2))))))
(fma.f64 (fma.f64 #s(literal 1/120 binary64) (*.f64 x x) #s(literal 1/6 binary64)) (pow.f64 x #s(literal 3 binary64)) x)
(* x (+ 1 (* (pow x 2) (+ 1/6 (* (pow x 2) (+ 1/120 (* 1/5040 (pow x 2))))))))
(fma.f64 (fma.f64 (fma.f64 #s(literal 1/5040 binary64) (.f64 x x) #s(literal 1/120 binary64)) (.f64 x x) #s(literal 1/6 binary64)) (pow.f64 x #s(literal 3 binary64)) x)
1
#s(literal 1 binary64)
(+ 1 (* 1/2 (pow x 2)))
(fma.f64 #s(literal 1/2 binary64) (*.f64 x x) #s(literal 1 binary64))
(+ 1 (* (pow x 2) (+ 1/2 (* 1/24 (pow x 2)))))
(fma.f64 (fma.f64 #s(literal 1/24 binary64) (.f64 x x) #s(literal 1/2 binary64)) (.f64 x x) #s(literal 1 binary64))
(+ 1 (* (pow x 2) (+ 1/2 (* (pow x 2) (+ 1/24 (* 1/720 (pow x 2)))))))
(fma.f64 (fma.f64 (fma.f64 #s(literal 1/720 binary64) (.f64 x x) #s(literal 1/24 binary64)) (.f64 x x) #s(literal 1/2 binary64)) (*.f64 x x) #s(literal 1 binary64))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(* -1/3 (pow x 3))
(*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64))
(* (pow x 3) (- (/ 1 (pow x 2)) 1/3))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(* (pow x 3) (- (/ 1 (pow x 2)) 1/3))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(* (pow x 3) (- (/ 1 (pow x 2)) 1/3))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(* 1/2 (- (exp x) (/ 1 (exp x))))
(*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 1/2 binary64))
(* 1/2 (- (exp x) (/ 1 (exp x))))
(*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 1/2 binary64))
(* 1/2 (- (exp x) (/ 1 (exp x))))
(*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 1/2 binary64))
(* 1/2 (- (exp x) (/ 1 (exp x))))
(*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 1/2 binary64))
(* 1/2 (+ (exp x) (/ 1 (exp x))))
(fma.f64 (exp.f64 x) #s(literal 1/2 binary64) (/.f64 #s(literal 1/2 binary64) (exp.f64 x)))
(* 1/2 (+ (exp x) (/ 1 (exp x))))
(fma.f64 (exp.f64 x) #s(literal 1/2 binary64) (/.f64 #s(literal 1/2 binary64) (exp.f64 x)))
(* 1/2 (+ (exp x) (/ 1 (exp x))))
(fma.f64 (exp.f64 x) #s(literal 1/2 binary64) (/.f64 #s(literal 1/2 binary64) (exp.f64 x)))
(* 1/2 (+ (exp x) (/ 1 (exp x))))
(fma.f64 (exp.f64 x) #s(literal 1/2 binary64) (/.f64 #s(literal 1/2 binary64) (exp.f64 x)))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(* -1/3 (pow x 3))
(*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64))
(* -1 (* (pow x 3) (- 1/3 (/ 1 (pow x 2)))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(* -1 (* (pow x 3) (- 1/3 (/ 1 (pow x 2)))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(* -1 (* (pow x 3) (- 1/3 (/ 1 (pow x 2)))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(pow x 3)
(pow.f64 x #s(literal 3 binary64))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (/ 1 (exp x))) (+ (exp x) (/ 1 (exp x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(* 1/2 (- (exp x) (/ 1 (exp x))))
(*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 1/2 binary64))
(* 1/2 (- (exp x) (/ 1 (exp x))))
(*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 1/2 binary64))
(* 1/2 (- (exp x) (/ 1 (exp x))))
(*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 1/2 binary64))
(* 1/2 (- (exp x) (/ 1 (exp x))))
(*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) #s(literal 1/2 binary64))
(* 1/2 (+ (exp x) (/ 1 (exp x))))
(fma.f64 (exp.f64 x) #s(literal 1/2 binary64) (/.f64 #s(literal 1/2 binary64) (exp.f64 x)))
(* 1/2 (+ (exp x) (/ 1 (exp x))))
(fma.f64 (exp.f64 x) #s(literal 1/2 binary64) (/.f64 #s(literal 1/2 binary64) (exp.f64 x)))
(* 1/2 (+ (exp x) (/ 1 (exp x))))
(fma.f64 (exp.f64 x) #s(literal 1/2 binary64) (/.f64 #s(literal 1/2 binary64) (exp.f64 x)))
(* 1/2 (+ (exp x) (/ 1 (exp x))))
(fma.f64 (exp.f64 x) #s(literal 1/2 binary64) (/.f64 #s(literal 1/2 binary64) (exp.f64 x)))

rewrite148.0ms (1.8%)

Memory

5.0MiB live, 245.6MiB allocated

Rules

5 330×	`lower-fma.f32`
5 328×	`lower-fma.f64`
5 216×	`lower-*.f64`
5 216×	`lower-*.f32`
4 304×	`lower-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	40
0	23	26
1	103	26
2	713	26
0	8937	26

Stop Event

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

Counts

7 → 834

Calls

Call 1

Inputs
#s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(pow.f64 x #s(literal 3 binary64))
(tanh.f64 x)
(/.f64 (sinh.f64 x) (cosh.f64 x))
(sinh.f64 x)
(cosh.f64 x)

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

eval122.0ms (1.5%)

Memory: 8.9MiB live, 243.8MiB allocated
Compiler: Compiled 19 857 to 1 356 computations (93.2% saved)

prune39.0ms (0.5%)

Memory

-16.5MiB live, 57.9MiB allocated

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	912	1	913
Fresh	0	0	0
Picked	1	2	3
Done	0	0	0
Total	913	3	916

Accuracy

100.0%

Counts

916 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.2%	(/.f64 (sinh.f64 x) (cosh.f64 x))
✓	100.0%	(tanh.f64 x)
▶	98.6%	#s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (.f64 (.f64 #s(literal -1/3 binary64) x) x) x x))

Compiler

Compiled 16 to 12 computations (25% saved)

simplify200.0ms (2.4%)

Memory

-6.4MiB live, 149.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Rules

19 766×	`lower-fma.f32`
19 764×	`lower-fma.f64`
2 950×	`lower-*.f32`
2 946×	`lower-*.f64`
2 514×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	40
0	16	40
1	37	40
2	62	38
3	97	38
4	152	38
5	335	38
6	560	38
7	833	38
8	1228	38
9	2286	38
10	4511	38
11	6034	38
0	8006	36

Stop Event

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

Calls

Call 1

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

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

localize147.0ms (1.8%)

Memory

-11.2MiB live, 201.0MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.00390625	(fma.f64 (.f64 (.f64 #s(literal -1/3 binary64) x) x) x x)
accuracy	0.125	(.f64 (.f64 #s(literal -1/3 binary64) x) x)
accuracy	0.33984375	(*.f64 #s(literal -1/3 binary64) x)
accuracy	0.9168342909202024	#s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (.f64 (.f64 #s(literal -1/3 binary64) x) x) x x))

Samples

84.0ms	149×	1	valid
45.0ms	100×	2	valid
4.0ms	7×	0	valid

Compiler

Compiled 34 to 14 computations (58.8% saved)

Precisions

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

adjust: 48.0ms (43.3% of total)

ival-exp: 40.0ms (36.1% of total)

const: 6.0ms (5.4% of total)

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

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

ival-add: 4.0ms (3.6% of total)

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

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

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

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

series5.0ms (0.1%)

Memory

9.9MiB live, 9.9MiB allocated

Counts

4 → 48

Calls

Call 1

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

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

Calls

3 calls:

Time

Variable

Point

Expression

1.0ms

inf

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

1.0ms

-inf

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

1.0ms

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

simplify121.0ms (1.5%)

Memory

13.1MiB live, 167.9MiB allocated

Algorithm

1×	egg-herbie

Rules

11 304×	`lower-fma.f64`
11 304×	`lower-fma.f32`
3 238×	`lower-*.f64`
3 238×	`lower-*.f32`
1 250×	`lower-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	338
1	115	314
2	258	314
3	772	314
4	2002	314
5	4572	314
0	8110	299

Stop Event

1×	iter limit
1×	node limit

Counts

48 → 46

Calls

Call 1

Inputs
x
(* x (+ 1 (* -1/3 (pow x 2))))
(* x (+ 1 (* (pow x 2) (- (* 2/15 (pow x 2)) 1/3))))
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/15 (* -17/315 (pow x 2)))) 1/3))))
(* -1/3 (pow x 2))
(* -1/3 (pow x 2))
(* -1/3 (pow x 2))
(* -1/3 (pow x 2))
(* -1/3 x)
(* -1/3 x)
(* -1/3 x)
(* -1/3 x)
x
(* x (+ 1 (* -1/3 (pow x 2))))
(* x (+ 1 (* -1/3 (pow x 2))))
(* x (+ 1 (* -1/3 (pow x 2))))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(* -1/3 (pow x 2))
(* -1/3 (pow x 2))
(* -1/3 (pow x 2))
(* -1/3 (pow x 2))
(* -1/3 x)
(* -1/3 x)
(* -1/3 x)
(* -1/3 x)
(* -1/3 (pow x 3))
(* (pow x 3) (- (/ 1 (pow x 2)) 1/3))
(* (pow x 3) (- (/ 1 (pow x 2)) 1/3))
(* (pow x 3) (- (/ 1 (pow x 2)) 1/3))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(* -1/3 (pow x 2))
(* -1/3 (pow x 2))
(* -1/3 (pow x 2))
(* -1/3 (pow x 2))
(* -1/3 x)
(* -1/3 x)
(* -1/3 x)
(* -1/3 x)
(* -1/3 (pow x 3))
(* -1 (* (pow x 3) (- 1/3 (/ 1 (pow x 2)))))
(* -1 (* (pow x 3) (- 1/3 (/ 1 (pow x 2)))))
(* -1 (* (pow x 3) (- 1/3 (/ 1 (pow x 2)))))

Outputs
x
(* x (+ 1 (* -1/3 (pow x 2))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(* x (+ 1 (* (pow x 2) (- (* 2/15 (pow x 2)) 1/3))))
(fma.f64 (pow.f64 x #s(literal 5 binary64)) #s(literal 2/15 binary64) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x))
(* x (+ 1 (* (pow x 2) (- (* (pow x 2) (+ 2/15 (* -17/315 (pow x 2)))) 1/3))))
(fma.f64 (pow.f64 x #s(literal 5 binary64)) (fma.f64 #s(literal -17/315 binary64) (*.f64 x x) #s(literal 2/15 binary64)) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x))
(* -1/3 (pow x 2))
(.f64 (.f64 x x) #s(literal -1/3 binary64))
(* -1/3 (pow x 2))
(.f64 (.f64 x x) #s(literal -1/3 binary64))
(* -1/3 (pow x 2))
(.f64 (.f64 x x) #s(literal -1/3 binary64))
(* -1/3 (pow x 2))
(.f64 (.f64 x x) #s(literal -1/3 binary64))
(* -1/3 x)
(*.f64 #s(literal -1/3 binary64) x)
(* -1/3 x)
(*.f64 #s(literal -1/3 binary64) x)
(* -1/3 x)
(*.f64 #s(literal -1/3 binary64) x)
(* -1/3 x)
(*.f64 #s(literal -1/3 binary64) x)
x
(* x (+ 1 (* -1/3 (pow x 2))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(* x (+ 1 (* -1/3 (pow x 2))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(* x (+ 1 (* -1/3 (pow x 2))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(* -1/3 (pow x 2))
(.f64 (.f64 x x) #s(literal -1/3 binary64))
(* -1/3 (pow x 2))
(.f64 (.f64 x x) #s(literal -1/3 binary64))
(* -1/3 (pow x 2))
(.f64 (.f64 x x) #s(literal -1/3 binary64))
(* -1/3 (pow x 2))
(.f64 (.f64 x x) #s(literal -1/3 binary64))
(* -1/3 x)
(*.f64 #s(literal -1/3 binary64) x)
(* -1/3 x)
(*.f64 #s(literal -1/3 binary64) x)
(* -1/3 x)
(*.f64 #s(literal -1/3 binary64) x)
(* -1/3 x)
(*.f64 #s(literal -1/3 binary64) x)
(* -1/3 (pow x 3))
(*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64))
(* (pow x 3) (- (/ 1 (pow x 2)) 1/3))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(* (pow x 3) (- (/ 1 (pow x 2)) 1/3))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(* (pow x 3) (- (/ 1 (pow x 2)) 1/3))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(/ (- (exp x) (exp (* -1 x))) (+ (exp x) (exp (* -1 x))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(* -1/3 (pow x 2))
(.f64 (.f64 x x) #s(literal -1/3 binary64))
(* -1/3 (pow x 2))
(.f64 (.f64 x x) #s(literal -1/3 binary64))
(* -1/3 (pow x 2))
(.f64 (.f64 x x) #s(literal -1/3 binary64))
(* -1/3 (pow x 2))
(.f64 (.f64 x x) #s(literal -1/3 binary64))
(* -1/3 x)
(*.f64 #s(literal -1/3 binary64) x)
(* -1/3 x)
(*.f64 #s(literal -1/3 binary64) x)
(* -1/3 x)
(*.f64 #s(literal -1/3 binary64) x)
(* -1/3 x)
(*.f64 #s(literal -1/3 binary64) x)
(* -1/3 (pow x 3))
(*.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64))
(* -1 (* (pow x 3) (- 1/3 (/ 1 (pow x 2)))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(* -1 (* (pow x 3) (- 1/3 (/ 1 (pow x 2)))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)
(* -1 (* (pow x 3) (- 1/3 (/ 1 (pow x 2)))))
(fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x)

rewrite170.0ms (2.1%)

Memory

-21.6MiB live, 138.3MiB allocated

Rules

5 202×	`lower-*.f32`
5 198×	`lower-*.f64`
5 102×	`lower-fma.f32`
5 100×	`lower-fma.f64`
4 610×	`lower-/.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	38
0	16	27
1	78	25
2	585	25
0	8542	23

Stop Event

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

Counts

4 → 106

Calls

Call 1

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

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

eval15.0ms (0.2%)

Memory: 22.4MiB live, 22.4MiB allocated
Compiler: Compiled 2 814 to 388 computations (86.2% saved)

prune41.0ms (0.5%)

Memory

-5.1MiB live, 41.2MiB allocated

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	152	3	155

Accuracy

100.0%

Counts

155 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.2%	(/.f64 (sinh.f64 x) (cosh.f64 x))
✓	100.0%	(tanh.f64 x)
✓	98.6%	#s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (.f64 (.f64 #s(literal -1/3 binary64) x) x) x x))

Compiler

Compiled 52 to 32 computations (38.5% saved)

regimes4.0ms (0.1%)

Memory

10.7MiB live, 10.7MiB allocated

Counts

5 → 1

Calls

Call 1

Inputs
#s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (.f64 (.f64 #s(literal -1/3 binary64) x) x) x x))
(tanh.f64 x)
#s(approx (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (fma.f64 (pow.f64 x #s(literal 3 binary64)) #s(literal -1/3 binary64) x))
(/.f64 (sinh.f64 x) (cosh.f64 x))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Outputs
(tanh.f64 x)

Calls

2 calls:

2.0ms	x
2.0ms	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))`

Compiler

Compiled 14 to 8 computations (42.9% saved)

regimes6.0ms (0.1%)

Memory

-30.7MiB live, 6.2MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

2 calls:

4.0ms	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
1.0ms	x

Results

Accuracy	Segments	Branch
98.6%	1	`x`
98.6%	1	`(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))`

Compiler

Compiled 14 to 8 computations (42.9% saved)

simplify25.0ms (0.3%)

Memory

16.3MiB live, 53.6MiB allocated

Algorithm

1×	egg-herbie

Rules

4×	`-commutative-binary64-.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	24
1	15	24

Stop Event

1×

saturated

Calls

Call 1

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

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

soundness433.0ms (5.3%)

Memory

-23.6MiB live, 272.1MiB allocated

Rules

12 890×	`lower-fma.f64`
12 890×	`lower-fma.f32`
5 330×	`lower-fma.f32`
5 328×	`lower-fma.f64`
5 216×	`lower-*.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	30
0	13	15
1	55	15
2	424	15
3	7080	15
0	8062	15
0	16	40
0	23	26
1	103	26
2	713	26
0	8937	26
0	90	425
1	259	424
2	604	414
3	1672	414
4	2645	414
5	4176	414
6	4889	414
7	6516	414
0	8145	386

Stop Event

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

Compiler

Compiled 39 to 26 computations (33.3% saved)

preprocess33.0ms (0.4%)

Memory: 6.2MiB live, 79.0MiB allocated
Remove: (negabs x)
Compiler: Compiled 52 to 32 computations (38.5% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample5.2s (62.6%)

explain319.0ms (3.9%)

preprocess96.0ms (1.2%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify36.0ms (0.4%)

localize126.0ms (1.5%)

series4.0ms (0%)

simplify180.0ms (2.2%)

rewrite158.0ms (1.9%)

eval120.0ms (1.5%)

prune36.0ms (0.4%)

simplify149.0ms (1.8%)

localize127.0ms (1.5%)

series12.0ms (0.1%)

simplify201.0ms (2.4%)

rewrite148.0ms (1.8%)

eval122.0ms (1.5%)

prune39.0ms (0.5%)

simplify200.0ms (2.4%)

localize147.0ms (1.8%)

series5.0ms (0.1%)

simplify121.0ms (1.5%)

rewrite170.0ms (2.1%)

eval15.0ms (0.2%)

prune41.0ms (0.5%)

regimes4.0ms (0.1%)

regimes6.0ms (0.1%)

simplify25.0ms (0.3%)

soundness433.0ms (5.3%)

preprocess33.0ms (0.4%)

end0.0ms (0%)

Profiling