Metrics for Hyperbolic secant

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
100%	100%	0%	0%	0%	0%	0%	2

Compiler

Compiled 10 to 8 computations (20% saved)

Precisions

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

Operation ival-div, time spent: 0.0ms, 0.0% of total-time

Operation ival-exp, time spent: 0.0ms, 0.0% of total-time

Operation ival-add, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

Operation ival-neg, time spent: 0.0ms, 0.0% of total-time

sample958.0ms (44.5%)

Results

887.0ms	8255×	256	valid
0.0ms	1×	256	valid

Precisions

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

Operation ival-exp, time spent: 144.0ms, 45.0% of total-time

Operation ival-div, time spent: 71.0ms, 22.0% of total-time

Operation ival-add, time spent: 55.0ms, 17.0% of total-time

Operation ival-neg, time spent: 39.0ms, 12.0% of total-time

Operation const, time spent: 14.0ms, 4.0% of total-time

Bogosity

preprocess142.0ms (6.6%)

Algorithm

1×	egg-herbie

Rules

80×	`fma-neg`
80×	`fma-define`
48×	`sub-neg`
28×	`distribute-lft-neg-in`
28×	`cancel-sign-sub-inv`

FPErrors

Click to see full error table

Overpredictions	Example	Example	Subexpression
0	-	-	`x`
1	(364.7656276507678)	-	`(exp.f64 (neg.f64 x))`
0	-	-	`(neg.f64 x)`
0	-	-	`(exp.f64 x)`
0	-	-	`(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))`
0	-	-	`#s(literal 2 binary64)`
0	-	-	`(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	124
1	35	124
2	67	124
3	113	124
4	170	124
5	231	124
6	286	124
7	302	124
8	309	124
9	320	124
10	332	124
11	334	124

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))))
(neg.f64 (/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x))))))

Outputs
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x)))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(neg.f64 (/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 (neg.f64 x))))))
(/.f64 #s(literal -2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Symmetry

(abs x)

Compiler

Compiled 59 to 25 computations (57.6% saved)

Precisions

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

Operation ival-exp, time spent: 8.0ms, 37.0% of total-time

Operation ival-div, time spent: 4.0ms, 18.0% of total-time

Operation ival-add, time spent: 4.0ms, 18.0% of total-time

Operation ival-neg, time spent: 4.0ms, 18.0% of total-time

Operation const, time spent: 1.0ms, 5.0% of total-time

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Compiler

Compiled 9 to 7 computations (22.2% saved)

localize39.0ms (1.8%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	100.0%	(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Compiler

Compiled 25 to 9 computations (64% saved)

Precisions

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

Operation ival-exp, time spent: 4.0ms, 42.0% of total-time

Operation ival-div, time spent: 2.0ms, 21.0% of total-time

Operation ival-add, time spent: 2.0ms, 21.0% of total-time

Operation const, time spent: 1.0ms, 11.0% of total-time

Operation ival-neg, time spent: 1.0ms, 11.0% of total-time

series3.0ms (0.1%)

Counts

1 → 8

Calls

Call 1

Inputs
#<alt (/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))>

Outputs
#<alt #s(literal 1 binary64)>
#<alt (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))))>
#<alt (+.f64 #s(literal 1 binary64) (.f64 (pow.f64 x #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 5/24 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1/2 binary64))))>
#<alt (+.f64 #s(literal 1 binary64) (.f64 (pow.f64 x #s(literal 2 binary64)) (-.f64 (.f64 (pow.f64 x #s(literal 2 binary64)) (+.f64 #s(literal 5/24 binary64) (*.f64 #s(literal -61/720 binary64) (pow.f64 x #s(literal 2 binary64))))) #s(literal 1/2 binary64))))>
#<alt (/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (*.f64 #s(literal -1 binary64) x))))>
#<alt (/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (*.f64 #s(literal -1 binary64) x))))>
#<alt (/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (*.f64 #s(literal -1 binary64) x))))>
#<alt (/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (*.f64 #s(literal -1 binary64) x))))>

Calls

3 calls:

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

rewrite141.0ms (6.6%)

Algorithm

1×	batch-egg-rewrite

Rules

94×	`associate-r`
62×	`add-exp-log`
62×	`add-log-exp`
62×	`log1p-expm1-u`
62×	`expm1-log1p-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	20
1	144	20
2	2343	20

Stop Event

1×

unsound

Counts

1 → 10

Calls

Call 1

Inputs
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Outputs
#s(literal -4 binary64)
#s(literal -2 binary64)
#s(literal -1 binary64)
#s(literal 0 binary64)
#s(literal 1/2 binary64)
#s(literal 1 binary64)
#s(literal 3/2 binary64)
#s(literal 2 binary64)
#s(literal 3 binary64)
#s(literal 4 binary64)

simplify464.0ms (21.5%)

Algorithm

1×	egg-herbie

Rules

4772×	`fma-define`
1168×	`fma-neg`
772×	`distribute-lft-in`
528×	`associate-+l-`
500×	`distribute-rgt-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	37	256
1	68	240
2	136	240
3	294	240
4	582	240
5	929	240
6	1108	240
7	1587	240
8	2418	240
9	3827	240
10	4702	240
11	5157	240
12	5232	240
13	5240	240
14	5240	240
15	5372	240
16	5428	240
17	5428	240
18	7311	240
19	7311	240
20	7311	240
21	7311	240
22	7311	240
23	7313	240

Stop Event

1×

saturated

Counts

18 → 23

Calls

Call 1

Inputs
#s(literal 1 binary64)
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))))
(+.f64 #s(literal 1 binary64) (.f64 (pow.f64 x #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 5/24 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1/2 binary64))))
(+.f64 #s(literal 1 binary64) (.f64 (pow.f64 x #s(literal 2 binary64)) (-.f64 (.f64 (pow.f64 x #s(literal 2 binary64)) (+.f64 #s(literal 5/24 binary64) (*.f64 #s(literal -61/720 binary64) (pow.f64 x #s(literal 2 binary64))))) #s(literal 1/2 binary64))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (*.f64 #s(literal -1 binary64) x))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (*.f64 #s(literal -1 binary64) x))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (*.f64 #s(literal -1 binary64) x))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (*.f64 #s(literal -1 binary64) x))))
#s(literal -4 binary64)
#s(literal -2 binary64)
#s(literal -1 binary64)
#s(literal 0 binary64)
#s(literal 1/2 binary64)
#s(literal 1 binary64)
#s(literal 3/2 binary64)
#s(literal 2 binary64)
#s(literal 3 binary64)
#s(literal 4 binary64)

Outputs
#s(literal 1 binary64)
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))))
(fma.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (.f64 (pow.f64 x #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 5/24 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1/2 binary64))))
(+.f64 #s(literal 1 binary64) (*.f64 (pow.f64 x #s(literal 2 binary64)) (fma.f64 #s(literal 5/24 binary64) (pow.f64 x #s(literal 2 binary64)) #s(literal -1/2 binary64))))
(fma.f64 (pow.f64 x #s(literal 2 binary64)) (fma.f64 (pow.f64 x #s(literal 2 binary64)) #s(literal 5/24 binary64) #s(literal -1/2 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)) (fma.f64 #s(literal 5/24 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64)))
(+.f64 #s(literal 1 binary64) (.f64 (pow.f64 x #s(literal 2 binary64)) (-.f64 (.f64 (pow.f64 x #s(literal 2 binary64)) (+.f64 #s(literal 5/24 binary64) (*.f64 #s(literal -61/720 binary64) (pow.f64 x #s(literal 2 binary64))))) #s(literal 1/2 binary64))))
(+.f64 #s(literal 1 binary64) (.f64 (pow.f64 x #s(literal 2 binary64)) (fma.f64 (pow.f64 x #s(literal 2 binary64)) (+.f64 #s(literal 5/24 binary64) (.f64 (pow.f64 x #s(literal 2 binary64)) #s(literal -61/720 binary64))) #s(literal -1/2 binary64))))
(fma.f64 (pow.f64 x #s(literal 2 binary64)) (fma.f64 (pow.f64 x #s(literal 2 binary64)) (fma.f64 (pow.f64 x #s(literal 2 binary64)) #s(literal -61/720 binary64) #s(literal 5/24 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64))
(fma.f64 (pow.f64 x #s(literal 2 binary64)) (fma.f64 (pow.f64 x #s(literal 2 binary64)) #s(literal 5/24 binary64) (fma.f64 #s(literal -61/720 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal -1/2 binary64))) #s(literal 1 binary64))
(fma.f64 #s(literal -61/720 binary64) (pow.f64 x #s(literal 6 binary64)) (fma.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)) (fma.f64 #s(literal 5/24 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 1 binary64))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (*.f64 #s(literal -1 binary64) x))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (*.f64 #s(literal -1 binary64) x))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (*.f64 #s(literal -1 binary64) x))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (*.f64 #s(literal -1 binary64) x))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
#s(literal -4 binary64)
#s(literal -2 binary64)
#s(literal -1 binary64)
#s(literal 0 binary64)
#s(literal 1/2 binary64)
#s(literal 1 binary64)
#s(literal 3/2 binary64)
#s(literal 2 binary64)
#s(literal 3 binary64)
#s(literal 4 binary64)

eval5.0ms (0.2%)

Compiler: Compiled 173 to 143 computations (17.3% saved)

prune4.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	20	3	23
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	20	4	24

Accuracy

100.0%

Counts

24 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
▶	58.6%	(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))))
▶	58.9%	#s(literal 1 binary64)
▶	43.6%	#s(literal 0 binary64)

Compiler

Compiled 21 to 18 computations (14.3% saved)

localize51.0ms (2.4%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	100.0%	(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))

Compiler

Compiled 23 to 19 computations (17.4% saved)

Precisions

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

Operation ival-pow, time spent: 8.0ms, 53.0% of total-time

Operation ival-mult, time spent: 4.0ms, 27.0% of total-time

Operation ival-add, time spent: 2.0ms, 13.0% of total-time

Operation const, time spent: 2.0ms, 13.0% of total-time

series2.0ms (0.1%)

Counts

1 → 0

Calls

Call 1

Inputs
#<alt (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))>

Outputs

Calls

3 calls:

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

rewrite170.0ms (7.9%)

Algorithm

1×	batch-egg-rewrite

Rules

842×	`associate-r`
742×	`associate-l`
490×	`unpow-prod-down`
397×	`log1p-expm1-u`
286×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	69	16
2	713	16
3	7802	16

Stop Event

1×	node limit

Counts

1 → 25

Calls

Call 1

Inputs
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))

Outputs
(+.f64 (+.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)) #s(literal -1 binary64))
(+.f64 #s(literal 0 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x #s(literal 2 binary64))) #s(literal -1 binary64)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64)))))
(+.f64 (log.f64 (pow.f64 (exp.f64 (pow.f64 x #s(literal 2 binary64))) #s(literal -1/4 binary64))) (log.f64 (pow.f64 (exp.f64 (pow.f64 x #s(literal 2 binary64))) #s(literal -1/4 binary64))))
(-.f64 (+.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)) #s(literal 3 binary64)) #s(literal 1 binary64)) (+.f64 (.f64 (+.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)) (+.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64))) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)))))
(/.f64 (-.f64 (.f64 (+.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)) (+.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64))) #s(literal 1 binary64)) (+.f64 (+.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(pow.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))) #s(literal 3 binary64))
(pow.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1/4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal -1/8 binary64)) #s(literal 1/3 binary64))
(pow.f64 (*.f64 x (sqrt.f64 #s(literal -1/2 binary64))) #s(literal 2 binary64))
(pow.f64 (E.f64) (fma.f64 #s(literal 2 binary64) (log.f64 x) (log.f64 #s(literal -1/2 binary64))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 #s(literal 2 binary64) (log.f64 x) (log.f64 #s(literal -1/2 binary64)))) #s(literal 2 binary64))) (cbrt.f64 (fma.f64 #s(literal 2 binary64) (log.f64 x) (log.f64 #s(literal -1/2 binary64)))))
(pow.f64 (exp.f64 (sqrt.f64 (fma.f64 #s(literal 2 binary64) (log.f64 x) (log.f64 #s(literal -1/2 binary64))))) (sqrt.f64 (fma.f64 #s(literal 2 binary64) (log.f64 x) (log.f64 #s(literal -1/2 binary64)))))
(sqrt.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1/4 binary64)))
(fabs.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))))
(log.f64 (pow.f64 (exp.f64 (pow.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64)))
(cbrt.f64 (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal -1/8 binary64)))
(expm1.f64 (log1p.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))))
(log1p.f64 (expm1.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))))
(exp.f64 (fma.f64 #s(literal 2 binary64) (log.f64 x) (log.f64 #s(literal -1/2 binary64))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))))) #s(literal 3 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal -1/8 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 #s(literal -1/2 binary64)))) #s(literal 2 binary64)))

simplify67.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

2242×	`fma-neg`
630×	`distribute-lft-out`
540×	`associate-+l-`
532×	`associate-+r-`
444×	`associate--l+`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	88	512
1	164	512
2	410	512
3	1721	227
4	5158	227
5	5983	227
6	7472	227

Stop Event

1×	node limit

Counts

25 → 27

Calls

Call 1

Inputs
(+.f64 (+.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)) #s(literal -1 binary64))
(+.f64 #s(literal 0 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))))
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x #s(literal 2 binary64))) #s(literal -1 binary64)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64)))))
(+.f64 (log.f64 (pow.f64 (exp.f64 (pow.f64 x #s(literal 2 binary64))) #s(literal -1/4 binary64))) (log.f64 (pow.f64 (exp.f64 (pow.f64 x #s(literal 2 binary64))) #s(literal -1/4 binary64))))
(-.f64 (+.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64))
(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)) #s(literal 3 binary64)) #s(literal 1 binary64)) (+.f64 (.f64 (+.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)) (+.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64))) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)))))
(/.f64 (-.f64 (.f64 (+.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)) (+.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64))) #s(literal 1 binary64)) (+.f64 (+.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(pow.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))) #s(literal 3 binary64))
(pow.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1/4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal -1/8 binary64)) #s(literal 1/3 binary64))
(pow.f64 (*.f64 x (sqrt.f64 #s(literal -1/2 binary64))) #s(literal 2 binary64))
(pow.f64 (E.f64) (fma.f64 #s(literal 2 binary64) (log.f64 x) (log.f64 #s(literal -1/2 binary64))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 #s(literal 2 binary64) (log.f64 x) (log.f64 #s(literal -1/2 binary64)))) #s(literal 2 binary64))) (cbrt.f64 (fma.f64 #s(literal 2 binary64) (log.f64 x) (log.f64 #s(literal -1/2 binary64)))))
(pow.f64 (exp.f64 (sqrt.f64 (fma.f64 #s(literal 2 binary64) (log.f64 x) (log.f64 #s(literal -1/2 binary64))))) (sqrt.f64 (fma.f64 #s(literal 2 binary64) (log.f64 x) (log.f64 #s(literal -1/2 binary64)))))
(sqrt.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1/4 binary64)))
(fabs.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))))
(log.f64 (pow.f64 (exp.f64 (pow.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64)))
(cbrt.f64 (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal -1/8 binary64)))
(expm1.f64 (log1p.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))))
(log1p.f64 (expm1.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))))
(exp.f64 (fma.f64 #s(literal 2 binary64) (log.f64 x) (log.f64 #s(literal -1/2 binary64))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))))) #s(literal 3 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal -1/8 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 #s(literal -1/2 binary64)))) #s(literal 2 binary64)))

Outputs
(+.f64 (+.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)) #s(literal -1 binary64))
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 0 binary64)
(+.f64 #s(literal 0 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))))
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 0 binary64)
(+.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x #s(literal 2 binary64))) #s(literal -1 binary64)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64)))))
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 0 binary64)
(+.f64 (log.f64 (pow.f64 (exp.f64 (pow.f64 x #s(literal 2 binary64))) #s(literal -1/4 binary64))) (log.f64 (pow.f64 (exp.f64 (pow.f64 x #s(literal 2 binary64))) #s(literal -1/4 binary64))))
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 0 binary64)
(-.f64 (+.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64))
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 0 binary64)
(/.f64 (-.f64 (pow.f64 (+.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)) #s(literal 3 binary64)) #s(literal 1 binary64)) (+.f64 (.f64 (+.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)) (+.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64))) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)))))
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 0 binary64)
(/.f64 (-.f64 (.f64 (+.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)) (+.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64))) #s(literal 1 binary64)) (+.f64 (+.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64)) #s(literal 1 binary64)))
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 0 binary64)
(pow.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))) #s(literal 1 binary64))
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 0 binary64)
(pow.f64 (cbrt.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))) #s(literal 3 binary64))
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 0 binary64)
(pow.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1/4 binary64)) #s(literal 1/2 binary64))
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 0 binary64)
(pow.f64 (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal -1/8 binary64)) #s(literal 1/3 binary64))
(cbrt.f64 (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal -1/8 binary64)))
(pow.f64 (*.f64 x (sqrt.f64 #s(literal -1/2 binary64))) #s(literal 2 binary64))
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 0 binary64)
(pow.f64 (E.f64) (fma.f64 #s(literal 2 binary64) (log.f64 x) (log.f64 #s(literal -1/2 binary64))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 #s(literal 2 binary64) (log.f64 x) (log.f64 #s(literal -1/2 binary64)))) #s(literal 2 binary64))) (cbrt.f64 (fma.f64 #s(literal 2 binary64) (log.f64 x) (log.f64 #s(literal -1/2 binary64)))))
(pow.f64 (exp.f64 (sqrt.f64 (fma.f64 #s(literal 2 binary64) (log.f64 x) (log.f64 #s(literal -1/2 binary64))))) (sqrt.f64 (fma.f64 #s(literal 2 binary64) (log.f64 x) (log.f64 #s(literal -1/2 binary64)))))
(sqrt.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 1/4 binary64)))
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 0 binary64)
(fabs.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))))
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 0 binary64)
(log.f64 (pow.f64 (exp.f64 (pow.f64 x #s(literal 2 binary64))) #s(literal -1/2 binary64)))
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 0 binary64)
(cbrt.f64 (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal -1/8 binary64)))
(expm1.f64 (log1p.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))))
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 0 binary64)
(log1p.f64 (expm1.f64 (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))))
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 0 binary64)
(exp.f64 (fma.f64 #s(literal 2 binary64) (log.f64 x) (log.f64 #s(literal -1/2 binary64))))
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 0 binary64)
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))))) #s(literal 3 binary64)))
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 0 binary64)
(exp.f64 (.f64 (log.f64 (.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal -1/8 binary64))) #s(literal 1/3 binary64)))
(cbrt.f64 (*.f64 (pow.f64 x #s(literal 6 binary64)) #s(literal -1/8 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 x (sqrt.f64 #s(literal -1/2 binary64)))) #s(literal 2 binary64)))
(*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64)))
#s(literal 0 binary64)

eval8.0ms (0.4%)

Compiler: Compiled 332 to 292 computations (12% saved)

prune5.0ms (0.2%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	27	0	27
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	27	4	31

Accuracy

100.0%

Counts

31 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
✓	58.6%	(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))))
✓	58.9%	#s(literal 1 binary64)
✓	43.6%	#s(literal 0 binary64)

Compiler

Compiled 39 to 33 computations (15.4% saved)

regimes20.0ms (0.9%)

Counts

4 → 1

Calls

Call 1

Inputs
#s(literal 0 binary64)
#s(literal 1 binary64)
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))))
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Outputs
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))

Calls

3 calls:

15.0ms	(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
4.0ms	x
1.0ms	(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))`
100.0%	1	`(+.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))`

Compiler

Compiled 18 to 13 computations (27.8% saved)

regimes6.0ms (0.3%)

Counts

3 → 1

Calls

Call 1

Inputs
#s(literal 0 binary64)
#s(literal 1 binary64)
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) (pow.f64 x #s(literal 2 binary64))))

Outputs
#s(literal 1 binary64)

Calls

1 calls:

5.0ms

Results

Accuracy	Segments	Branch
58.9%	1	`x`

Compiler

Compiled 2 to 1 computations (50% saved)

regimes1.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(literal 0 binary64)

Outputs
#s(literal 0 binary64)

Calls

1 calls:

1.0ms

Results

Accuracy	Segments	Branch
43.6%	1	`x`

Compiler

Compiled 2 to 1 computations (50% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative`
3×	`1-exp`
2×	`sub-neg`
2×	`*-commutative`
2×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	33
1	22	33
2	24	33
3	25	33

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
#s(literal 1 binary64)
#s(literal 0 binary64)

Outputs
(/.f64 #s(literal 2 binary64) (+.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
#s(literal 1 binary64)
#s(literal 0 binary64)

Compiler

Compiled 13 to 11 computations (15.4% saved)

soundness31.0ms (1.5%)

Rules

94×	`associate-r`
62×	`add-exp-log`
62×	`add-log-exp`
62×	`log1p-expm1-u`
62×	`expm1-log1p-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	20
1	144	20
2	2343	20

Stop Event

1×

unsound

end0.0ms (0%)

preprocess32.0ms (1.5%)

Remove: (abs x)
Compiler: Compiled 112 to 88 computations (21.4% saved)

Iter	Nodes	Cost
0	17	124
1	35	124
2	67	124
3	113	124
4	170	124
5	231	124
6	286	124
7	302	124
8	309	124
9	320	124
10	332	124
11	334	124

Iter	Nodes	Cost
0	17	124
1	35	124
2	67	124
3	113	124
4	170	124
5	231	124
6	286	124
7	302	124
8	309	124
9	320	124
10	332	124
11	334	124

analyze0.0ms (0%)

sample958.0ms (44.5%)

preprocess142.0ms (6.6%)

eval0.0ms (0%)

prune1.0ms (0%)

localize39.0ms (1.8%)

series3.0ms (0.1%)

rewrite141.0ms (6.6%)

simplify464.0ms (21.5%)

eval5.0ms (0.2%)

prune4.0ms (0.2%)

localize51.0ms (2.4%)

series2.0ms (0.1%)

rewrite170.0ms (7.9%)

simplify67.0ms (3.1%)

eval8.0ms (0.4%)

prune5.0ms (0.2%)

regimes20.0ms (0.9%)

regimes6.0ms (0.3%)

regimes1.0ms (0.1%)

simplify3.0ms (0.1%)

soundness31.0ms (1.5%)

end0.0ms (0%)

preprocess32.0ms (1.5%)

Profiling

Iter	Nodes	Cost
0	17	124
1	35	124
2	67	124
3	113	124
4	170	124
5	231	124
6	286	124
7	302	124
8	309	124
9	320	124
10	332	124
11	334	124