Details

analyze4.0ms (0.1%)

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
0%	0%	100%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
66.7%	50%	25%	0%	25%	0%	0%	4
80%	50%	12.5%	0%	37.5%	0%	0%	5
88.9%	50%	6.2%	0%	43.7%	0%	0%	6
94.1%	50%	3.1%	0%	46.9%	0%	0%	7
97%	50%	1.6%	0%	48.4%	0%	0%	8
98.5%	50%	0.8%	0%	49.2%	0%	0%	9
99.2%	50.4%	0.4%	0%	49.2%	0%	0%	10
99.6%	50.4%	0.2%	0%	49.4%	0%	0%	11
99.8%	50.4%	0.1%	0%	49.5%	0%	0%	12

Compiler

Compiled 10 to 8 computations (20% saved)

sample2.7s (84.7%)

Results

1.8s	4075×	body	1024	valid
503.0ms	2035×	body	512	valid
214.0ms	1730×	body	256	valid
182.0ms	416×	body	2048	valid
1.0ms	6×	body	256	infinite

Bogosity

preprocess57.0ms (1.8%)

Algorithm

2×	egg-herbie

Rules

618×	`fma-neg_binary64`
579×	`fma-def_binary64`
523×	`cancel-sign-sub-inv_binary64`
509×	`associate-/l*_binary64`
425×	`times-frac_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	19	13
2	34	13
3	58	13
4	120	13
5	260	13
6	715	13
7	2155	13
8	5003	12
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

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

Outputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(*.f64 -1/2 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(*.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) -1/2)
(fma.f64 1/2 (exp.f64 x) (/.f64 -1/2 (exp.f64 x)))

Compiler

Compiled 10 to 8 computations (20% saved)

simplify46.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

618×	`fma-neg_binary64`
579×	`fma-def_binary64`
523×	`cancel-sign-sub-inv_binary64`
509×	`associate-/l*_binary64`
425×	`times-frac_binary64`

Iterations

Useful iterations: 8 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	19	13
2	34	13
3	58	13
4	120	13
5	260	13
6	715	13
7	2155	13
8	5003	12

Stop Event

1×	node limit

Counts

1 → 4

Calls

Call 1

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

Outputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(*.f64 -1/2 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(*.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) -1/2)
(fma.f64 1/2 (exp.f64 x) (/.f64 -1/2 (exp.f64 x)))

eval1.0ms (0%)

Compiler: Compiled 33 to 16 computations (51.5% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	3	1	4
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	3	2	5

Error

58.2b

Counts

5 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	58.2b	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)

Compiler

Compiled 9 to 7 computations (22.2% saved)

localize8.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	5.4b	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

Compiler

Compiled 24 to 8 computations (66.7% saved)

series4.0ms (0.1%)

Counts

1 → 0

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
0.0ms	x	@	-inf	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
0.0ms	x	@	inf	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

Compiler

Compiled 390 to 285 computations (26.9% saved)

rewrite29.0ms (0.9%)

Algorithm

1×	egg-rewrite-iter-limit
1×	batch-egg-rewrite

Rules

70×	`add-sqr-sqrt_binary64`
67×	`add-log-exp_binary64`
66×	`*-un-lft-identity_binary64`
66×	`pow1_binary64`
65×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	6
1	130	6
2	2188	6
0	6	6

Stop Event

1×	iter limit
1×	unsound

Counts

1 → 13

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 x) (neg.f64 (exp.f64 (neg.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 2 (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 2 (sinh.f64 x))) (cbrt.f64 (.f64 2 (sinh.f64 x)))) (cbrt.f64 (.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 2 (sinh.f64 x))) (sqrt.f64 (.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (sinh.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 (exp.f64 (neg.f64 x)) 3)) (+.f64 (.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x))) (.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (exp.f64 x) (exp.f64 x)) (.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 2 (sinh.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (.f64 2 (sinh.f64 x)) (.f64 2 (sinh.f64 x))) (.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 2 (sinh.f64 x))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 x) (neg.f64 (exp.f64 (neg.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 2 (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 2 (sinh.f64 x))) (cbrt.f64 (*.f64 2 (sinh.f64 x)))) (cbrt.f64 (*.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 2 (sinh.f64 x))) (sqrt.f64 (*.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (sinh.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 (exp.f64 (neg.f64 x)) 3)) (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (*.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x))) (*.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 2 (sinh.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (*.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (*.f64 (*.f64 2 (sinh.f64 x)) (*.f64 2 (sinh.f64 x))) (*.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 2 (sinh.f64 x))))))))

simplify41.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

499×	`associate-*l/_binary64`
420×	`associate-*r/_binary64`
307×	`div-sub_binary64`
300×	`distribute-rgt-in_binary64`
262×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	42	163
1	117	155
2	414	153
3	1619	105
4	6597	105

Stop Event

1×	node limit

Counts

13 → 18

Calls

Call 1

Inputs
(+.f64 (exp.f64 x) (neg.f64 (exp.f64 (neg.f64 x))))
(.f64 1 (.f64 2 (sinh.f64 x)))
(.f64 (.f64 (cbrt.f64 (.f64 2 (sinh.f64 x))) (cbrt.f64 (.f64 2 (sinh.f64 x)))) (cbrt.f64 (*.f64 2 (sinh.f64 x))))
(.f64 (sqrt.f64 (.f64 2 (sinh.f64 x))) (sqrt.f64 (*.f64 2 (sinh.f64 x))))
(*.f64 2 (sinh.f64 x))
(/.f64 (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 (exp.f64 (neg.f64 x)) 3)) (+.f64 (.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x))) (*.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(/.f64 (-.f64 (.f64 (exp.f64 x) (exp.f64 x)) (.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(pow.f64 (*.f64 2 (sinh.f64 x)) 1)
(log.f64 (exp.f64 (*.f64 2 (sinh.f64 x))))
(cbrt.f64 (.f64 (.f64 (.f64 2 (sinh.f64 x)) (.f64 2 (sinh.f64 x))) (*.f64 2 (sinh.f64 x))))
(expm1.f64 (log1p.f64 (*.f64 2 (sinh.f64 x))))
(log1p.f64 (expm1.f64 (*.f64 2 (sinh.f64 x))))
(exp.f64 (log.f64 (*.f64 2 (sinh.f64 x))))

Outputs
(+.f64 (exp.f64 x) (neg.f64 (exp.f64 (neg.f64 x))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 2 (sinh.f64 x))
(.f64 1 (.f64 2 (sinh.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 2 (sinh.f64 x))
(.f64 (.f64 (cbrt.f64 (.f64 2 (sinh.f64 x))) (cbrt.f64 (.f64 2 (sinh.f64 x)))) (cbrt.f64 (*.f64 2 (sinh.f64 x))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 2 (sinh.f64 x))
(.f64 (sqrt.f64 (.f64 2 (sinh.f64 x))) (sqrt.f64 (*.f64 2 (sinh.f64 x))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 2 (sinh.f64 x))
(*.f64 2 (sinh.f64 x))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(/.f64 (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 (exp.f64 (neg.f64 x)) 3)) (+.f64 (.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x))) (*.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(/.f64 (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 (exp.f64 (neg.f64 x)) 3)) (+.f64 (exp.f64 (+.f64 x x)) (*.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(/.f64 (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 (exp.f64 (neg.f64 x)) 3)) (+.f64 1 (+.f64 (exp.f64 (+.f64 x x)) (exp.f64 (*.f64 x -2)))))
(/.f64 (-.f64 (pow.f64 (exp.f64 x) 3) (exp.f64 (.f64 x -3))) (+.f64 1 (fma.f64 (exp.f64 x) (exp.f64 x) (exp.f64 (.f64 x -2)))))
(/.f64 (-.f64 (pow.f64 (exp.f64 3) x) (pow.f64 (exp.f64 x) -3)) (+.f64 1 (+.f64 (exp.f64 (+.f64 x x)) (pow.f64 (exp.f64 x) -2))))
(/.f64 (-.f64 (.f64 (exp.f64 x) (exp.f64 x)) (.f64 (exp.f64 (neg.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)))
(*.f64 2 (sinh.f64 x))
(pow.f64 (*.f64 2 (sinh.f64 x)) 1)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 2 (sinh.f64 x))
(log.f64 (exp.f64 (*.f64 2 (sinh.f64 x))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 2 (sinh.f64 x))
(cbrt.f64 (.f64 (.f64 (.f64 2 (sinh.f64 x)) (.f64 2 (sinh.f64 x))) (*.f64 2 (sinh.f64 x))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 2 (sinh.f64 x))
(expm1.f64 (log1p.f64 (*.f64 2 (sinh.f64 x))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 2 (sinh.f64 x))
(log1p.f64 (expm1.f64 (*.f64 2 (sinh.f64 x))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 2 (sinh.f64 x))
(exp.f64 (log.f64 (*.f64 2 (sinh.f64 x))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 2 (sinh.f64 x))

eval4.0ms (0.1%)

Compiler: Compiled 274 to 158 computations (42.3% saved)

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	16	2	18
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	17	2	19

Error

Counts

19 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(/.f64 (*.f64 2 (sinh.f64 x)) 2)
▶	32.0b	(/.f64 (exp.f64 (log.f64 (*.f64 2 (sinh.f64 x)))) 2)

Compiler

Compiled 16 to 14 computations (12.5% saved)

localize13.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(sinh.f64 x)
✓	3.2b	(exp.f64 (log.f64 (*.f64 2 (sinh.f64 x))))

Compiler

Compiled 28 to 18 computations (35.7% saved)

series13.0ms (0.4%)

Counts

2 → 0

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	(exp.f64 (log.f64 (*.f64 2 (sinh.f64 x))))
1.0ms	x	@	-inf	(exp.f64 (log.f64 (*.f64 2 (sinh.f64 x))))
1.0ms	x	@	0	(exp.f64 (log.f64 (*.f64 2 (sinh.f64 x))))
0.0ms	x	@	0	(sinh.f64 x)
0.0ms	x	@	-inf	(sinh.f64 x)

Compiler

Compiled 1090 to 675 computations (38.1% saved)

rewrite78.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

552×	`pow1_binary64`
511×	`add-log-exp_binary64`
510×	`log1p-expm1-u_binary64`
510×	`expm1-log1p-u_binary64`
500×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	128	9
2	1398	9

Stop Event

1×	node limit

Counts

2 → 52

Calls

Call 1

Inputs
(exp.f64 (log.f64 (*.f64 2 (sinh.f64 x))))
(sinh.f64 x)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (-.f64 (.f64 2 (sinh.f64 x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 x) (neg.f64 (exp.f64 (neg.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 2 (sinh.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (sinh.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sinh.f64 x) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (sinh.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 2 (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 2 (sinh.f64 x))) (pow.f64 (cbrt.f64 (.f64 2 (sinh.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (.f64 2 (sinh.f64 x))) 2) (cbrt.f64 (.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2) (.f64 (cbrt.f64 (sinh.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 2 (sinh.f64 x))) (sqrt.f64 (.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (sinh.f64 x)) (.f64 (sqrt.f64 (sinh.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2)) (cbrt.f64 (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (sqrt.f64 (sinh.f64 x))) (sqrt.f64 (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 (exp.f64 (neg.f64 x)) 3)) (+.f64 (.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x))) (.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (exp.f64 x) (exp.f64 x)) (.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 2 (sinh.f64 x)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (sinh.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 2 (sinh.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 2 (sinh.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 2 (sinh.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 2 (sinh.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 2 (sinh.f64 x))))) (sqrt.f64 (log.f64 (.f64 2 (sinh.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (log.f64 (.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 2 (sinh.f64 x)))) 2)) (cbrt.f64 (log.f64 (.f64 2 (sinh.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 4 (pow.f64 (sinh.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 2) (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 2 (sinh.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 2 (sinh.f64 x))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (sinh.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (exp.f64 x) 2) (/.f64 (exp.f64 (neg.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sinh.f64 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (sinh.f64 x)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (sinh.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (sinh.f64 x)) (pow.f64 (cbrt.f64 (sinh.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2) (cbrt.f64 (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (sinh.f64 x)) (sqrt.f64 (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (sinh.f64 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 2 (.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (.f64 2 (sinh.f64 x))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sinh.f64 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (sinh.f64 x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sinh.f64 x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (sinh.f64 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (sinh.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (sinh.f64 x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sinh.f64 x)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (-.f64 (*.f64 2 (sinh.f64 x)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 x) (neg.f64 (exp.f64 (neg.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 2 (sinh.f64 x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (sinh.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sinh.f64 x) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (sinh.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 2 (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 2 (sinh.f64 x))) (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 x))) 2) (cbrt.f64 (*.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2) (*.f64 (cbrt.f64 (sinh.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 2 (sinh.f64 x))) (sqrt.f64 (*.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (sinh.f64 x)) (*.f64 (sqrt.f64 (sinh.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2)) (cbrt.f64 (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (sqrt.f64 (sinh.f64 x))) (sqrt.f64 (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 (exp.f64 (neg.f64 x)) 3)) (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (*.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x))) (*.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 2 (sinh.f64 x)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (sinh.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 2 (sinh.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 2 (sinh.f64 x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 2 (sinh.f64 x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 2 (sinh.f64 x))))) (sqrt.f64 (log.f64 (*.f64 2 (sinh.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 1) (log.f64 (*.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 2 (sinh.f64 x)))) 2)) (cbrt.f64 (log.f64 (*.f64 2 (sinh.f64 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 4 (pow.f64 (sinh.f64 x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 2) (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 2 (sinh.f64 x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 2 (sinh.f64 x))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (sinh.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (exp.f64 x) 2) (/.f64 (exp.f64 (neg.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sinh.f64 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (sinh.f64 x)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sinh.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (sinh.f64 x)) (pow.f64 (cbrt.f64 (sinh.f64 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2) (cbrt.f64 (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (sinh.f64 x)) (sqrt.f64 (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (sinh.f64 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 2 (*.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 2 (sinh.f64 x))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sinh.f64 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (sinh.f64 x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sinh.f64 x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (sinh.f64 x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (sinh.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (sinh.f64 x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sinh.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sinh.f64 x)))))))

simplify46.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

544×	`associate-*l/_binary64`
509×	`fma-neg_binary64`
424×	`associate-*r/_binary64`
348×	`unswap-sqr_binary64`
339×	`associate-/l*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	114	586
1	265	488
2	1304	351
3	7803	351

Stop Event

1×	node limit

Counts

52 → 65

Calls

Call 1

Inputs
(+.f64 1 (-.f64 (*.f64 2 (sinh.f64 x)) 1))
(+.f64 (exp.f64 x) (neg.f64 (exp.f64 (neg.f64 x))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(-.f64 (+.f64 1 (*.f64 2 (sinh.f64 x))) 1)
(*.f64 2 (sinh.f64 x))
(*.f64 (sinh.f64 x) 2)
(.f64 (.f64 2 (sinh.f64 x)) 1)
(.f64 1 (.f64 2 (sinh.f64 x)))
(.f64 (cbrt.f64 (.f64 2 (sinh.f64 x))) (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 x))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 2 (sinh.f64 x))) 2) (cbrt.f64 (*.f64 2 (sinh.f64 x))))
(.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2) (.f64 (cbrt.f64 (sinh.f64 x)) 2))
(.f64 (sqrt.f64 (.f64 2 (sinh.f64 x))) (sqrt.f64 (*.f64 2 (sinh.f64 x))))
(.f64 (sqrt.f64 (sinh.f64 x)) (.f64 (sqrt.f64 (sinh.f64 x)) 2))
(.f64 (.f64 2 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2)) (cbrt.f64 (sinh.f64 x)))
(.f64 (.f64 2 (sqrt.f64 (sinh.f64 x))) (sqrt.f64 (sinh.f64 x)))
(/.f64 (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 (exp.f64 (neg.f64 x)) 3)) (+.f64 (.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x))) (*.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(/.f64 (-.f64 (.f64 (exp.f64 x) (exp.f64 x)) (.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (.f64 (.f64 2 (sinh.f64 x)) 2) 2)
(/.f64 (.f64 2 (.f64 2 (sinh.f64 x))) 2)
(pow.f64 (*.f64 2 (sinh.f64 x)) 1)
(pow.f64 (pow.f64 (*.f64 2 (sinh.f64 x)) 3) 1/3)
(pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 x))) 3)
(pow.f64 (sqrt.f64 (*.f64 2 (sinh.f64 x))) 2)
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 2 (sinh.f64 x))))) (sqrt.f64 (log.f64 (.f64 2 (sinh.f64 x)))))
(pow.f64 (exp.f64 1) (log.f64 (*.f64 2 (sinh.f64 x))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 2 (sinh.f64 x)))) 2)) (cbrt.f64 (log.f64 (.f64 2 (sinh.f64 x)))))
(sqrt.f64 (*.f64 4 (pow.f64 (sinh.f64 x) 2)))
(log.f64 (pow.f64 (exp.f64 2) (sinh.f64 x)))
(cbrt.f64 (pow.f64 (*.f64 2 (sinh.f64 x)) 3))
(expm1.f64 (log1p.f64 (*.f64 2 (sinh.f64 x))))
(log1p.f64 (expm1.f64 (*.f64 2 (sinh.f64 x))))
(-.f64 (+.f64 1 (sinh.f64 x)) 1)
(-.f64 (/.f64 (exp.f64 x) 2) (/.f64 (exp.f64 (neg.f64 x)) 2))
(*.f64 (sinh.f64 x) 1)
(.f64 (.f64 2 (sinh.f64 x)) 1/2)
(*.f64 1 (sinh.f64 x))
(*.f64 (cbrt.f64 (sinh.f64 x)) (pow.f64 (cbrt.f64 (sinh.f64 x)) 2))
(*.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2) (cbrt.f64 (sinh.f64 x)))
(*.f64 (sqrt.f64 (sinh.f64 x)) (sqrt.f64 (sinh.f64 x)))
(/.f64 (*.f64 2 (sinh.f64 x)) 2)
(/.f64 1 (/.f64 2 (*.f64 2 (sinh.f64 x))))
(/.f64 (neg.f64 (*.f64 2 (sinh.f64 x))) -2)
(pow.f64 (sinh.f64 x) 1)
(pow.f64 (pow.f64 (sinh.f64 x) 3) 1/3)
(pow.f64 (cbrt.f64 (sinh.f64 x)) 3)
(pow.f64 (sqrt.f64 (sinh.f64 x)) 2)
(sqrt.f64 (pow.f64 (sinh.f64 x) 2))
(log.f64 (exp.f64 (sinh.f64 x)))
(cbrt.f64 (pow.f64 (sinh.f64 x) 3))
(expm1.f64 (log1p.f64 (sinh.f64 x)))
(log1p.f64 (expm1.f64 (sinh.f64 x)))
(exp.f64 (log.f64 (sinh.f64 x)))

Outputs
(+.f64 1 (-.f64 (*.f64 2 (sinh.f64 x)) 1))
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(+.f64 (exp.f64 x) (neg.f64 (exp.f64 (neg.f64 x))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(-.f64 (+.f64 1 (*.f64 2 (sinh.f64 x))) 1)
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(*.f64 2 (sinh.f64 x))
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 (sinh.f64 x) 2)
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(.f64 (.f64 2 (sinh.f64 x)) 1)
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(.f64 1 (.f64 2 (sinh.f64 x)))
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(.f64 (cbrt.f64 (.f64 2 (sinh.f64 x))) (pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 x))) 2))
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(.f64 (pow.f64 (cbrt.f64 (.f64 2 (sinh.f64 x))) 2) (cbrt.f64 (*.f64 2 (sinh.f64 x))))
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2) (.f64 (cbrt.f64 (sinh.f64 x)) 2))
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(.f64 (sqrt.f64 (.f64 2 (sinh.f64 x))) (sqrt.f64 (*.f64 2 (sinh.f64 x))))
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(.f64 (sqrt.f64 (sinh.f64 x)) (.f64 (sqrt.f64 (sinh.f64 x)) 2))
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(.f64 (.f64 2 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2)) (cbrt.f64 (sinh.f64 x)))
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(.f64 (.f64 2 (sqrt.f64 (sinh.f64 x))) (sqrt.f64 (sinh.f64 x)))
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(/.f64 (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 (exp.f64 (neg.f64 x)) 3)) (+.f64 (.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x))) (*.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(/.f64 (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 (exp.f64 (neg.f64 x)) 3)) (+.f64 (exp.f64 (+.f64 x x)) (*.f64 (exp.f64 (neg.f64 x)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(/.f64 (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 (exp.f64 (neg.f64 x)) 3)) (+.f64 1 (+.f64 (exp.f64 (+.f64 x x)) (exp.f64 (*.f64 x -2)))))
(/.f64 (-.f64 (pow.f64 (exp.f64 x) 3) (exp.f64 (*.f64 x -3))) (+.f64 1 (+.f64 (pow.f64 (exp.f64 2) x) (pow.f64 (exp.f64 x) -2))))
(/.f64 (-.f64 (.f64 (exp.f64 x) (exp.f64 x)) (.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (-.f64 (exp.f64 (+.f64 x x)) (exp.f64 (+.f64 (neg.f64 x) (neg.f64 x)))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (-.f64 (exp.f64 (+.f64 x x)) (exp.f64 (*.f64 x -2))) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (-.f64 (pow.f64 (exp.f64 2) x) (pow.f64 (exp.f64 x) -2)) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 (.f64 (.f64 2 (sinh.f64 x)) 2) 2)
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(/.f64 (.f64 2 (.f64 2 (sinh.f64 x))) 2)
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(pow.f64 (*.f64 2 (sinh.f64 x)) 1)
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(pow.f64 (pow.f64 (*.f64 2 (sinh.f64 x)) 3) 1/3)
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(pow.f64 (cbrt.f64 (*.f64 2 (sinh.f64 x))) 3)
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(pow.f64 (sqrt.f64 (*.f64 2 (sinh.f64 x))) 2)
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 2 (sinh.f64 x))))) (sqrt.f64 (log.f64 (.f64 2 (sinh.f64 x)))))
(pow.f64 (exp.f64 1) (log.f64 (*.f64 2 (sinh.f64 x))))
(pow.f64 (E.f64) (log.f64 (*.f64 2 (sinh.f64 x))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 2 (sinh.f64 x)))) 2)) (cbrt.f64 (log.f64 (.f64 2 (sinh.f64 x)))))
(sqrt.f64 (*.f64 4 (pow.f64 (sinh.f64 x) 2)))
(fabs.f64 (*.f64 2 (sinh.f64 x)))
(log.f64 (pow.f64 (exp.f64 2) (sinh.f64 x)))
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(cbrt.f64 (pow.f64 (*.f64 2 (sinh.f64 x)) 3))
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(expm1.f64 (log1p.f64 (*.f64 2 (sinh.f64 x))))
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(log1p.f64 (expm1.f64 (*.f64 2 (sinh.f64 x))))
(+.f64 1 (fma.f64 2 (sinh.f64 x) -1))
(+.f64 (*.f64 2 (sinh.f64 x)) 0)
(*.f64 2 (sinh.f64 x))
(-.f64 (+.f64 1 (sinh.f64 x)) 1)
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(-.f64 (/.f64 (exp.f64 x) 2) (/.f64 (exp.f64 (neg.f64 x)) 2))
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(*.f64 (sinh.f64 x) 1)
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(.f64 (.f64 2 (sinh.f64 x)) 1/2)
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(*.f64 1 (sinh.f64 x))
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(*.f64 (cbrt.f64 (sinh.f64 x)) (pow.f64 (cbrt.f64 (sinh.f64 x)) 2))
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(*.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2) (cbrt.f64 (sinh.f64 x)))
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(*.f64 (sqrt.f64 (sinh.f64 x)) (sqrt.f64 (sinh.f64 x)))
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(/.f64 (*.f64 2 (sinh.f64 x)) 2)
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(/.f64 1 (/.f64 2 (*.f64 2 (sinh.f64 x))))
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(/.f64 (neg.f64 (*.f64 2 (sinh.f64 x))) -2)
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(pow.f64 (sinh.f64 x) 1)
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(pow.f64 (pow.f64 (sinh.f64 x) 3) 1/3)
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(pow.f64 (cbrt.f64 (sinh.f64 x)) 3)
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(pow.f64 (sqrt.f64 (sinh.f64 x)) 2)
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(sqrt.f64 (pow.f64 (sinh.f64 x) 2))
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(log.f64 (exp.f64 (sinh.f64 x)))
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(cbrt.f64 (pow.f64 (sinh.f64 x) 3))
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(expm1.f64 (log1p.f64 (sinh.f64 x)))
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(log1p.f64 (expm1.f64 (sinh.f64 x)))
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(exp.f64 (log.f64 (sinh.f64 x)))
(+.f64 1 (-.f64 (sinh.f64 x) 1))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.0b	(sinh.f64 x)

Compiler

Compiled 15 to 9 computations (40% saved)

eval22.0ms (0.7%)

Compiler: Compiled 1026 to 692 computations (32.6% saved)

prune10.0ms (0.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	89	2	91

Error

Counts

91 → 2

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (*.f64 2 (sinh.f64 x)) 2)
✓	32.0b	(/.f64 (exp.f64 (log.f64 (*.f64 2 (sinh.f64 x)))) 2)

Compiler

Compiled 16 to 14 computations (12.5% saved)

regimes11.0ms (0.3%)

Accuracy

Total -60.4b remaining (-1545640.7%)

Threshold costs -60.4b (-1545640.7%)

Counts

3 → 1

Calls

Call 1

Inputs
(/.f64 (*.f64 2 (sinh.f64 x)) 2)
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(/.f64 (exp.f64 (log.f64 (*.f64 2 (sinh.f64 x)))) 2)

Outputs
(/.f64 (*.f64 2 (sinh.f64 x)) 2)

Calls

3 calls:

6.0ms	x
2.0ms	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
2.0ms	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)`
0.0b	1	`(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))`

Compiler

Compiled 41 to 31 computations (24.4% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	7	9

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(/.f64 (*.f64 2 (sinh.f64 x)) 2)

Outputs
(/.f64 (*.f64 2 (sinh.f64 x)) 2)

Compiler

Compiled 7 to 6 computations (14.3% saved)

soundness74.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

499×	`associate-*l/_binary64`
420×	`associate-*r/_binary64`
307×	`div-sub_binary64`
300×	`distribute-rgt-in_binary64`
262×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	42	163
1	117	155
2	414	153
3	1619	105
4	6597	105

Stop Event

1×	node limit

Compiler

Compiled 67 to 53 computations (20.9% saved)

end14.0ms (0.5%)

Compiler: Compiled 7 to 6 computations (14.3% saved)

Details

analyze4.0ms (0.1%)

sample2.7s (84.7%)

preprocess57.0ms (1.8%)

simplify46.0ms (1.4%)

eval1.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0.3%)

series4.0ms (0.1%)

rewrite29.0ms (0.9%)

simplify41.0ms (1.3%)

eval4.0ms (0.1%)

prune3.0ms (0.1%)

localize13.0ms (0.4%)

series13.0ms (0.4%)

rewrite78.0ms (2.4%)

simplify46.0ms (1.4%)

localize6.0ms (0.2%)

eval22.0ms (0.7%)

prune10.0ms (0.3%)

regimes11.0ms (0.3%)

simplify2.0ms (0.1%)

soundness74.0ms (2.3%)

end14.0ms (0.5%)

Profiling