Details

analyze3.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.8s (82.6%)

Results

2.0s	4118×	body	1024	valid
454.0ms	2052×	body	512	valid
207.0ms	1670×	body	256	valid
172.0ms	416×	body	2048	valid
2.0ms	10×	body	256	infinite

Bogosity

preprocess48.0ms (1.4%)

Algorithm

2×	egg-herbie

Rules

1318×	`associate-/l*`
988×	`distribute-lft-in`
978×	`distribute-rgt-in`
836×	`distribute-lft-neg-in`
810×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	21	25
2	35	25
3	60	25
4	117	25
5	268	25
6	745	25
7	2173	25
8	4843	25
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)

Compiler

Compiled 10 to 8 computations (20% saved)

simplify53.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

1318×	`associate-/l*`
988×	`distribute-lft-in`
978×	`distribute-rgt-in`
836×	`distribute-lft-neg-in`
810×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	21	25
2	35	25
3	60	25
4	117	25
5	268	25
6	745	25
7	2173	25
8	4843	25

Stop Event

1×	node limit

Counts

1 → 3

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)

eval1.0ms (0%)

Compiler: Compiled 25 to 12 computations (52% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

57.7b

Counts

4 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 24 to 8 computations (66.7% saved)

series1.0ms (0%)

Counts

1 → 8

Calls

3 calls:

Time	Variable		Point	Expression
0.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)))

rewrite35.0ms (1%)

Algorithm

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

Rules

180×	`add-sqr-sqrt`
172×	`pow1`
172×	`*-un-lft-identity`
170×	`add-exp-log`
168×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	170	11
2	2644	11
0	8	11

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 (sqrt.f64 (.f64 2 (sinh.f64 x))) (sqrt.f64 (.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 2 (sinh.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 (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 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 exp.f64 (log.f64 (.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.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 (sqrt.f64 (*.f64 2 (sinh.f64 x))) (sqrt.f64 (*.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 2 (sinh.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 (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 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 exp.f64 (log.f64 (*.f64 2 (sinh.f64 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 2 (sinh.f64 x))))))))

simplify83.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

898×	`associate-*r/`
804×	`fma-def`
778×	`*-commutative`
712×	`associate-r`
658×	`associate-*l/`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	66	501
1	179	485
2	576	481
3	2145	353

Stop Event

1×	node limit

Counts

21 → 33

Calls

Call 1

Inputs
(*.f64 2 x)
(+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3)))
(+.f64 (.f64 2 x) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/60 (pow.f64 x 5))))
(+.f64 (.f64 2 x) (+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/60 (pow.f64 x 5)))))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 x) (neg.f64 (exp.f64 (neg.f64 x))))
(.f64 1 (.f64 2 (sinh.f64 x)))
(.f64 (sqrt.f64 (.f64 2 (sinh.f64 x))) (sqrt.f64 (*.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 2 (sinh.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 (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))))))
(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))))
(exp.f64 (log.f64 (*.f64 2 (sinh.f64 x))))
(log1p.f64 (expm1.f64 (*.f64 2 (sinh.f64 x))))

Outputs
(*.f64 2 x)
(+.f64 x x)
(+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3)))
(fma.f64 2 x (*.f64 1/3 (pow.f64 x 3)))
(fma.f64 1/3 (pow.f64 x 3) (+.f64 x x))
(.f64 x (fma.f64 x (.f64 x 1/3) 2))
(+.f64 (.f64 2 x) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/60 (pow.f64 x 5))))
(fma.f64 2 x (fma.f64 1/3 (pow.f64 x 3) (*.f64 1/60 (pow.f64 x 5))))
(fma.f64 1/3 (pow.f64 x 3) (fma.f64 1/60 (pow.f64 x 5) (+.f64 x x)))
(+.f64 (fma.f64 1/60 (pow.f64 x 5) x) (fma.f64 1/3 (pow.f64 x 3) x))
(+.f64 (.f64 2 x) (+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/60 (pow.f64 x 5)))))
(fma.f64 2 x (fma.f64 1/3 (pow.f64 x 3) (fma.f64 1/2520 (pow.f64 x 7) (*.f64 1/60 (pow.f64 x 5)))))
(fma.f64 2 x (fma.f64 1/3 (pow.f64 x 3) (fma.f64 1/60 (pow.f64 x 5) (*.f64 1/2520 (pow.f64 x 7)))))
(fma.f64 x (fma.f64 x (.f64 x 1/3) 2) (fma.f64 1/60 (pow.f64 x 5) (.f64 1/2520 (pow.f64 x 7))))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 2 (sinh.f64 x))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 2 (sinh.f64 x))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 2 (sinh.f64 x))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.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 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 (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 (.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 2 (sinh.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 (exp.f64 x) (exp.f64 (neg.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 (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 x) 2) (pow.f64 (exp.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 -2) 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))
(exp.f64 (log.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))

eval10.0ms (0.3%)

Compiler: Compiled 479 to 318 computations (33.6% saved)

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	31	2	33
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	32	2	34

Error

0.0b

Counts

34 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	1.5b	(/.f64 (+.f64 x x) 2)
▶	0.0b	(/.f64 (*.f64 2 (sinh.f64 x)) 2)

Compiler

Compiled 13 to 10 computations (23.1% saved)

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)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite73.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1016×	`associate-r`
846×	`add-sqr-sqrt`
830×	`*-un-lft-identity`
788×	`pow1`
774×	`add-cube-cbrt`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	5
1	83	5
2	1022	5

Stop Event

1×	node limit

Counts

1 → 31

Calls

Call 1

Inputs
(sinh.f64 x)

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

Outputs

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

simplify53.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

704×	`associate-+l-`
606×	`distribute-lft-neg-in`
590×	`associate-*r/`
544×	`associate-+r-`
528×	`unswap-sqr`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	96	785
1	226	617
2	980	589
3	5174	589

Stop Event

1×	node limit

Counts

43 → 52

Calls

Call 1

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

Outputs
x
(+.f64 (*.f64 1/6 (pow.f64 x 3)) x)
(fma.f64 1/6 (pow.f64 x 3) x)
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/120 (pow.f64 x 5)) x))
(fma.f64 1/6 (pow.f64 x 3) (fma.f64 1/120 (pow.f64 x 5) x))
(+.f64 (.f64 1/6 (pow.f64 x 3)) (+.f64 (.f64 1/5040 (pow.f64 x 7)) (+.f64 (*.f64 1/120 (pow.f64 x 5)) x)))
(fma.f64 1/6 (pow.f64 x 3) (fma.f64 1/5040 (pow.f64 x 7) (fma.f64 1/120 (pow.f64 x 5) x)))
(fma.f64 1/6 (pow.f64 x 3) (fma.f64 1/120 (pow.f64 x 5) (fma.f64 1/5040 (pow.f64 x 7) x)))
(*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))
(*.f64 1/2 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(fma.f64 1/2 (exp.f64 x) (/.f64 -1/2 (exp.f64 x)))
(*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))
(*.f64 1/2 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(fma.f64 1/2 (exp.f64 x) (/.f64 -1/2 (exp.f64 x)))
(*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))
(*.f64 1/2 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(fma.f64 1/2 (exp.f64 x) (/.f64 -1/2 (exp.f64 x)))
(*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))
(*.f64 1/2 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(fma.f64 1/2 (exp.f64 x) (/.f64 -1/2 (exp.f64 x)))
(*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))
(*.f64 1/2 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(fma.f64 1/2 (exp.f64 x) (/.f64 -1/2 (exp.f64 x)))
(*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))
(*.f64 1/2 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(fma.f64 1/2 (exp.f64 x) (/.f64 -1/2 (exp.f64 x)))
(*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))
(*.f64 1/2 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(fma.f64 1/2 (exp.f64 x) (/.f64 -1/2 (exp.f64 x)))
(*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))
(*.f64 1/2 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(fma.f64 1/2 (exp.f64 x) (/.f64 -1/2 (exp.f64 x)))
(-.f64 (+.f64 (sinh.f64 x) 1) 1)
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(-.f64 (/.f64 (exp.f64 x) 2) (/.f64 (exp.f64 (neg.f64 x)) 2))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(*.f64 (sinh.f64 x) 1)
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(*.f64 1 (sinh.f64 x))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(*.f64 (sqrt.f64 (sinh.f64 x)) (sqrt.f64 (sinh.f64 x)))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(*.f64 (cbrt.f64 (sinh.f64 x)) (pow.f64 (cbrt.f64 (sinh.f64 x)) 2))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(*.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2) (cbrt.f64 (sinh.f64 x)))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(.f64 (.f64 (sinh.f64 x) 2) 1/2)
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(.f64 1/2 (.f64 (sinh.f64 x) 2))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(.f64 (.f64 (sqrt.f64 (sinh.f64 x)) (sqrt.f64 (sqrt.f64 (sinh.f64 x)))) (sqrt.f64 (sqrt.f64 (sinh.f64 x))))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(.f64 (.f64 (sqrt.f64 (sinh.f64 x)) (cbrt.f64 (sinh.f64 x))) (cbrt.f64 (sqrt.f64 (sinh.f64 x))))
(.f64 (sqrt.f64 (sinh.f64 x)) (.f64 (cbrt.f64 (sinh.f64 x)) (cbrt.f64 (sqrt.f64 (sinh.f64 x)))))
(.f64 (.f64 (cbrt.f64 (sqrt.f64 (sinh.f64 x))) (sqrt.f64 (sinh.f64 x))) (cbrt.f64 (sinh.f64 x)))
(.f64 (.f64 (sqrt.f64 (sinh.f64 x)) (sqrt.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2))) (sqrt.f64 (cbrt.f64 (sinh.f64 x))))
(.f64 (sqrt.f64 (sinh.f64 x)) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2)) (sqrt.f64 (cbrt.f64 (sinh.f64 x)))))
(.f64 (sqrt.f64 (sinh.f64 x)) (.f64 (fabs.f64 (cbrt.f64 (sinh.f64 x))) (sqrt.f64 (cbrt.f64 (sinh.f64 x)))))
(*.f64 (sqrt.f64 (sinh.f64 x)) (pow.f64 (sqrt.f64 (cbrt.f64 (sinh.f64 x))) 3))
(.f64 (.f64 (cbrt.f64 (sinh.f64 x)) (sqrt.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2))) (sqrt.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2)))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(.f64 (.f64 (cbrt.f64 (sinh.f64 x)) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2)))) (cbrt.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2)))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(.f64 (.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2) (sqrt.f64 (cbrt.f64 (sinh.f64 x)))) (sqrt.f64 (cbrt.f64 (sinh.f64 x))))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(.f64 (.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2))) (cbrt.f64 (cbrt.f64 (sinh.f64 x))))
(.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2)) (cbrt.f64 (cbrt.f64 (sinh.f64 x)))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2) (cbrt.f64 (sqrt.f64 (sinh.f64 x)))) (cbrt.f64 (sqrt.f64 (sinh.f64 x))))
(.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2) (.f64 (cbrt.f64 (sqrt.f64 (sinh.f64 x))) (cbrt.f64 (sqrt.f64 (sinh.f64 x)))))
(.f64 (cbrt.f64 (sqrt.f64 (sinh.f64 x))) (.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2) (cbrt.f64 (sqrt.f64 (sinh.f64 x)))))
(.f64 (.f64 (pow.f64 (cbrt.f64 (sinh.f64 x)) 2) (*.f64 (cbrt.f64 (cbrt.f64 (sinh.f64 x))) (cbrt.f64 (cbrt.f64 (sinh.f64 x))))) (cbrt.f64 (cbrt.f64 (sinh.f64 x))))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(/.f64 1 (/.f64 2 (*.f64 (sinh.f64 x) 2)))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(/.f64 (*.f64 (sinh.f64 x) 2) 2)
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(/.f64 (neg.f64 (*.f64 (sinh.f64 x) 2)) -2)
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(pow.f64 (sinh.f64 x) 1)
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(pow.f64 (sqrt.f64 (sinh.f64 x)) 2)
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(pow.f64 (cbrt.f64 (sinh.f64 x)) 3)
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(pow.f64 (pow.f64 (sinh.f64 x) 3) 1/3)
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(sqrt.f64 (pow.f64 (sinh.f64 x) 2))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(log.f64 (exp.f64 (sinh.f64 x)))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(cbrt.f64 (pow.f64 (sinh.f64 x) 3))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(expm1.f64 (log1p.f64 (sinh.f64 x)))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(exp.f64 (log.f64 (sinh.f64 x)))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)
(log1p.f64 (expm1.f64 (sinh.f64 x)))
(+.f64 (sinh.f64 x) 0)
(sinh.f64 x)

localize4.0ms (0.1%)

Compiler: Compiled 11 to 5 computations (54.5% saved)

eval15.0ms (0.4%)

Compiler: Compiled 714 to 445 computations (37.7% saved)

prune7.0ms (0.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	52	0	52
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	52	2	54

Error

0.0b

Counts

54 → 2

Alt Table

Click to see full alt table

Status	Error	Program
✓	1.5b	(/.f64 (+.f64 x x) 2)
✓	0.0b	(/.f64 (*.f64 2 (sinh.f64 x)) 2)

Compiler

Compiled 13 to 10 computations (23.1% saved)

regimes9.0ms (0.3%)

Accuracy

Total -59.0b remaining (-1510667.5%)

Threshold costs -59.0b (-1510667.5%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

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 38 to 28 computations (26.3% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	30
1	11	30

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 13 to 10 computations (23.1% saved)

soundness164.0ms (4.8%)

Algorithm

2×	egg-herbie

Rules

898×	`associate-*r/`
898×	`associate-*r/`
804×	`fma-def`
804×	`fma-def`
778×	`*-commutative`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	66	501
1	179	485
2	576	481
3	2145	353
0	66	501
1	179	485
2	576	481
3	2145	353

Stop Event

1×	node limit
1×	node limit

Compiler

Compiled 115 to 66 computations (42.6% saved)

end16.0ms (0.5%)

Compiler: Compiled 12 to 9 computations (25% saved)

Details

analyze3.0ms (0.1%)

sample2.8s (82.6%)

preprocess48.0ms (1.4%)

simplify53.0ms (1.5%)

eval1.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0.2%)

series1.0ms (0%)

rewrite35.0ms (1%)

simplify83.0ms (2.4%)

eval10.0ms (0.3%)

prune4.0ms (0.1%)

localize6.0ms (0.2%)

series2.0ms (0%)

rewrite73.0ms (2.1%)

simplify53.0ms (1.5%)

localize4.0ms (0.1%)

eval15.0ms (0.4%)

prune7.0ms (0.2%)

regimes9.0ms (0.3%)

simplify4.0ms (0.1%)

soundness164.0ms (4.8%)

end16.0ms (0.5%)

Profiling