Details

analyze4.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
50%	12.5%	37.5%	5
50%	6.2%	43.8%	6
50%	3.1%	46.9%	7
50%	1.6%	48.5%	8
50%	0.8%	49.2%	9
50.4%	0.4%	49.2%	10
50.4%	0.2%	49.4%	11
50.4%	0.1%	49.5%	12

Compiler

Compiled 10 to 8 computations (20% saved)

sample2.6s (56.3%)

Results

1.7s	4105×	body	1024	valid
464.0ms	2054×	body	512	valid
205.0ms	435×	body	2048	valid
204.0ms	1662×	body	256	valid
2.0ms	15×	body	256	invalid

preprocess62.0ms (1.4%)

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)

simplify50.0ms (1.1%)

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 → 2

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 17 to 11 computations (35.3% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

58.1b

Counts

3 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	6.1b	(-.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
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)))

rewrite33.0ms (0.7%)

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

simplify64.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

700×	`fma-def_binary64`
676×	`unswap-sqr_binary64`
322×	`associate-l_binary64`
309×	`associate-*l/_binary64`
268×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	98
1	68	98
2	151	98
3	391	98
4	739	98
5	1651	98
6	2555	98
7	4148	98
8	7098	98

Stop Event

1×	node limit

Counts

21 → 22

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

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

eval7.0ms (0.1%)

Compiler: Compiled 286 to 189 computations (33.9% saved)

prune5.0ms (0.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	18	4	22
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	19	4	23

Error

Counts

23 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	41.5b	(/.f64 (cbrt.f64 (.f64 (.f64 (.f64 2 (sinh.f64 x)) (.f64 2 (sinh.f64 x))) (*.f64 2 (sinh.f64 x)))) 2)
▶	0.6b	(/.f64 (.f64 x (fma.f64 x (.f64 x 1/3) 2)) 2)
▶	0.9b	(/.f64 (*.f64 2 x) 2)
▶	0.0b	(/.f64 (*.f64 2 (sinh.f64 x)) 2)

Compiler

Compiled 42 to 32 computations (23.8% saved)

localize24.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (.f64 2 (sinh.f64 x)) (*.f64 2 (sinh.f64 x)))
✓	0.0b	(sinh.f64 x)
✓	0.1b	(.f64 (.f64 (.f64 2 (sinh.f64 x)) (.f64 2 (sinh.f64 x))) (*.f64 2 (sinh.f64 x)))
✓	41.6b	(cbrt.f64 (.f64 (.f64 (.f64 2 (sinh.f64 x)) (.f64 2 (sinh.f64 x))) (*.f64 2 (sinh.f64 x))))

Compiler

Compiled 64 to 38 computations (40.6% saved)

series11.0ms (0.2%)

Counts

4 → 48

Calls

12 calls:

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

rewrite63.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

661×	`pow1_binary64`
620×	`add-log-exp_binary64`
618×	`log1p-expm1-u_binary64`
618×	`expm1-log1p-u_binary64`
604×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	27
1	163	27
2	1816	27

Stop Event

1×	node limit

Counts

4 → 81

Calls

Call 1

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

simplify66.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

554×	`distribute-lft-out_binary64`
535×	`unsub-neg_binary64`
454×	`unswap-sqr_binary64`
420×	`fma-def_binary64`
368×	`*-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	75	636
1	196	636
2	494	628
3	1609	628
4	2648	628
5	6507	628

Stop Event

1×	node limit

Counts

129 → 119

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) (/.f64 1 (exp.f64 x)))
(-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x)))
(-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x)))
(-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x)))
(-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x)))
(-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x)))
(-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x)))
(-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x)))
(*.f64 8 (pow.f64 x 3))
(+.f64 (.f64 4 (pow.f64 x 5)) (.f64 8 (pow.f64 x 3)))
(+.f64 (.f64 4 (pow.f64 x 5)) (+.f64 (.f64 8 (pow.f64 x 3)) (*.f64 13/15 (pow.f64 x 7))))
(+.f64 (.f64 4 (pow.f64 x 5)) (+.f64 (.f64 8 (pow.f64 x 3)) (+.f64 (.f64 13/15 (pow.f64 x 7)) (.f64 41/378 (pow.f64 x 9)))))
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 3)
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 4 (pow.f64 x 2))
(+.f64 (.f64 4 (pow.f64 x 2)) (.f64 4/3 (pow.f64 x 4)))
(+.f64 (.f64 4 (pow.f64 x 2)) (+.f64 (.f64 4/3 (pow.f64 x 4)) (*.f64 8/45 (pow.f64 x 6))))
(+.f64 (.f64 4 (pow.f64 x 2)) (+.f64 (.f64 4/3 (pow.f64 x 4)) (+.f64 (.f64 4/315 (pow.f64 x 8)) (.f64 8/45 (pow.f64 x 6)))))
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 2)

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 2 x))
(fma.f64 1/3 (pow.f64 x 3) (+.f64 x x))
(+.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 2 x)))
(fma.f64 1/3 (pow.f64 x 3) (fma.f64 1/60 (pow.f64 x 5) (+.f64 x 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 2 x (fma.f64 1/60 (pow.f64 x 5) (fma.f64 1/3 (pow.f64 x 3) (*.f64 1/2520 (pow.f64 x 7)))))
(-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 8 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) 8)
(+.f64 (.f64 4 (pow.f64 x 5)) (.f64 8 (pow.f64 x 3)))
(fma.f64 4 (pow.f64 x 5) (*.f64 (pow.f64 x 3) 8))
(fma.f64 (pow.f64 x 3) 8 (*.f64 (pow.f64 x 5) 4))
(+.f64 (.f64 4 (pow.f64 x 5)) (+.f64 (.f64 8 (pow.f64 x 3)) (*.f64 13/15 (pow.f64 x 7))))
(fma.f64 4 (pow.f64 x 5) (fma.f64 8 (pow.f64 x 3) (*.f64 (pow.f64 x 7) 13/15)))
(fma.f64 (pow.f64 x 5) 4 (fma.f64 (pow.f64 x 3) 8 (*.f64 (pow.f64 x 7) 13/15)))
(fma.f64 (pow.f64 x 3) 8 (fma.f64 (pow.f64 x 5) 4 (*.f64 (pow.f64 x 7) 13/15)))
(+.f64 (.f64 4 (pow.f64 x 5)) (+.f64 (.f64 8 (pow.f64 x 3)) (+.f64 (.f64 13/15 (pow.f64 x 7)) (.f64 41/378 (pow.f64 x 9)))))
(fma.f64 4 (pow.f64 x 5) (fma.f64 8 (pow.f64 x 3) (fma.f64 13/15 (pow.f64 x 7) (*.f64 41/378 (pow.f64 x 9)))))
(fma.f64 (pow.f64 x 5) 4 (fma.f64 (pow.f64 x 3) 8 (fma.f64 41/378 (pow.f64 x 9) (*.f64 (pow.f64 x 7) 13/15))))
(fma.f64 (pow.f64 x 5) 4 (fma.f64 (pow.f64 x 3) 8 (fma.f64 (pow.f64 x 7) 13/15 (*.f64 41/378 (pow.f64 x 9)))))
(fma.f64 (pow.f64 x 3) 8 (fma.f64 (pow.f64 x 5) 4 (fma.f64 (pow.f64 x 7) 13/15 (*.f64 41/378 (pow.f64 x 9)))))
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 3)
(pow.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 3)
x
(+.f64 (*.f64 1/6 (pow.f64 x 3)) x)
(fma.f64 1/6 (pow.f64 x 3) x)
(fma.f64 (pow.f64 x 3) 1/6 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))
(fma.f64 (pow.f64 x 3) 1/6 (fma.f64 (pow.f64 x 5) 1/120 x))
(fma.f64 (pow.f64 x 5) 1/120 (fma.f64 (pow.f64 x 3) 1/6 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 (pow.f64 x 3) 1/6 (fma.f64 (pow.f64 x 7) 1/5040 (fma.f64 (pow.f64 x 5) 1/120 x)))
(fma.f64 (pow.f64 x 7) 1/5040 (fma.f64 (pow.f64 x 5) 1/120 (fma.f64 (pow.f64 x 3) 1/6 x)))
(fma.f64 (pow.f64 x 3) 1/6 (fma.f64 (pow.f64 x 5) 1/120 (fma.f64 (pow.f64 x 7) 1/5040 x)))
(*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))
(*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2)
(fma.f64 (exp.f64 x) 1/2 (/.f64 -1/2 (exp.f64 x)))
(*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))
(*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2)
(fma.f64 (exp.f64 x) 1/2 (/.f64 -1/2 (exp.f64 x)))
(*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))
(*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2)
(fma.f64 (exp.f64 x) 1/2 (/.f64 -1/2 (exp.f64 x)))
(*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))
(*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2)
(fma.f64 (exp.f64 x) 1/2 (/.f64 -1/2 (exp.f64 x)))
(*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))
(*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2)
(fma.f64 (exp.f64 x) 1/2 (/.f64 -1/2 (exp.f64 x)))
(*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))
(*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2)
(fma.f64 (exp.f64 x) 1/2 (/.f64 -1/2 (exp.f64 x)))
(*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))
(*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2)
(fma.f64 (exp.f64 x) 1/2 (/.f64 -1/2 (exp.f64 x)))
(*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))
(*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2)
(fma.f64 (exp.f64 x) 1/2 (/.f64 -1/2 (exp.f64 x)))
(*.f64 4 (pow.f64 x 2))
(.f64 4 (.f64 x x))
(.f64 x (.f64 x 4))
(+.f64 (.f64 4 (pow.f64 x 2)) (.f64 4/3 (pow.f64 x 4)))
(fma.f64 4 (.f64 x x) (.f64 4/3 (pow.f64 x 4)))
(fma.f64 x (.f64 x 4) (.f64 4/3 (pow.f64 x 4)))
(fma.f64 4/3 (pow.f64 x 4) (.f64 x (.f64 x 4)))
(+.f64 (.f64 4 (pow.f64 x 2)) (+.f64 (.f64 4/3 (pow.f64 x 4)) (*.f64 8/45 (pow.f64 x 6))))
(fma.f64 4 (.f64 x x) (fma.f64 4/3 (pow.f64 x 4) (.f64 8/45 (pow.f64 x 6))))
(fma.f64 4 (.f64 x x) (fma.f64 8/45 (pow.f64 x 6) (.f64 4/3 (pow.f64 x 4))))
(fma.f64 x (.f64 x 4) (fma.f64 4/3 (pow.f64 x 4) (.f64 8/45 (pow.f64 x 6))))
(fma.f64 4/3 (pow.f64 x 4) (fma.f64 8/45 (pow.f64 x 6) (.f64 x (.f64 x 4))))
(fma.f64 4/3 (pow.f64 x 4) (fma.f64 x (.f64 x 4) (.f64 8/45 (pow.f64 x 6))))
(+.f64 (.f64 4 (pow.f64 x 2)) (+.f64 (.f64 4/3 (pow.f64 x 4)) (+.f64 (.f64 4/315 (pow.f64 x 8)) (.f64 8/45 (pow.f64 x 6)))))
(fma.f64 4 (.f64 x x) (fma.f64 4/3 (pow.f64 x 4) (fma.f64 4/315 (pow.f64 x 8) (.f64 8/45 (pow.f64 x 6)))))
(fma.f64 4 (.f64 x x) (fma.f64 4/3 (pow.f64 x 4) (fma.f64 8/45 (pow.f64 x 6) (.f64 4/315 (pow.f64 x 8)))))
(fma.f64 x (.f64 x 4) (fma.f64 4/3 (pow.f64 x 4) (fma.f64 8/45 (pow.f64 x 6) (.f64 4/315 (pow.f64 x 8)))))
(fma.f64 x (.f64 x 4) (fma.f64 8/45 (pow.f64 x 6) (fma.f64 4/3 (pow.f64 x 4) (.f64 4/315 (pow.f64 x 8)))))
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))) 2)
(pow.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)

localize5.0ms (0.1%)

Compiler: Compiled 11 to 8 computations (27.3% saved)

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

localize14.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 x (fma.f64 x (.f64 x 1/3) 2))
✓	0.4b	(*.f64 x 1/3)

Compiler

Compiled 31 to 21 computations (32.3% saved)

series5.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	(*.f64 x 1/3)
1.0ms	x	@	-inf	(.f64 x (fma.f64 x (.f64 x 1/3) 2))
1.0ms	x	@	inf	(.f64 x (fma.f64 x (.f64 x 1/3) 2))
1.0ms	x	@	0	(.f64 x (fma.f64 x (.f64 x 1/3) 2))
1.0ms	x	@	0	(*.f64 x 1/3)

rewrite54.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

641×	`pow1_binary64`
593×	`add-log-exp_binary64`
593×	`log1p-expm1-u_binary64`
593×	`expm1-log1p-u_binary64`
582×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	15
1	142	15
2	1588	15

Stop Event

1×	node limit

Counts

2 → 24

Calls

Call 1

Inputs
(*.f64 x 1/3)
(.f64 x (fma.f64 x (.f64 x 1/3) 2))

Outputs

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

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

simplify168.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

1274×	`sqr-pow_binary64`
666×	`pow-sqr_binary64`
529×	`cube-prod_binary64`
466×	`fabs-mul_binary64`
444×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	165
1	22	165
2	40	165
3	79	165
4	147	165
5	372	165
6	1236	165
7	1944	165
8	2031	165
9	2164	165
10	2322	165
11	2563	165
12	2885	165
13	3308	165
14	3811	165
15	4411	165
16	5129	165
17	5450	165
18	5734	165
19	5954	165
20	6132	165
21	6212	165
22	7152	165

Stop Event

1×	node limit

Counts

48 → 30

Calls

Call 1

Inputs
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 2 x)
(+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3)))
(+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3)))
(+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3)))
(*.f64 1/3 (pow.f64 x 3))
(+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3)))
(+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3)))
(+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3)))
(*.f64 1/3 (pow.f64 x 3))
(+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3)))
(+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3)))
(+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3)))

Outputs
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 1/3 x)
(*.f64 2 x)
(*.f64 x 2)
(+.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 2))
(.f64 x (fma.f64 1/3 (.f64 x x) 2))
(.f64 x (fma.f64 x (.f64 1/3 x) 2))
(+.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 2))
(.f64 x (fma.f64 1/3 (.f64 x x) 2))
(.f64 x (fma.f64 x (.f64 1/3 x) 2))
(+.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 2))
(.f64 x (fma.f64 1/3 (.f64 x x) 2))
(.f64 x (fma.f64 x (.f64 1/3 x) 2))
(*.f64 1/3 (pow.f64 x 3))
(+.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 2))
(.f64 x (fma.f64 1/3 (.f64 x x) 2))
(.f64 x (fma.f64 x (.f64 1/3 x) 2))
(+.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 2))
(.f64 x (fma.f64 1/3 (.f64 x x) 2))
(.f64 x (fma.f64 x (.f64 1/3 x) 2))
(+.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 2))
(.f64 x (fma.f64 1/3 (.f64 x x) 2))
(.f64 x (fma.f64 x (.f64 1/3 x) 2))
(*.f64 1/3 (pow.f64 x 3))
(+.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 2))
(.f64 x (fma.f64 1/3 (.f64 x x) 2))
(.f64 x (fma.f64 x (.f64 1/3 x) 2))
(+.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 2))
(.f64 x (fma.f64 1/3 (.f64 x x) 2))
(.f64 x (fma.f64 x (.f64 1/3 x) 2))
(+.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 2))
(.f64 x (fma.f64 1/3 (.f64 x x) 2))
(.f64 x (fma.f64 x (.f64 1/3 x) 2))

eval122.0ms (2.7%)

Compiler: Compiled 3899 to 2753 computations (29.4% saved)

prune59.0ms (1.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Error

Counts

243 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.9b	(/.f64 (*.f64 2 x) 2)
✓	0.0b	(/.f64 (*.f64 2 (sinh.f64 x)) 2)
▶	0.3b	(/.f64 (*.f64 2 (expm1.f64 (log1p.f64 (sinh.f64 x)))) 2)
▶	0.6b	(/.f64 (+.f64 (.f64 (.f64 x (.f64 x 1/3)) x) (.f64 2 x)) 2)

Compiler

Compiled 36 to 29 computations (19.4% saved)

localize20.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(expm1.f64 (log1p.f64 (sinh.f64 x)))
✓	0.0b	(log1p.f64 (sinh.f64 x))
	0.0b	(sinh.f64 x)

Compiler

Compiled 26 to 11 computations (57.7% saved)

series102.0ms (2.3%)

Counts

2 → 24

Calls

6 calls:

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

rewrite78.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

399×	`pow1_binary64`
387×	`add-sqr-sqrt_binary64`
379×	`*-un-lft-identity_binary64`
371×	`add-log-exp_binary64`
370×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	82	8
2	990	8

Stop Event

1×	node limit

Counts

2 → 66

Calls

Call 1

Inputs
(log1p.f64 (sinh.f64 x))
(expm1.f64 (log1p.f64 (sinh.f64 x)))

Outputs

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

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

simplify94.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

517×	`fma-neg_binary64`
511×	`distribute-lft-out_binary64`
471×	`fma-def_binary64`
301×	`*-commutative_binary64`
262×	`sqr-pow_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	39	316
1	101	316
2	244	300
3	725	294
4	1990	294
5	3322	294
6	4405	294
7	6375	294

Stop Event

1×	node limit

Counts

90 → 83

Calls

Call 1

Inputs
x
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) x)
(+.f64 (.f64 1/2 (pow.f64 x 3)) (+.f64 (.f64 -1/2 (pow.f64 x 2)) x))
(+.f64 (.f64 -5/12 (pow.f64 x 4)) (+.f64 (.f64 1/2 (pow.f64 x 3)) (+.f64 (*.f64 -1/2 (pow.f64 x 2)) x)))
(log.f64 (+.f64 1 (*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))))
(log.f64 (+.f64 1 (*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))))
(log.f64 (+.f64 1 (*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))))
(log.f64 (+.f64 1 (*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))))
(log.f64 (+.f64 1 (*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))))
(log.f64 (+.f64 1 (*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))))
(log.f64 (+.f64 1 (*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))))
(log.f64 (+.f64 1 (*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))))
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))))

Outputs
x
(+.f64 (*.f64 -1/2 (pow.f64 x 2)) x)
(fma.f64 -1/2 (*.f64 x x) x)
(fma.f64 x (*.f64 x -1/2) x)
(+.f64 (.f64 1/2 (pow.f64 x 3)) (+.f64 (.f64 -1/2 (pow.f64 x 2)) x))
(fma.f64 1/2 (pow.f64 x 3) (fma.f64 -1/2 (*.f64 x x) x))
(fma.f64 x (*.f64 x -1/2) (fma.f64 1/2 (pow.f64 x 3) x))
(fma.f64 x (*.f64 x (fma.f64 x 1/2 -1/2)) x)
(+.f64 (.f64 -5/12 (pow.f64 x 4)) (+.f64 (.f64 1/2 (pow.f64 x 3)) (+.f64 (*.f64 -1/2 (pow.f64 x 2)) x)))
(fma.f64 -5/12 (pow.f64 x 4) (fma.f64 1/2 (pow.f64 x 3) (fma.f64 -1/2 (*.f64 x x) x)))
(fma.f64 1/2 (pow.f64 x 3) (fma.f64 -5/12 (pow.f64 x 4) (fma.f64 -1/2 (*.f64 x x) x)))
(fma.f64 x (*.f64 x (fma.f64 x 1/2 -1/2)) (fma.f64 -5/12 (pow.f64 x 4) x))
(log.f64 (+.f64 1 (*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))))
(log1p.f64 (*.f64 1/2 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(log1p.f64 (fma.f64 1/2 (exp.f64 x) (/.f64 -1/2 (exp.f64 x))))
(log.f64 (+.f64 1 (*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))))
(log1p.f64 (*.f64 1/2 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(log1p.f64 (fma.f64 1/2 (exp.f64 x) (/.f64 -1/2 (exp.f64 x))))
(log.f64 (+.f64 1 (*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))))
(log1p.f64 (*.f64 1/2 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(log1p.f64 (fma.f64 1/2 (exp.f64 x) (/.f64 -1/2 (exp.f64 x))))
(log.f64 (+.f64 1 (*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))))
(log1p.f64 (*.f64 1/2 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(log1p.f64 (fma.f64 1/2 (exp.f64 x) (/.f64 -1/2 (exp.f64 x))))
(log.f64 (+.f64 1 (*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))))
(log1p.f64 (*.f64 1/2 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(log1p.f64 (fma.f64 1/2 (exp.f64 x) (/.f64 -1/2 (exp.f64 x))))
(log.f64 (+.f64 1 (*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))))
(log1p.f64 (*.f64 1/2 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(log1p.f64 (fma.f64 1/2 (exp.f64 x) (/.f64 -1/2 (exp.f64 x))))
(log.f64 (+.f64 1 (*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))))
(log1p.f64 (*.f64 1/2 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(log1p.f64 (fma.f64 1/2 (exp.f64 x) (/.f64 -1/2 (exp.f64 x))))
(log.f64 (+.f64 1 (*.f64 1/2 (-.f64 (exp.f64 x) (/.f64 1 (exp.f64 x))))))
(log1p.f64 (*.f64 1/2 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))))
(log1p.f64 (fma.f64 1/2 (exp.f64 x) (/.f64 -1/2 (exp.f64 x))))
x
(+.f64 (*.f64 1/6 (pow.f64 x 3)) x)
(fma.f64 1/6 (pow.f64 x 3) x)
(fma.f64 (pow.f64 x 3) 1/6 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))
(fma.f64 (pow.f64 x 3) 1/6 (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 (pow.f64 x 3) 1/6 (fma.f64 1/5040 (pow.f64 x 7) (fma.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) (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)))

localize36.0ms (0.8%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 x (*.f64 x 1/3)) x)
✓	0.1b	(.f64 x (.f64 x 1/3))
	0.4b	(*.f64 x 1/3)

Compiler

Compiled 46 to 30 computations (34.8% saved)

series5.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(.f64 x (.f64 x 1/3))
1.0ms	x	@	0	(.f64 (.f64 x (*.f64 x 1/3)) x)
1.0ms	x	@	inf	(.f64 x (.f64 x 1/3))
1.0ms	x	@	inf	(.f64 (.f64 x (*.f64 x 1/3)) x)
1.0ms	x	@	-inf	(.f64 (.f64 x (*.f64 x 1/3)) x)

rewrite76.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

548×	`pow1_binary64`
526×	`add-sqr-sqrt_binary64`
505×	`add-log-exp_binary64`
505×	`log1p-expm1-u_binary64`
505×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	17
1	122	14
2	1400	14

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

Inputs
(.f64 x (.f64 x 1/3))
(.f64 (.f64 x (*.f64 x 1/3)) x)

Outputs

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

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

simplify178.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

1208×	`sqr-pow_binary64`
564×	`cube-prod_binary64`
537×	`fabs-mul_binary64`
536×	`unswap-sqr_binary64`
502×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	168
1	23	168
2	48	168
3	105	168
4	296	168
5	1235	168
6	2405	168
7	2571	168
8	2821	168
9	3108	168
10	3487	168
11	3993	168
12	4591	168
13	5301	168
14	5768	168
15	6093	168
16	6367	168
17	6537	168
18	6631	168
19	7308	168

Stop Event

1×	node limit

Counts

46 → 25

Calls

Call 1

Inputs
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))

Outputs
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))
(*.f64 1/3 (pow.f64 x 3))

eval54.0ms (1.2%)

Compiler: Compiled 2077 to 1533 computations (26.2% saved)

prune35.0ms (0.8%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	149	1	150
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	149	5	154

Error

Counts

154 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.9b	(/.f64 (*.f64 2 x) 2)
✓	0.0b	(/.f64 (*.f64 2 (sinh.f64 x)) 2)
✓	0.3b	(/.f64 (*.f64 2 (expm1.f64 (log1p.f64 (sinh.f64 x)))) 2)
✓	0.6b	(/.f64 (+.f64 (.f64 (.f64 x (.f64 x 1/3)) x) (.f64 2 x)) 2)
▶	0.6b	(/.f64 (+.f64 (.f64 (-.f64 (+.f64 1 (.f64 x (.f64 x 1/3))) 1) x) (.f64 2 x)) 2)

Compiler

Compiled 54 to 43 computations (20.4% saved)

localize56.0ms (1.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 1 (.f64 x (.f64 x 1/3)))
	0.1b	(.f64 x (.f64 x 1/3))
	0.4b	(*.f64 x 1/3)
✓	3.3b	(-.f64 (+.f64 1 (.f64 x (.f64 x 1/3))) 1)

Compiler

Compiled 75 to 55 computations (26.7% saved)

series3.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	inf	(-.f64 (+.f64 1 (.f64 x (.f64 x 1/3))) 1)
1.0ms	x	@	0	(-.f64 (+.f64 1 (.f64 x (.f64 x 1/3))) 1)
0.0ms	x	@	inf	(+.f64 1 (.f64 x (.f64 x 1/3)))
0.0ms	x	@	-inf	(+.f64 1 (.f64 x (.f64 x 1/3)))
0.0ms	x	@	0	(+.f64 1 (.f64 x (.f64 x 1/3)))

rewrite80.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

832×	`pow1_binary64`
780×	`add-log-exp_binary64`
780×	`log1p-expm1-u_binary64`
780×	`expm1-log1p-u_binary64`
768×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	23
1	177	15
2	2386	15

Stop Event

1×	node limit

Counts

2 → 86

Calls

Call 1

Inputs
(-.f64 (+.f64 1 (.f64 x (.f64 x 1/3))) 1)
(+.f64 1 (.f64 x (.f64 x 1/3)))

Outputs

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

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

simplify174.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
560×	`cube-prod_binary64`
558×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
455×	`associate-l_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	189
1	16	171
2	27	171
3	52	171
4	118	171
5	352	171
6	1287	171
7	2193	171
8	2357	171
9	2541	171
10	2749	171
11	3048	171
12	3439	171
13	3922	171
14	4490	171
15	5176	171
16	6009	171
17	6401	171
18	6695	171
19	6973	171
20	7047	171
21	7083	171

Stop Event

1×	node limit

Counts

110 → 90

Calls

Call 1

Inputs
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
(*.f64 1/3 (pow.f64 x 2))
1
(+.f64 1 (*.f64 1/3 (pow.f64 x 2)))
(+.f64 1 (*.f64 1/3 (pow.f64 x 2)))
(+.f64 1 (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (pow.f64 x 2))
(+.f64 1 (*.f64 1/3 (pow.f64 x 2)))
(+.f64 1 (*.f64 1/3 (pow.f64 x 2)))
(+.f64 1 (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (pow.f64 x 2))
(+.f64 1 (*.f64 1/3 (pow.f64 x 2)))
(+.f64 1 (*.f64 1/3 (pow.f64 x 2)))
(+.f64 1 (*.f64 1/3 (pow.f64 x 2)))

Outputs
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
1
(+.f64 1 (*.f64 1/3 (pow.f64 x 2)))
(+.f64 (.f64 1/3 (.f64 x x)) 1)
(fma.f64 1/3 (*.f64 x x) 1)
(fma.f64 x (*.f64 1/3 x) 1)
(+.f64 1 (*.f64 1/3 (pow.f64 x 2)))
(+.f64 (.f64 1/3 (.f64 x x)) 1)
(fma.f64 1/3 (*.f64 x x) 1)
(fma.f64 x (*.f64 1/3 x) 1)
(+.f64 1 (*.f64 1/3 (pow.f64 x 2)))
(+.f64 (.f64 1/3 (.f64 x x)) 1)
(fma.f64 1/3 (*.f64 x x) 1)
(fma.f64 x (*.f64 1/3 x) 1)
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(+.f64 1 (*.f64 1/3 (pow.f64 x 2)))
(+.f64 (.f64 1/3 (.f64 x x)) 1)
(fma.f64 1/3 (*.f64 x x) 1)
(fma.f64 x (*.f64 1/3 x) 1)
(+.f64 1 (*.f64 1/3 (pow.f64 x 2)))
(+.f64 (.f64 1/3 (.f64 x x)) 1)
(fma.f64 1/3 (*.f64 x x) 1)
(fma.f64 x (*.f64 1/3 x) 1)
(+.f64 1 (*.f64 1/3 (pow.f64 x 2)))
(+.f64 (.f64 1/3 (.f64 x x)) 1)
(fma.f64 1/3 (*.f64 x x) 1)
(fma.f64 x (*.f64 1/3 x) 1)
(*.f64 1/3 (pow.f64 x 2))
(.f64 1/3 (.f64 x x))
(+.f64 1 (*.f64 1/3 (pow.f64 x 2)))
(+.f64 (.f64 1/3 (.f64 x x)) 1)
(fma.f64 1/3 (*.f64 x x) 1)
(fma.f64 x (*.f64 1/3 x) 1)
(+.f64 1 (*.f64 1/3 (pow.f64 x 2)))
(+.f64 (.f64 1/3 (.f64 x x)) 1)
(fma.f64 1/3 (*.f64 x x) 1)
(fma.f64 x (*.f64 1/3 x) 1)
(+.f64 1 (*.f64 1/3 (pow.f64 x 2)))
(+.f64 (.f64 1/3 (.f64 x x)) 1)
(fma.f64 1/3 (*.f64 x x) 1)
(fma.f64 x (*.f64 1/3 x) 1)

eval65.0ms (1.4%)

Compiler: Compiled 2472 to 1882 computations (23.9% saved)

prune30.0ms (0.7%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	115	0	115
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	115	5	120

Error

Counts

120 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.9b	(/.f64 (*.f64 2 x) 2)
✓	0.0b	(/.f64 (*.f64 2 (sinh.f64 x)) 2)
✓	0.3b	(/.f64 (*.f64 2 (expm1.f64 (log1p.f64 (sinh.f64 x)))) 2)
✓	0.6b	(/.f64 (+.f64 (.f64 (.f64 x (.f64 x 1/3)) x) (.f64 2 x)) 2)
✓	0.6b	(/.f64 (+.f64 (.f64 (-.f64 (+.f64 1 (.f64 x (.f64 x 1/3))) 1) x) (.f64 2 x)) 2)

Compiler

Compiled 54 to 43 computations (20.4% saved)

regimes13.0ms (0.3%)

Counts

8 → 1

Calls

Call 1

Inputs
(/.f64 (*.f64 2 x) 2)
(/.f64 (+.f64 (.f64 (.f64 x (.f64 x 1/3)) x) (.f64 2 x)) 2)
(/.f64 (+.f64 (.f64 (-.f64 (+.f64 1 (.f64 x (.f64 x 1/3))) 1) x) (.f64 2 x)) 2)
(/.f64 (*.f64 2 (sinh.f64 x)) 2)
(/.f64 (.f64 x (fma.f64 x (.f64 x 1/3) 2)) 2)
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(/.f64 (*.f64 2 (expm1.f64 (log1p.f64 (sinh.f64 x)))) 2)
(/.f64 (cbrt.f64 (.f64 (.f64 (.f64 2 (sinh.f64 x)) (.f64 2 (sinh.f64 x))) (*.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 103 to 75 computations (27.2% saved)

regimes5.0ms (0.1%)

Accuracy

Total -0.3b remaining (-54.2%)

Threshold costs -0.3b (-54.2%)

Counts

3 → 1

Calls

Call 1

Inputs
(/.f64 (*.f64 2 x) 2)
(/.f64 (+.f64 (.f64 (.f64 x (.f64 x 1/3)) x) (.f64 2 x)) 2)
(/.f64 (+.f64 (.f64 (-.f64 (+.f64 1 (.f64 x (.f64 x 1/3))) 1) x) (.f64 2 x)) 2)

Outputs
(/.f64 (+.f64 (.f64 (.f64 x (.f64 x 1/3)) x) (.f64 2 x)) 2)

Calls

1 calls:

3.0ms

Results

Error	Segments	Branch
0.6b	1	`x`

Compiler

Compiled 38 to 28 computations (26.3% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	35
1	20	35

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 27 to 21 computations (22.2% saved)

soundness0.0ms (0%)

end31.0ms (0.7%)

Compiler: Compiled 25 to 19 computations (24% saved)

Details

analyze4.0ms (0.1%)

sample2.6s (56.3%)

preprocess62.0ms (1.4%)

simplify50.0ms (1.1%)

eval1.0ms (0%)

prune1.0ms (0%)

localize9.0ms (0.2%)

series1.0ms (0%)

rewrite33.0ms (0.7%)

simplify64.0ms (1.4%)

eval7.0ms (0.1%)

prune5.0ms (0.1%)

localize24.0ms (0.5%)

series11.0ms (0.2%)

rewrite63.0ms (1.4%)

simplify66.0ms (1.5%)

localize5.0ms (0.1%)

localize8.0ms (0.2%)

localize14.0ms (0.3%)

series5.0ms (0.1%)

rewrite54.0ms (1.2%)

simplify168.0ms (3.7%)

eval122.0ms (2.7%)

prune59.0ms (1.3%)

localize20.0ms (0.4%)

series102.0ms (2.3%)

rewrite78.0ms (1.7%)

simplify94.0ms (2.1%)

localize36.0ms (0.8%)

series5.0ms (0.1%)

rewrite76.0ms (1.7%)

simplify178.0ms (3.9%)

eval54.0ms (1.2%)

prune35.0ms (0.8%)

localize56.0ms (1.2%)

series3.0ms (0.1%)

rewrite80.0ms (1.8%)

simplify174.0ms (3.8%)

eval65.0ms (1.4%)

prune30.0ms (0.7%)

regimes13.0ms (0.3%)

regimes5.0ms (0.1%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end31.0ms (0.7%)

Profiling