Metrics for subtraction fraction

analyze18.0ms (0.6%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
50%	50%	50%	0.1%	0%	0%	0%	3
50%	50%	50%	0.1%	0%	0%	0%	4
75%	74.9%	25%	0.1%	0%	0%	0%	5
75%	74.9%	25%	0.1%	0%	0%	0%	6
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	7
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	8
93.8%	93.7%	6.2%	0.1%	0%	0%	0%	9
93.8%	93.7%	6.2%	0.1%	0%	0%	0%	10
96.9%	96.8%	3.1%	0.1%	0%	0%	0%	11
96.9%	96.8%	3.1%	0.1%	0%	0%	0%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

Precisions

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

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

Operation ival-sub, time spent: 1.0ms, 13.0% of total-time

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

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

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

sample904.0ms (32.6%)

Results

845.0ms	8255×	256	valid
0.0ms	1×	256	valid

Precisions

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

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

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

Operation ival-sub, time spent: 51.0ms, 20.0% of total-time

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

Operation const, time spent: 9.0ms, 3.0% of total-time

Bogosity

preprocess228.0ms (8.2%)

Algorithm

1×	egg-herbie

Rules

1162×	`fma-define`
524×	`fma-neg`
446×	`times-frac`
264×	`div-sub`
182×	`associate-/r*`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))`
-	-	`f`
-	-	`n`
-	-	`(-.f64 f n)`
-	-	`(neg.f64 (+.f64 f n))`
-	-	`(+.f64 f n)`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	28	269
1	78	217
2	208	217
3	582	217
4	1490	217
5	2115	217
6	2375	217
7	2443	217
8	2564	217

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))
(/.f64 (neg.f64 (+.f64 (neg.f64 f) n)) (-.f64 (neg.f64 f) n))
(/.f64 (neg.f64 (+.f64 f (neg.f64 n))) (-.f64 f (neg.f64 n)))
(neg.f64 (/.f64 (neg.f64 (+.f64 (neg.f64 f) n)) (-.f64 (neg.f64 f) n)))
(neg.f64 (/.f64 (neg.f64 (+.f64 f (neg.f64 n))) (-.f64 f (neg.f64 n))))
(/.f64 (neg.f64 (+.f64 n f)) (-.f64 n f))

Outputs
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))
(/.f64 (-.f64 (neg.f64 f) n) (-.f64 f n))
(/.f64 (+.f64 f n) (-.f64 n f))
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))
(/.f64 (-.f64 (neg.f64 f) n) (-.f64 f n))
(/.f64 (+.f64 f n) (-.f64 n f))
(/.f64 (neg.f64 (+.f64 (neg.f64 f) n)) (-.f64 (neg.f64 f) n))
(/.f64 (neg.f64 (-.f64 n f)) (-.f64 (neg.f64 f) n))
(/.f64 (-.f64 n f) (+.f64 f n))
(/.f64 (neg.f64 (+.f64 f (neg.f64 n))) (-.f64 f (neg.f64 n)))
(/.f64 (neg.f64 (-.f64 n f)) (-.f64 (neg.f64 f) n))
(/.f64 (-.f64 n f) (+.f64 f n))
(neg.f64 (/.f64 (neg.f64 (+.f64 (neg.f64 f) n)) (-.f64 (neg.f64 f) n)))
(/.f64 (neg.f64 (-.f64 n f)) (neg.f64 (-.f64 (neg.f64 f) n)))
(/.f64 (-.f64 f n) (+.f64 f n))
(neg.f64 (/.f64 (neg.f64 (+.f64 f (neg.f64 n))) (-.f64 f (neg.f64 n))))
(/.f64 (neg.f64 (-.f64 n f)) (neg.f64 (-.f64 (neg.f64 f) n)))
(/.f64 (-.f64 f n) (+.f64 f n))
(/.f64 (neg.f64 (+.f64 n f)) (-.f64 n f))
(/.f64 (-.f64 (neg.f64 f) n) (-.f64 n f))
(/.f64 (+.f64 f n) (-.f64 f n))

Compiler

Compiled 56 to 20 computations (64.3% saved)

Precisions

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

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

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

Operation ival-sub, time spent: 3.0ms, 22.0% of total-time

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

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

eval0.0ms (0%)

Compiler: Compiled 17 to 9 computations (47.1% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(/.f64 (+.f64 f n) (-.f64 n f))

Compiler

Compiled 9 to 5 computations (44.4% saved)

localize30.0ms (1.1%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 f n) (-.f64 n f))

Compiler

Compiled 18 to 6 computations (66.7% saved)

Precisions

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

Operation ival-sub, time spent: 2.0ms, 35.0% of total-time

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

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

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

series5.0ms (0.2%)

Counts

1 → 24

Calls

Call 1

Inputs
#<alt (/.f64 (+.f64 f n) (-.f64 n f))>

Outputs
#<alt #s(literal 1 binary64)>
#<alt (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))>
#<alt (+.f64 #s(literal 1 binary64) (.f64 f (+.f64 (.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) n)))))>
#<alt (+.f64 #s(literal 1 binary64) (.f64 f (+.f64 (.f64 f (+.f64 (.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 3 binary64)))) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 n #s(literal 2 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) n)))))>
#<alt #s(literal -1 binary64)>
#<alt (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 n f)) (+.f64 #s(literal 1 binary64) (/.f64 n f)))>
#<alt (-.f64 (+.f64 (.f64 #s(literal -1 binary64) (/.f64 n f)) (/.f64 (.f64 n (-.f64 (*.f64 #s(literal -1 binary64) n) n)) (pow.f64 f #s(literal 2 binary64)))) (+.f64 #s(literal 1 binary64) (/.f64 n f)))>
#<alt (-.f64 (+.f64 (.f64 #s(literal -1 binary64) (/.f64 n f)) (/.f64 (.f64 (pow.f64 n #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) n) n)) (pow.f64 f #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 n (-.f64 (.f64 #s(literal -1 binary64) n) n)) (pow.f64 f #s(literal 2 binary64)))) (/.f64 n f))))>
#<alt #s(literal -1 binary64)>
#<alt (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 n (.f64 #s(literal -1 binary64) n)) f)) #s(literal 1 binary64))>
#<alt (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 n (/.f64 (.f64 n (-.f64 n (.f64 #s(literal -1 binary64) n))) f)) (.f64 #s(literal -1 binary64) n)) f)) #s(literal 1 binary64))>
#<alt (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 n (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 n #s(literal 2 binary64)) (-.f64 n (.f64 #s(literal -1 binary64) n))) f)) (.f64 n (-.f64 n (.f64 #s(literal -1 binary64) n)))) f))) (.f64 #s(literal -1 binary64) n)) f)) #s(literal 1 binary64))>
#<alt #s(literal -1 binary64)>
#<alt (-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))>
#<alt (-.f64 (.f64 n (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) f)))) #s(literal 1 binary64))>
#<alt (-.f64 (.f64 n (-.f64 (.f64 n (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 3 binary64)))) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 f #s(literal 2 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) f)))) #s(literal 1 binary64))>
#<alt #s(literal 1 binary64)>
#<alt (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 f n)) (*.f64 #s(literal -1 binary64) (/.f64 f n)))>
#<alt (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 f n) (/.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) (pow.f64 n #s(literal 2 binary64))))) (*.f64 #s(literal -1 binary64) (/.f64 f n)))>
#<alt (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 f n) (/.f64 (.f64 (pow.f64 f #s(literal 2 binary64)) (-.f64 f (.f64 #s(literal -1 binary64) f))) (pow.f64 n #s(literal 3 binary64))))) (+.f64 (.f64 #s(literal -1 binary64) (/.f64 f n)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) (pow.f64 n #s(literal 2 binary64))))))>
#<alt #s(literal 1 binary64)>
#<alt (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 f n)) (*.f64 #s(literal -1 binary64) (/.f64 f n)))>
#<alt (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 #s(literal -1 binary64) (-.f64 f (.f64 #s(literal -1 binary64) f))) (.f64 #s(literal -1 binary64) (/.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) n))) n)))>
#<alt (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 #s(literal -1 binary64) (-.f64 f (.f64 #s(literal -1 binary64) f))) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) (/.f64 (.f64 (pow.f64 f #s(literal 2 binary64)) (-.f64 f (.f64 #s(literal -1 binary64) f))) n)) n))) n)))>

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	n	@	-inf	(/ (+ f n) (- n f))
1.0ms	f	@	inf	(/ (+ f n) (- n f))
1.0ms	n	@	inf	(/ (+ f n) (- n f))
1.0ms	f	@	-inf	(/ (+ f n) (- n f))
1.0ms	f	@	0	(/ (+ f n) (- n f))

rewrite269.0ms (9.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1516×	`prod-diff`
790×	`log1p-expm1-u`
790×	`expm1-log1p-u`
696×	`log-prod`
604×	`fma-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	31
1	131	31
2	2082	31

Stop Event

1×	node limit

Counts

1 → 41

Calls

Call 1

Inputs
(/.f64 (+.f64 f n) (-.f64 n f))

Outputs
(+.f64 #s(literal 0 binary64) (/.f64 (+.f64 f n) (-.f64 n f)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) #s(literal 1 binary64))
(*.f64 (+.f64 f n) (/.f64 #s(literal 1 binary64) (-.f64 n f)))
(*.f64 (/.f64 (+.f64 f n) (-.f64 n f)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 (+.f64 f n) (-.f64 n f)))
(*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) #s(literal 2 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) #s(literal 2 binary64)) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) #s(literal 2 binary64)) (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)))
(.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (+.f64 f n)) (/.f64 #s(literal 1 binary64) (-.f64 n f))))
(*.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(*.f64 (sqrt.f64 (+.f64 f n)) (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f)))
(.f64 (sqrt.f64 (+.f64 f n)) (.f64 (sqrt.f64 (+.f64 f n)) (/.f64 #s(literal 1 binary64) (-.f64 n f))))
(*.f64 (neg.f64 (+.f64 f n)) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 n f))))
(*.f64 (/.f64 #s(literal 1 binary64) (-.f64 n f)) (+.f64 f n))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64))) (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f))))
(*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (-.f64 n f))) (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) #s(literal 2 binary64)) #s(literal 1 binary64)) (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) #s(literal 2 binary64)) (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) #s(literal 2 binary64)) (sqrt.f64 (-.f64 n f))) (/.f64 (cbrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (sqrt.f64 (+.f64 f n)) #s(literal 1 binary64)) (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f)))
(*.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64))) (/.f64 (sqrt.f64 (+.f64 f n)) (cbrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (+.f64 f n) (-.f64 (pow.f64 n #s(literal 2 binary64)) (pow.f64 f #s(literal 2 binary64)))) (+.f64 f n))
(*.f64 (/.f64 (+.f64 f n) (-.f64 (pow.f64 n #s(literal 3 binary64)) (pow.f64 f #s(literal 3 binary64)))) (fma.f64 f (+.f64 f n) (pow.f64 n #s(literal 2 binary64))))
(pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) #s(literal 2 binary64))
(pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) #s(literal -1 binary64))
(neg.f64 (/.f64 (+.f64 f n) (neg.f64 (-.f64 n f))))
(neg.f64 (/.f64 (neg.f64 (+.f64 f n)) (-.f64 n f)))
(sqrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) #s(literal 2 binary64)))
(log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
(cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) #s(literal 3 binary64)))
(cbrt.f64 (/.f64 (pow.f64 (+.f64 f n) #s(literal 3 binary64)) (pow.f64 (-.f64 n f) #s(literal 3 binary64))))
(expm1.f64 (log1p.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(log1p.f64 (expm1.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(exp.f64 (log.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(exp.f64 (*.f64 (log.f64 (/.f64 (+.f64 f n) (-.f64 n f))) #s(literal 1 binary64)))

simplify64.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

1590×	`times-frac`
1352×	`fma-define`
650×	`associate-/r*`
510×	`distribute-lft-in`
496×	`distribute-rgt-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	226	2900
1	616	2722
2	1887	2523

Stop Event

1×	node limit

Counts

65 → 98

Calls

Call 1

Inputs
#s(literal 1 binary64)
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
(+.f64 #s(literal 1 binary64) (.f64 f (+.f64 (.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) n)))))
(+.f64 #s(literal 1 binary64) (.f64 f (+.f64 (.f64 f (+.f64 (.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 3 binary64)))) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 n #s(literal 2 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) n)))))
#s(literal -1 binary64)
(-.f64 (*.f64 #s(literal -1 binary64) (/.f64 n f)) (+.f64 #s(literal 1 binary64) (/.f64 n f)))
(-.f64 (+.f64 (.f64 #s(literal -1 binary64) (/.f64 n f)) (/.f64 (.f64 n (-.f64 (*.f64 #s(literal -1 binary64) n) n)) (pow.f64 f #s(literal 2 binary64)))) (+.f64 #s(literal 1 binary64) (/.f64 n f)))
(-.f64 (+.f64 (.f64 #s(literal -1 binary64) (/.f64 n f)) (/.f64 (.f64 (pow.f64 n #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) n) n)) (pow.f64 f #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 n (-.f64 (.f64 #s(literal -1 binary64) n) n)) (pow.f64 f #s(literal 2 binary64)))) (/.f64 n f))))
#s(literal -1 binary64)
(-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 n (.f64 #s(literal -1 binary64) n)) f)) #s(literal 1 binary64))
(-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 n (/.f64 (.f64 n (-.f64 n (.f64 #s(literal -1 binary64) n))) f)) (.f64 #s(literal -1 binary64) n)) f)) #s(literal 1 binary64))
(-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 n (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 n #s(literal 2 binary64)) (-.f64 n (.f64 #s(literal -1 binary64) n))) f)) (.f64 n (-.f64 n (.f64 #s(literal -1 binary64) n)))) f))) (.f64 #s(literal -1 binary64) n)) f)) #s(literal 1 binary64))
#s(literal -1 binary64)
(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
(-.f64 (.f64 n (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) f)))) #s(literal 1 binary64))
(-.f64 (.f64 n (-.f64 (.f64 n (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 3 binary64)))) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 f #s(literal 2 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) f)))) #s(literal 1 binary64))
#s(literal 1 binary64)
(-.f64 (+.f64 #s(literal 1 binary64) (/.f64 f n)) (*.f64 #s(literal -1 binary64) (/.f64 f n)))
(-.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 f n) (/.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) (pow.f64 n #s(literal 2 binary64))))) (*.f64 #s(literal -1 binary64) (/.f64 f n)))
(-.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 f n) (/.f64 (.f64 (pow.f64 f #s(literal 2 binary64)) (-.f64 f (.f64 #s(literal -1 binary64) f))) (pow.f64 n #s(literal 3 binary64))))) (+.f64 (.f64 #s(literal -1 binary64) (/.f64 f n)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) (pow.f64 n #s(literal 2 binary64))))))
#s(literal 1 binary64)
(-.f64 (+.f64 #s(literal 1 binary64) (/.f64 f n)) (*.f64 #s(literal -1 binary64) (/.f64 f n)))
(+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 #s(literal -1 binary64) (-.f64 f (.f64 #s(literal -1 binary64) f))) (.f64 #s(literal -1 binary64) (/.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) n))) n)))
(+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 #s(literal -1 binary64) (-.f64 f (.f64 #s(literal -1 binary64) f))) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) (/.f64 (.f64 (pow.f64 f #s(literal 2 binary64)) (-.f64 f (.f64 #s(literal -1 binary64) f))) n)) n))) n)))
(+.f64 #s(literal 0 binary64) (/.f64 (+.f64 f n) (-.f64 n f)))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) #s(literal 1 binary64))
(*.f64 (+.f64 f n) (/.f64 #s(literal 1 binary64) (-.f64 n f)))
(*.f64 (/.f64 (+.f64 f n) (-.f64 n f)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 (+.f64 f n) (-.f64 n f)))
(*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) #s(literal 2 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) #s(literal 2 binary64)) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) #s(literal 2 binary64)) (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)))
(.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (+.f64 f n)) (/.f64 #s(literal 1 binary64) (-.f64 n f))))
(*.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(*.f64 (sqrt.f64 (+.f64 f n)) (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f)))
(.f64 (sqrt.f64 (+.f64 f n)) (.f64 (sqrt.f64 (+.f64 f n)) (/.f64 #s(literal 1 binary64) (-.f64 n f))))
(*.f64 (neg.f64 (+.f64 f n)) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 n f))))
(*.f64 (/.f64 #s(literal 1 binary64) (-.f64 n f)) (+.f64 f n))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64))) (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f))))
(*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (-.f64 n f))) (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) #s(literal 2 binary64)) #s(literal 1 binary64)) (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) #s(literal 2 binary64)) (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) #s(literal 2 binary64)) (sqrt.f64 (-.f64 n f))) (/.f64 (cbrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (sqrt.f64 (+.f64 f n)) #s(literal 1 binary64)) (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f)))
(*.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64))) (/.f64 (sqrt.f64 (+.f64 f n)) (cbrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (+.f64 f n) (-.f64 (pow.f64 n #s(literal 2 binary64)) (pow.f64 f #s(literal 2 binary64)))) (+.f64 f n))
(*.f64 (/.f64 (+.f64 f n) (-.f64 (pow.f64 n #s(literal 3 binary64)) (pow.f64 f #s(literal 3 binary64)))) (fma.f64 f (+.f64 f n) (pow.f64 n #s(literal 2 binary64))))
(pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) #s(literal 2 binary64))
(pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) #s(literal -1 binary64))
(neg.f64 (/.f64 (+.f64 f n) (neg.f64 (-.f64 n f))))
(neg.f64 (/.f64 (neg.f64 (+.f64 f n)) (-.f64 n f)))
(sqrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) #s(literal 2 binary64)))
(log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
(cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) #s(literal 3 binary64)))
(cbrt.f64 (/.f64 (pow.f64 (+.f64 f n) #s(literal 3 binary64)) (pow.f64 (-.f64 n f) #s(literal 3 binary64))))
(expm1.f64 (log1p.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(log1p.f64 (expm1.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(exp.f64 (log.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(exp.f64 (*.f64 (log.f64 (/.f64 (+.f64 f n) (-.f64 n f))) #s(literal 1 binary64)))

Outputs
#s(literal 1 binary64)
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
(fma.f64 #s(literal 2 binary64) (/.f64 f n) #s(literal 1 binary64))
(fma.f64 f (/.f64 #s(literal 2 binary64) n) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (.f64 f (+.f64 (.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) n)))))
(+.f64 #s(literal 1 binary64) (*.f64 f (fma.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 2 binary64))) (/.f64 #s(literal 2 binary64) n))))
(fma.f64 f (fma.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 2 binary64))) (/.f64 #s(literal 2 binary64) n)) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (.f64 f (+.f64 (.f64 f (+.f64 (.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 3 binary64)))) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 n #s(literal 2 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) n)))))
(+.f64 #s(literal 1 binary64) (*.f64 f (fma.f64 f (fma.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 3 binary64))) (/.f64 #s(literal 2 binary64) (pow.f64 n #s(literal 2 binary64)))) (/.f64 #s(literal 2 binary64) n))))
(fma.f64 f (fma.f64 f (fma.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 3 binary64))) (/.f64 #s(literal 2 binary64) (pow.f64 n #s(literal 2 binary64)))) (/.f64 #s(literal 2 binary64) n)) #s(literal 1 binary64))
#s(literal -1 binary64)
(-.f64 (*.f64 #s(literal -1 binary64) (/.f64 n f)) (+.f64 #s(literal 1 binary64) (/.f64 n f)))
(-.f64 (/.f64 (neg.f64 n) f) (+.f64 #s(literal 1 binary64) (/.f64 n f)))
(-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 n f) #s(literal -1 binary64)) (/.f64 n f))
(fma.f64 (/.f64 n f) #s(literal -2 binary64) #s(literal -1 binary64))
(-.f64 (+.f64 (.f64 #s(literal -1 binary64) (/.f64 n f)) (/.f64 (.f64 n (-.f64 (*.f64 #s(literal -1 binary64) n) n)) (pow.f64 f #s(literal 2 binary64)))) (+.f64 #s(literal 1 binary64) (/.f64 n f)))
(-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 n f) (*.f64 n (/.f64 (-.f64 (neg.f64 n) n) (pow.f64 f #s(literal 2 binary64))))) (+.f64 #s(literal 1 binary64) (/.f64 n f)))
(-.f64 (fma.f64 n (*.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 2 binary64)))) (fma.f64 #s(literal -1 binary64) (/.f64 n f) #s(literal -1 binary64))) (/.f64 n f))
(fma.f64 n (fma.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 2 binary64))) (/.f64 #s(literal -2 binary64) f)) #s(literal -1 binary64))
(-.f64 (+.f64 (.f64 #s(literal -1 binary64) (/.f64 n f)) (/.f64 (.f64 (pow.f64 n #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) n) n)) (pow.f64 f #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 n (-.f64 (.f64 #s(literal -1 binary64) n) n)) (pow.f64 f #s(literal 2 binary64)))) (/.f64 n f))))
(-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 n f) (.f64 (pow.f64 n #s(literal 2 binary64)) (/.f64 (-.f64 (neg.f64 n) n) (pow.f64 f #s(literal 3 binary64))))) (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) (.f64 n (/.f64 (-.f64 (neg.f64 n) n) (pow.f64 f #s(literal 2 binary64)))) (/.f64 n f))))
(-.f64 (-.f64 (fma.f64 (pow.f64 n #s(literal 2 binary64)) (.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 3 binary64)))) (/.f64 (neg.f64 n) f)) (-.f64 (/.f64 n f) (.f64 n (*.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 2 binary64))))))) #s(literal 1 binary64))
(+.f64 (/.f64 (*.f64 #s(literal 2 binary64) (pow.f64 n #s(literal 3 binary64))) (neg.f64 (pow.f64 f #s(literal 3 binary64)))) (fma.f64 n (fma.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 2 binary64))) (/.f64 #s(literal -2 binary64) f)) #s(literal -1 binary64)))
#s(literal -1 binary64)
(-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 n (.f64 #s(literal -1 binary64) n)) f)) #s(literal 1 binary64))
(-.f64 (/.f64 (neg.f64 n) f) (+.f64 #s(literal 1 binary64) (/.f64 n f)))
(-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 n f) #s(literal -1 binary64)) (/.f64 n f))
(fma.f64 (/.f64 n f) #s(literal -2 binary64) #s(literal -1 binary64))
(-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 n (/.f64 (.f64 n (-.f64 n (.f64 #s(literal -1 binary64) n))) f)) (.f64 #s(literal -1 binary64) n)) f)) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (/.f64 (+.f64 n (-.f64 (*.f64 n (/.f64 (-.f64 n (neg.f64 n)) f)) (neg.f64 n))) f) #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) (/.f64 (+.f64 n (fma.f64 n (/.f64 (*.f64 #s(literal 2 binary64) n) f) n)) f) #s(literal -1 binary64))
(-.f64 #s(literal -1 binary64) (/.f64 (.f64 n (+.f64 (.f64 #s(literal 2 binary64) (/.f64 n f)) #s(literal 2 binary64))) f))
(-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 n (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 n #s(literal 2 binary64)) (-.f64 n (.f64 #s(literal -1 binary64) n))) f)) (.f64 n (-.f64 n (.f64 #s(literal -1 binary64) n)))) f))) (.f64 #s(literal -1 binary64) n)) f)) #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) (/.f64 (+.f64 n (-.f64 (neg.f64 (/.f64 (-.f64 (neg.f64 (.f64 (pow.f64 n #s(literal 2 binary64)) (/.f64 (-.f64 n (neg.f64 n)) f))) (.f64 n (-.f64 n (neg.f64 n)))) f)) (neg.f64 n))) f) #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) (/.f64 (+.f64 n (-.f64 n (/.f64 (+.f64 (.f64 (pow.f64 n #s(literal 2 binary64)) (.f64 (/.f64 n f) #s(literal -2 binary64))) (.f64 n (.f64 n #s(literal -2 binary64)))) f))) f) #s(literal -1 binary64))
(-.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 #s(literal 2 binary64) n) (/.f64 (.f64 (*.f64 #s(literal 2 binary64) n) (+.f64 (/.f64 (pow.f64 n #s(literal 2 binary64)) f) n)) f)) f))
#s(literal -1 binary64)
(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
(-.f64 (/.f64 (neg.f64 n) f) (+.f64 #s(literal 1 binary64) (/.f64 n f)))
(-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 n f) #s(literal -1 binary64)) (/.f64 n f))
(fma.f64 (/.f64 n f) #s(literal -2 binary64) #s(literal -1 binary64))
(-.f64 (.f64 n (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) f)))) #s(literal 1 binary64))
(-.f64 (fma.f64 #s(literal -1 binary64) (/.f64 n f) (*.f64 n (/.f64 (-.f64 (neg.f64 n) n) (pow.f64 f #s(literal 2 binary64))))) (+.f64 #s(literal 1 binary64) (/.f64 n f)))
(-.f64 (fma.f64 n (*.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 2 binary64)))) (fma.f64 #s(literal -1 binary64) (/.f64 n f) #s(literal -1 binary64))) (/.f64 n f))
(fma.f64 n (fma.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 2 binary64))) (/.f64 #s(literal -2 binary64) f)) #s(literal -1 binary64))
(-.f64 (.f64 n (-.f64 (.f64 n (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 3 binary64)))) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 f #s(literal 2 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) f)))) #s(literal 1 binary64))
(fma.f64 n (-.f64 (.f64 n (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 3 binary64)))) (/.f64 #s(literal 2 binary64) (pow.f64 f #s(literal 2 binary64))))) (/.f64 #s(literal 2 binary64) f)) #s(literal -1 binary64))
(fma.f64 n (fma.f64 n (fma.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 3 binary64))) (/.f64 #s(literal -2 binary64) (pow.f64 f #s(literal 2 binary64)))) (/.f64 #s(literal -2 binary64) f)) #s(literal -1 binary64))
#s(literal 1 binary64)
(-.f64 (+.f64 #s(literal 1 binary64) (/.f64 f n)) (*.f64 #s(literal -1 binary64) (/.f64 f n)))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
(fma.f64 #s(literal 2 binary64) (/.f64 f n) #s(literal 1 binary64))
(fma.f64 f (/.f64 #s(literal 2 binary64) n) #s(literal 1 binary64))
(-.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 f n) (/.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) (pow.f64 n #s(literal 2 binary64))))) (*.f64 #s(literal -1 binary64) (/.f64 f n)))
(+.f64 #s(literal 1 binary64) (*.f64 f (fma.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 2 binary64))) (/.f64 #s(literal 2 binary64) n))))
(fma.f64 f (fma.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 2 binary64))) (/.f64 #s(literal 2 binary64) n)) #s(literal 1 binary64))
(-.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 f n) (/.f64 (.f64 (pow.f64 f #s(literal 2 binary64)) (-.f64 f (.f64 #s(literal -1 binary64) f))) (pow.f64 n #s(literal 3 binary64))))) (+.f64 (.f64 #s(literal -1 binary64) (/.f64 f n)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) (pow.f64 n #s(literal 2 binary64))))))
(+.f64 #s(literal 1 binary64) (*.f64 f (fma.f64 f (fma.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 3 binary64))) (/.f64 #s(literal 2 binary64) (pow.f64 n #s(literal 2 binary64)))) (/.f64 #s(literal 2 binary64) n))))
(fma.f64 f (fma.f64 f (fma.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 3 binary64))) (/.f64 #s(literal 2 binary64) (pow.f64 n #s(literal 2 binary64)))) (/.f64 #s(literal 2 binary64) n)) #s(literal 1 binary64))
#s(literal 1 binary64)
(-.f64 (+.f64 #s(literal 1 binary64) (/.f64 f n)) (*.f64 #s(literal -1 binary64) (/.f64 f n)))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
(fma.f64 #s(literal 2 binary64) (/.f64 f n) #s(literal 1 binary64))
(fma.f64 f (/.f64 #s(literal 2 binary64) n) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 #s(literal -1 binary64) (-.f64 f (.f64 #s(literal -1 binary64) f))) (.f64 #s(literal -1 binary64) (/.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) n))) n)))
(+.f64 #s(literal 1 binary64) (*.f64 f (fma.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 2 binary64))) (/.f64 #s(literal 2 binary64) n))))
(fma.f64 f (fma.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 2 binary64))) (/.f64 #s(literal 2 binary64) n)) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 #s(literal -1 binary64) (-.f64 f (.f64 #s(literal -1 binary64) f))) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) (/.f64 (.f64 (pow.f64 f #s(literal 2 binary64)) (-.f64 f (.f64 #s(literal -1 binary64) f))) n)) n))) n)))
(+.f64 #s(literal 1 binary64) (neg.f64 (/.f64 (fma.f64 #s(literal -1 binary64) (-.f64 f (neg.f64 f)) (neg.f64 (/.f64 (fma.f64 f (-.f64 f (neg.f64 f)) (*.f64 (pow.f64 f #s(literal 2 binary64)) (/.f64 (-.f64 f (neg.f64 f)) n))) n))) n)))
(-.f64 #s(literal 1 binary64) (/.f64 (-.f64 (neg.f64 (.f64 #s(literal 2 binary64) f)) (/.f64 (fma.f64 f (.f64 #s(literal 2 binary64) f) (.f64 (pow.f64 f #s(literal 2 binary64)) (.f64 f (/.f64 #s(literal 2 binary64) n)))) n)) n))
(+.f64 #s(literal 1 binary64) (/.f64 (fma.f64 #s(literal 2 binary64) f (/.f64 (.f64 f (.f64 f (+.f64 #s(literal 2 binary64) (*.f64 f (/.f64 #s(literal 2 binary64) n))))) n)) n))
(+.f64 #s(literal 0 binary64) (/.f64 (+.f64 f n) (-.f64 n f)))
(/.f64 (+.f64 f n) (-.f64 n f))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) #s(literal 1 binary64))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (+.f64 f n) (/.f64 #s(literal 1 binary64) (-.f64 n f)))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (/.f64 (+.f64 f n) (-.f64 n f)) #s(literal 1 binary64))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 #s(literal 1 binary64) (/.f64 (+.f64 f n) (-.f64 n f)))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) #s(literal 2 binary64)))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) #s(literal 2 binary64)) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) #s(literal 2 binary64)) (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)))
(/.f64 (+.f64 f n) (-.f64 n f))
(.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (+.f64 f n)) (/.f64 #s(literal 1 binary64) (-.f64 n f))))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (sqrt.f64 (+.f64 f n)) (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f)))
(/.f64 (+.f64 f n) (-.f64 n f))
(.f64 (sqrt.f64 (+.f64 f n)) (.f64 (sqrt.f64 (+.f64 f n)) (/.f64 #s(literal 1 binary64) (-.f64 n f))))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (neg.f64 (+.f64 f n)) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 n f))))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (/.f64 #s(literal 1 binary64) (-.f64 n f)) (+.f64 f n))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64))) (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f))))
(/.f64 (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f))) (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64)))
(/.f64 (+.f64 f n) (*.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64)) (cbrt.f64 (-.f64 n f))))
(*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (-.f64 n f))) (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f))))
(/.f64 (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f))) (sqrt.f64 (-.f64 n f)))
(/.f64 (+.f64 f n) (*.f64 (sqrt.f64 (-.f64 n f)) (sqrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) #s(literal 2 binary64)) #s(literal 1 binary64)) (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) #s(literal 2 binary64)) (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) #s(literal 2 binary64)) (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64))))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) #s(literal 2 binary64)) (/.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) #s(literal 2 binary64)) (sqrt.f64 (-.f64 n f))) (/.f64 (cbrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f))))
(*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (-.f64 n f))) (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f))))
(/.f64 (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f))) (sqrt.f64 (-.f64 n f)))
(/.f64 (+.f64 f n) (*.f64 (sqrt.f64 (-.f64 n f)) (sqrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (sqrt.f64 (+.f64 f n)) #s(literal 1 binary64)) (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f)))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64))) (/.f64 (sqrt.f64 (+.f64 f n)) (cbrt.f64 (-.f64 n f))))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64))) (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f))))
(/.f64 (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f))) (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64)))
(/.f64 (+.f64 f n) (*.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64)) (cbrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (+.f64 f n) (-.f64 (pow.f64 n #s(literal 2 binary64)) (pow.f64 f #s(literal 2 binary64)))) (+.f64 f n))
(*.f64 (+.f64 f n) (/.f64 (+.f64 f n) (-.f64 (pow.f64 n #s(literal 2 binary64)) (pow.f64 f #s(literal 2 binary64)))))
(/.f64 (*.f64 (+.f64 f n) (+.f64 f n)) (-.f64 (pow.f64 n #s(literal 2 binary64)) (pow.f64 f #s(literal 2 binary64))))
(/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) #s(literal 6 binary64)) (-.f64 (pow.f64 n #s(literal 2 binary64)) (pow.f64 f #s(literal 2 binary64))))
(*.f64 (/.f64 (+.f64 f n) (-.f64 (pow.f64 n #s(literal 3 binary64)) (pow.f64 f #s(literal 3 binary64)))) (fma.f64 f (+.f64 f n) (pow.f64 n #s(literal 2 binary64))))
(*.f64 (+.f64 f n) (/.f64 (fma.f64 f (+.f64 f n) (pow.f64 n #s(literal 2 binary64))) (-.f64 (pow.f64 n #s(literal 3 binary64)) (pow.f64 f #s(literal 3 binary64)))))
(pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) #s(literal 1 binary64))
(/.f64 (+.f64 f n) (-.f64 n f))
(pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) #s(literal 3 binary64))
(/.f64 (+.f64 f n) (-.f64 n f))
(pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(/.f64 (+.f64 f n) (-.f64 n f))
(pow.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) #s(literal 2 binary64))
(/.f64 (+.f64 f n) (-.f64 n f))
(pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) #s(literal -1 binary64))
(/.f64 (+.f64 f n) (-.f64 n f))
(neg.f64 (/.f64 (+.f64 f n) (neg.f64 (-.f64 n f))))
(/.f64 (+.f64 f n) (-.f64 n f))
(neg.f64 (/.f64 (neg.f64 (+.f64 f n)) (-.f64 n f)))
(/.f64 (+.f64 f n) (-.f64 n f))
(sqrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) #s(literal 2 binary64)))
(/.f64 (+.f64 f n) (-.f64 n f))
(log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(/.f64 (+.f64 f n) (-.f64 n f))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
(/.f64 (+.f64 f n) (-.f64 n f))
(cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) #s(literal 3 binary64)))
(/.f64 (+.f64 f n) (-.f64 n f))
(cbrt.f64 (/.f64 (pow.f64 (+.f64 f n) #s(literal 3 binary64)) (pow.f64 (-.f64 n f) #s(literal 3 binary64))))
(/.f64 (+.f64 f n) (-.f64 n f))
(expm1.f64 (log1p.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(/.f64 (+.f64 f n) (-.f64 n f))
(log1p.f64 (expm1.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(/.f64 (+.f64 f n) (-.f64 n f))
(exp.f64 (log.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(/.f64 (+.f64 f n) (-.f64 n f))
(exp.f64 (*.f64 (log.f64 (/.f64 (+.f64 f n) (-.f64 n f))) #s(literal 1 binary64)))
(/.f64 (+.f64 f n) (-.f64 n f))

eval25.0ms (0.9%)

Compiler: Compiled 1610 to 764 computations (52.5% saved)

prune14.0ms (0.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	94	4	98
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	94	5	99

Accuracy

100.0%

Counts

99 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 f n) (-.f64 n f))
▶	52.9%	(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
▶	49.4%	(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
▶	48.7%	#s(literal 1 binary64)
▶	52.0%	#s(literal -1 binary64)

Compiler

Compiled 33 to 25 computations (24.2% saved)

localize186.0ms (6.7%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	100.0%	(*.f64 #s(literal -2 binary64) (/.f64 n f))
✓	100.0%	(*.f64 #s(literal 2 binary64) (/.f64 f n))

Compiler

Compiled 43 to 23 computations (46.5% saved)

Precisions

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

Operation ival-mult, time spent: 118.0ms, 89.0% of total-time

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

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

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

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

series9.0ms (0.3%)

Counts

2 → 0

Calls

Call 1

Inputs
#<alt (*.f64 #s(literal 2 binary64) (/.f64 f n))>
#<alt (*.f64 #s(literal -2 binary64) (/.f64 n f))>

Outputs

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	f	@	inf	(* 2 (/ f n))
1.0ms	n	@	0	(* 2 (/ f n))
1.0ms	f	@	0	(* 2 (/ f n))
1.0ms	n	@	0	(* -2 (/ n f))
1.0ms	n	@	inf	(* 2 (/ f n))

rewrite87.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1500×	`unpow-prod-down`
778×	`log-prod`
660×	`log1p-expm1-u`
660×	`expm1-log1p-u`
352×	`pow-unpow`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	38
1	139	38
2	1821	38

Stop Event

1×	node limit

Counts

2 → 61

Calls

Call 1

Inputs
(*.f64 #s(literal 2 binary64) (/.f64 f n))
(*.f64 #s(literal -2 binary64) (/.f64 n f))

Outputs
(+.f64 (/.f64 f n) (/.f64 f n))
(+.f64 #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 f n))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 f n)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 f n)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 f n)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n)))) #s(literal 1 binary64))
(/.f64 #s(literal 2 binary64) (/.f64 n f))
(/.f64 #s(literal 1 binary64) (/.f64 n (*.f64 #s(literal 2 binary64) f)))
(/.f64 (*.f64 #s(literal 2 binary64) f) n)
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) f)) (neg.f64 n))
(/.f64 (*.f64 #s(literal 2 binary64) (neg.f64 f)) (neg.f64 n))
(/.f64 (*.f64 (neg.f64 f) #s(literal 2 binary64)) (neg.f64 n))
(/.f64 (/.f64 (*.f64 #s(literal 2 binary64) f) #s(literal 1 binary64)) n)
(/.f64 (/.f64 (*.f64 #s(literal 2 binary64) f) (pow.f64 (cbrt.f64 n) #s(literal 2 binary64))) (cbrt.f64 n))
(/.f64 (/.f64 (*.f64 #s(literal 2 binary64) f) (sqrt.f64 n)) (sqrt.f64 n))
(pow.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n))) #s(literal 3 binary64))
(pow.f64 (*.f64 (pow.f64 (/.f64 f n) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n))) #s(literal 2 binary64))
(pow.f64 (/.f64 n (*.f64 #s(literal 2 binary64) f)) #s(literal -1 binary64))
(sqrt.f64 (*.f64 (pow.f64 (/.f64 f n) #s(literal 2 binary64)) #s(literal 4 binary64)))
(log.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 f n)))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n)))))
(cbrt.f64 (pow.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n))))
(log1p.f64 (expm1.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n))))
(exp.f64 (log.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n))))
(exp.f64 (.f64 (log.f64 (.f64 #s(literal 2 binary64) (/.f64 f n))) #s(literal 1 binary64)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 #s(literal 2 binary64) (/.f64 f n)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 #s(literal 2 binary64) (/.f64 f n)) #s(literal 3 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (/.f64 f n)))) #s(literal 2 binary64)))
(+.f64 #s(literal 0 binary64) (*.f64 #s(literal -2 binary64) (/.f64 n f)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 #s(literal -2 binary64)) (/.f64 n f))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 #s(literal -2 binary64)) (/.f64 n f)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 #s(literal -2 binary64)) (/.f64 n f)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 #s(literal -2 binary64)) (/.f64 n f)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 1 binary64))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(/.f64 #s(literal 1 binary64) (/.f64 f (*.f64 n #s(literal -2 binary64))))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(/.f64 (neg.f64 (*.f64 n #s(literal -2 binary64))) (neg.f64 f))
(/.f64 (*.f64 #s(literal -2 binary64) (neg.f64 n)) (neg.f64 f))
(/.f64 (*.f64 (neg.f64 n) #s(literal -2 binary64)) (neg.f64 f))
(/.f64 (/.f64 (*.f64 n #s(literal -2 binary64)) #s(literal 1 binary64)) f)
(/.f64 (/.f64 (*.f64 n #s(literal -2 binary64)) (pow.f64 (cbrt.f64 f) #s(literal 2 binary64))) (cbrt.f64 f))
(/.f64 (/.f64 (*.f64 n #s(literal -2 binary64)) (sqrt.f64 f)) (sqrt.f64 f))
(pow.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))) #s(literal 3 binary64))
(pow.f64 (*.f64 (pow.f64 (/.f64 f n) #s(literal -2 binary64)) #s(literal 4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))) #s(literal 2 binary64))
(pow.f64 (/.f64 f (*.f64 n #s(literal -2 binary64))) #s(literal -1 binary64))
(sqrt.f64 (*.f64 (pow.f64 (/.f64 f n) #s(literal -2 binary64)) #s(literal 4 binary64)))
(log.f64 (pow.f64 (exp.f64 #s(literal -2 binary64)) (/.f64 n f)))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))))
(cbrt.f64 (pow.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))
(log1p.f64 (expm1.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))
(exp.f64 (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))
(exp.f64 (.f64 (log.f64 (.f64 #s(literal -2 binary64) (/.f64 n f))) #s(literal 1 binary64)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 2 binary64)))

simplify97.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

1276×	`associate-r`
1058×	`associate-l`
968×	`cube-prod`
742×	`exp-prod`
734×	`fma-neg`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	156	1323
1	309	1323
2	825	1317
3	5104	1317

Stop Event

1×	node limit

Counts

61 → 71

Calls

Call 1

Inputs
(+.f64 (/.f64 f n) (/.f64 f n))
(+.f64 #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 f n))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 f n)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 f n)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 f n)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n)))) #s(literal 1 binary64))
(/.f64 #s(literal 2 binary64) (/.f64 n f))
(/.f64 #s(literal 1 binary64) (/.f64 n (*.f64 #s(literal 2 binary64) f)))
(/.f64 (*.f64 #s(literal 2 binary64) f) n)
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) f)) (neg.f64 n))
(/.f64 (*.f64 #s(literal 2 binary64) (neg.f64 f)) (neg.f64 n))
(/.f64 (*.f64 (neg.f64 f) #s(literal 2 binary64)) (neg.f64 n))
(/.f64 (/.f64 (*.f64 #s(literal 2 binary64) f) #s(literal 1 binary64)) n)
(/.f64 (/.f64 (*.f64 #s(literal 2 binary64) f) (pow.f64 (cbrt.f64 n) #s(literal 2 binary64))) (cbrt.f64 n))
(/.f64 (/.f64 (*.f64 #s(literal 2 binary64) f) (sqrt.f64 n)) (sqrt.f64 n))
(pow.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n))) #s(literal 3 binary64))
(pow.f64 (*.f64 (pow.f64 (/.f64 f n) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n))) #s(literal 2 binary64))
(pow.f64 (/.f64 n (*.f64 #s(literal 2 binary64) f)) #s(literal -1 binary64))
(sqrt.f64 (*.f64 (pow.f64 (/.f64 f n) #s(literal 2 binary64)) #s(literal 4 binary64)))
(log.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 f n)))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n)))))
(cbrt.f64 (pow.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n))))
(log1p.f64 (expm1.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n))))
(exp.f64 (log.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n))))
(exp.f64 (.f64 (log.f64 (.f64 #s(literal 2 binary64) (/.f64 f n))) #s(literal 1 binary64)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 #s(literal 2 binary64) (/.f64 f n)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 #s(literal 2 binary64) (/.f64 f n)) #s(literal 3 binary64))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (/.f64 f n)))) #s(literal 2 binary64)))
(+.f64 #s(literal 0 binary64) (*.f64 #s(literal -2 binary64) (/.f64 n f)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 #s(literal -2 binary64)) (/.f64 n f))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 #s(literal -2 binary64)) (/.f64 n f)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 #s(literal -2 binary64)) (/.f64 n f)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 #s(literal -2 binary64)) (/.f64 n f)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 1 binary64))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(/.f64 #s(literal 1 binary64) (/.f64 f (*.f64 n #s(literal -2 binary64))))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(/.f64 (neg.f64 (*.f64 n #s(literal -2 binary64))) (neg.f64 f))
(/.f64 (*.f64 #s(literal -2 binary64) (neg.f64 n)) (neg.f64 f))
(/.f64 (*.f64 (neg.f64 n) #s(literal -2 binary64)) (neg.f64 f))
(/.f64 (/.f64 (*.f64 n #s(literal -2 binary64)) #s(literal 1 binary64)) f)
(/.f64 (/.f64 (*.f64 n #s(literal -2 binary64)) (pow.f64 (cbrt.f64 f) #s(literal 2 binary64))) (cbrt.f64 f))
(/.f64 (/.f64 (*.f64 n #s(literal -2 binary64)) (sqrt.f64 f)) (sqrt.f64 f))
(pow.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))) #s(literal 3 binary64))
(pow.f64 (*.f64 (pow.f64 (/.f64 f n) #s(literal -2 binary64)) #s(literal 4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (pow.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))) #s(literal 2 binary64))
(pow.f64 (/.f64 f (*.f64 n #s(literal -2 binary64))) #s(literal -1 binary64))
(sqrt.f64 (*.f64 (pow.f64 (/.f64 f n) #s(literal -2 binary64)) #s(literal 4 binary64)))
(log.f64 (pow.f64 (exp.f64 #s(literal -2 binary64)) (/.f64 n f)))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))))
(cbrt.f64 (pow.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))
(log1p.f64 (expm1.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))
(exp.f64 (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))
(exp.f64 (.f64 (log.f64 (.f64 #s(literal -2 binary64) (/.f64 n f))) #s(literal 1 binary64)))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 2 binary64)))

Outputs
(+.f64 (/.f64 f n) (/.f64 f n))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(+.f64 #s(literal 0 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 f n))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 f n)))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 f) (/.f64 #s(literal 2 binary64) n))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 f) (/.f64 #s(literal 2 binary64) n)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 f n)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 f n)))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 f n)))))
(*.f64 #s(literal 2 binary64) (log.f64 (fabs.f64 (exp.f64 (/.f64 f n)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n)))) #s(literal 1 binary64))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(/.f64 #s(literal 2 binary64) (/.f64 n f))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(/.f64 #s(literal 1 binary64) (/.f64 n (*.f64 #s(literal 2 binary64) f)))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(/.f64 (*.f64 #s(literal 2 binary64) f) n)
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(/.f64 (neg.f64 (*.f64 #s(literal 2 binary64) f)) (neg.f64 n))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(/.f64 (*.f64 #s(literal 2 binary64) (neg.f64 f)) (neg.f64 n))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(/.f64 (*.f64 (neg.f64 f) #s(literal 2 binary64)) (neg.f64 n))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(/.f64 (/.f64 (*.f64 #s(literal 2 binary64) f) #s(literal 1 binary64)) n)
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(/.f64 (/.f64 (*.f64 #s(literal 2 binary64) f) (pow.f64 (cbrt.f64 n) #s(literal 2 binary64))) (cbrt.f64 n))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(/.f64 (/.f64 (*.f64 #s(literal 2 binary64) f) (sqrt.f64 n)) (sqrt.f64 n))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(pow.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n)) #s(literal 1 binary64))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(pow.f64 (cbrt.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n))) #s(literal 3 binary64))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(pow.f64 (*.f64 (pow.f64 (/.f64 f n) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 1/2 binary64))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(pow.f64 (pow.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(pow.f64 (sqrt.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n))) #s(literal 2 binary64))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(pow.f64 (/.f64 n (*.f64 #s(literal 2 binary64) f)) #s(literal -1 binary64))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(sqrt.f64 (*.f64 (pow.f64 (/.f64 f n) #s(literal 2 binary64)) #s(literal 4 binary64)))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(log.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 f n)))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n)))))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(cbrt.f64 (pow.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n)) #s(literal 3 binary64)))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(expm1.f64 (log1p.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n))))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(log1p.f64 (expm1.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n))))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(exp.f64 (log.f64 (*.f64 #s(literal 2 binary64) (/.f64 f n))))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(exp.f64 (.f64 (log.f64 (.f64 #s(literal 2 binary64) (/.f64 f n))) #s(literal 1 binary64)))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 #s(literal 2 binary64) (/.f64 f n)))) #s(literal 3 binary64)))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 #s(literal 2 binary64) (/.f64 f n)) #s(literal 3 binary64))) #s(literal 1/3 binary64)))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (/.f64 f n)))) #s(literal 2 binary64)))
(*.f64 (/.f64 f n) #s(literal 2 binary64))
(*.f64 f (/.f64 #s(literal 2 binary64) n))
(+.f64 #s(literal 0 binary64) (*.f64 #s(literal -2 binary64) (/.f64 n f)))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 #s(literal -2 binary64)) (/.f64 n f))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 #s(literal -2 binary64)) (/.f64 n f)))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 n) (/.f64 #s(literal -2 binary64) f))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 n) (/.f64 #s(literal -2 binary64) f)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 #s(literal -2 binary64)) (/.f64 n f)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 #s(literal -2 binary64)) (/.f64 n f)))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 #s(literal -2 binary64)) (/.f64 n f)))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 n) (/.f64 #s(literal -2 binary64) f)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 1 binary64))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(/.f64 #s(literal 1 binary64) (/.f64 f (*.f64 n #s(literal -2 binary64))))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (neg.f64 (*.f64 n #s(literal -2 binary64))) (neg.f64 f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(/.f64 (*.f64 #s(literal -2 binary64) (neg.f64 n)) (neg.f64 f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(/.f64 (*.f64 (neg.f64 n) #s(literal -2 binary64)) (neg.f64 f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(/.f64 (/.f64 (*.f64 n #s(literal -2 binary64)) #s(literal 1 binary64)) f)
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(/.f64 (/.f64 (*.f64 n #s(literal -2 binary64)) (pow.f64 (cbrt.f64 f) #s(literal 2 binary64))) (cbrt.f64 f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(/.f64 (/.f64 (*.f64 n #s(literal -2 binary64)) (sqrt.f64 f)) (sqrt.f64 f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(pow.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(pow.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))) #s(literal 3 binary64))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(pow.f64 (*.f64 (pow.f64 (/.f64 f n) #s(literal -2 binary64)) #s(literal 4 binary64)) #s(literal 1/2 binary64))
(sqrt.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 f n) #s(literal -2 binary64))))
(pow.f64 (pow.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(pow.f64 (sqrt.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))) #s(literal 2 binary64))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(pow.f64 (/.f64 f (*.f64 n #s(literal -2 binary64))) #s(literal -1 binary64))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(sqrt.f64 (*.f64 (pow.f64 (/.f64 f n) #s(literal -2 binary64)) #s(literal 4 binary64)))
(sqrt.f64 (*.f64 #s(literal 4 binary64) (pow.f64 (/.f64 f n) #s(literal -2 binary64))))
(log.f64 (pow.f64 (exp.f64 #s(literal -2 binary64)) (/.f64 n f)))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(cbrt.f64 (pow.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 3 binary64)))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(expm1.f64 (log1p.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(log1p.f64 (expm1.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(exp.f64 (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(exp.f64 (.f64 (log.f64 (.f64 #s(literal -2 binary64) (/.f64 n f))) #s(literal 1 binary64)))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 3 binary64)))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 1/3 binary64)))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 2 binary64)))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)

eval18.0ms (0.6%)

Compiler: Compiled 766 to 540 computations (29.5% saved)

prune52.0ms (1.9%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	71	0	71
Fresh	0	0	0
Picked	0	4	4
Done	0	1	1
Total	71	5	76

Accuracy

100.0%

Counts

76 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 f n) (-.f64 n f))
✓	52.9%	(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
✓	49.4%	(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
✓	48.7%	#s(literal 1 binary64)
✓	52.0%	#s(literal -1 binary64)

Compiler

Compiled 66 to 45 computations (31.8% saved)

regimes12.0ms (0.4%)

Counts

6 → 1

Calls

Call 1

Inputs
#s(literal -1 binary64)
#s(literal 1 binary64)
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
(/.f64 (+.f64 f n) (-.f64 n f))
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))

Outputs
(/.f64 (+.f64 f n) (-.f64 n f))

Calls

3 calls:

5.0ms	n
5.0ms	f
2.0ms	(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))

Results

Accuracy	Segments	Branch
100.0%	1	`f`
100.0%	1	`n`
100.0%	1	`(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))`

Compiler

Compiled 16 to 10 computations (37.5% saved)

regimes49.0ms (1.8%)

Counts

4 → 5

Calls

Call 1

Inputs
#s(literal -1 binary64)
#s(literal 1 binary64)
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))

Outputs
(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))

Calls

2 calls:

26.0ms	n
22.0ms	f

Results

Accuracy	Segments	Branch
81.4%	5	`f`
78.1%	5	`n`

Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes70.0ms (2.5%)

Counts

3 → 7

Calls

Call 1

Inputs
#s(literal -1 binary64)
#s(literal 1 binary64)
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))

Outputs
#s(literal -1 binary64)
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
#s(literal -1 binary64)
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
#s(literal -1 binary64)
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
#s(literal -1 binary64)

Calls

1 calls:

70.0ms

Results

Accuracy	Segments	Branch
82.5%	7	`f`

Compiler

Compiled 3 to 2 computations (33.3% saved)

regimes54.0ms (1.9%)

Counts

2 → 5

Calls

Call 1

Inputs
#s(literal -1 binary64)
#s(literal 1 binary64)

Outputs
#s(literal -1 binary64)
#s(literal 1 binary64)
#s(literal -1 binary64)
#s(literal 1 binary64)
#s(literal -1 binary64)

Calls

1 calls:

53.0ms

Results

Accuracy	Segments	Branch
80.8%	5	`f`

Compiler

Compiled 3 to 2 computations (33.3% saved)

regimes5.0ms (0.2%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(literal -1 binary64)

Outputs
#s(literal -1 binary64)

Calls

2 calls:

3.0ms	f
3.0ms	n

Results

Accuracy	Segments	Branch
52.0%	1	`n`
52.0%	1	`f`

Compiler

Compiled 6 to 4 computations (33.3% saved)

bsearch185.0ms (6.7%)

Algorithm

4×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
42.0ms	3.309102355751485e-71	1.9400827420088133e-62
66.0ms	-3.345717485328469e-89	-8.177992994587612e-93
14.0ms	-4.214757850185475e-51	-2.767477299094609e-53
62.0ms	-1.220245551315228e+19	-107572942901681780.0

Results

175.0ms	495×	256	valid
0.0ms	1×	256	valid

Compiler

Compiled 635 to 506 computations (20.3% saved)

Precisions

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

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

Operation ival-sub, time spent: 3.0ms, 5.0% of total-time

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

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

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

bsearch139.0ms (5%)

Algorithm

6×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	1.3299058769585223e+87	1.7791436646926e+88
14.0ms	32722142.394559093	631560837.7310239
20.0ms	3.309102355751485e-71	1.9400827420088133e-62
16.0ms	-3.345717485328469e-89	-8.177992994587612e-93
62.0ms	-4.214757850185475e-51	-2.767477299094609e-53
14.0ms	-1.220245551315228e+19	-107572942901681780.0

Results

126.0ms	703×	256	valid
0.0ms	1×	256	valid

Compiler

Compiled 631 to 538 computations (14.7% saved)

Precisions

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

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

Operation ival-sub, time spent: 6.0ms, 9.0% of total-time

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

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

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

bsearch43.0ms (1.6%)

Algorithm

4×	binary-search

Stop Event

1×	predicate-same
1×	narrow-enough
1×	predicate-same
1×	predicate-same

Steps

Time	Left	Right
2.0ms	3.309102355751485e-71	1.9400827420088133e-62
16.0ms	-3.345717485328469e-89	-8.177992994587612e-93
12.0ms	-4.214757850185475e-51	-2.767477299094609e-53
13.0ms	-1.220245551315228e+19	-107572942901681780.0

Results

37.0ms	335×	256	valid
0.0ms	1×	256	valid

Compiler

Compiled 183 to 178 computations (2.7% saved)

Precisions

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

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

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

Operation ival-sub, time spent: 2.0ms, 19.0% of total-time

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

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

simplify18.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

32×	`not-or`
26×	`if-not`
26×	`not-not`
22×	`if-if-or-not`
12×	`+-commutative`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	65	391
1	90	361
2	105	343
3	130	323
4	146	323
5	164	319
6	173	319
7	180	319
8	182	319
9	183	319

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(/.f64 (+.f64 f n) (-.f64 n f))
(if (<=.f64 f #s(literal -370000000000000000 binary64)) (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64)) (if (<=.f64 f #s(literal -6686066773453359/215679573337205118357336120696157045389097155380324579848828881993728 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))) (if (<=.f64 f #s(literal -8366682951131781/146783911423364576743092537299333564210980159306769991919205685720763064069663027716481187399048043939495936 binary64)) (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64)) (if (<=.f64 f #s(literal 3794275180128377/118571099379011784113736688648896417641748464297615937576404566024103044751294464 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))) (-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))))))
(if (<=.f64 f #s(literal -5600000000000000000 binary64)) #s(literal -1 binary64) (if (<=.f64 f #s(literal -2123095800038113/1684996666696914987166688442938726917102321526408785780068975640576 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))) (if (<=.f64 f #s(literal -4070960043382377/1146749307995035755805410447651043470398282494584140561868794419693461438044242404035009276555062843277312 binary64)) #s(literal -1 binary64) (if (<=.f64 f #s(literal 7225426368408531/926336713898529563388567880069503262826159877325124512315660672063305037119488 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))) (if (<=.f64 f #s(literal 290000000 binary64)) #s(literal -1 binary64) (if (<=.f64 f #s(literal 1350000000000000033554931254992206166679069758171335234928342507019998202064098539077632 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n))) #s(literal -1 binary64)))))))
(if (<=.f64 f #s(literal -1500000000000000000 binary64)) #s(literal -1 binary64) (if (<=.f64 f #s(literal -7548785066802179/215679573337205118357336120696157045389097155380324579848828881993728 binary64)) #s(literal 1 binary64) (if (<=.f64 f #s(literal -4586997231980143/1146749307995035755805410447651043470398282494584140561868794419693461438044242404035009276555062843277312 binary64)) #s(literal -1 binary64) (if (<=.f64 f #s(literal 6216540455122333/124330809102446660538845562036705210025114037699336929360115994223289874253133343883264 binary64)) #s(literal 1 binary64) #s(literal -1 binary64)))))
#s(literal -1 binary64)

Outputs
(/.f64 (+.f64 f n) (-.f64 n f))
(if (<=.f64 f #s(literal -370000000000000000 binary64)) (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64)) (if (<=.f64 f #s(literal -6686066773453359/215679573337205118357336120696157045389097155380324579848828881993728 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))) (if (<=.f64 f #s(literal -8366682951131781/146783911423364576743092537299333564210980159306769991919205685720763064069663027716481187399048043939495936 binary64)) (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64)) (if (<=.f64 f #s(literal 3794275180128377/118571099379011784113736688648896417641748464297615937576404566024103044751294464 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))) (-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))))))
(if (<=.f64 f #s(literal -370000000000000000 binary64)) (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64)) (if (<=.f64 f #s(literal -6686066773453359/215679573337205118357336120696157045389097155380324579848828881993728 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))) (if (or (<=.f64 f #s(literal -8366682951131781/146783911423364576743092537299333564210980159306769991919205685720763064069663027716481187399048043939495936 binary64)) (not (<=.f64 f #s(literal 3794275180128377/118571099379011784113736688648896417641748464297615937576404566024103044751294464 binary64)))) (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))))))
(if (<=.f64 f #s(literal -370000000000000000 binary64)) (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64)) (if (or (<=.f64 f #s(literal -6686066773453359/215679573337205118357336120696157045389097155380324579848828881993728 binary64)) (not (or (<=.f64 f #s(literal -8366682951131781/146783911423364576743092537299333564210980159306769991919205685720763064069663027716481187399048043939495936 binary64)) (not (<=.f64 f #s(literal 3794275180128377/118571099379011784113736688648896417641748464297615937576404566024103044751294464 binary64)))))) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))) (-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))))
(if (or (<=.f64 f #s(literal -370000000000000000 binary64)) (not (or (<=.f64 f #s(literal -6686066773453359/215679573337205118357336120696157045389097155380324579848828881993728 binary64)) (not (or (<=.f64 f #s(literal -8366682951131781/146783911423364576743092537299333564210980159306769991919205685720763064069663027716481187399048043939495936 binary64)) (not (<=.f64 f #s(literal 3794275180128377/118571099379011784113736688648896417641748464297615937576404566024103044751294464 binary64)))))))) (+.f64 (.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal -1 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))))
(if (or (<=.f64 f #s(literal -370000000000000000 binary64)) (not (or (<=.f64 f #s(literal -6686066773453359/215679573337205118357336120696157045389097155380324579848828881993728 binary64)) (and (not (<=.f64 f #s(literal -8366682951131781/146783911423364576743092537299333564210980159306769991919205685720763064069663027716481187399048043939495936 binary64))) (<=.f64 f #s(literal 3794275180128377/118571099379011784113736688648896417641748464297615937576404566024103044751294464 binary64)))))) (+.f64 (.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal -1 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))))
(if (or (<=.f64 f #s(literal -370000000000000000 binary64)) (and (not (<=.f64 f #s(literal -6686066773453359/215679573337205118357336120696157045389097155380324579848828881993728 binary64))) (or (<=.f64 f #s(literal -8366682951131781/146783911423364576743092537299333564210980159306769991919205685720763064069663027716481187399048043939495936 binary64)) (not (<=.f64 f #s(literal 3794275180128377/118571099379011784113736688648896417641748464297615937576404566024103044751294464 binary64)))))) (+.f64 (.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal -1 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))))
(if (<=.f64 f #s(literal -5600000000000000000 binary64)) #s(literal -1 binary64) (if (<=.f64 f #s(literal -2123095800038113/1684996666696914987166688442938726917102321526408785780068975640576 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))) (if (<=.f64 f #s(literal -4070960043382377/1146749307995035755805410447651043470398282494584140561868794419693461438044242404035009276555062843277312 binary64)) #s(literal -1 binary64) (if (<=.f64 f #s(literal 7225426368408531/926336713898529563388567880069503262826159877325124512315660672063305037119488 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))) (if (<=.f64 f #s(literal 290000000 binary64)) #s(literal -1 binary64) (if (<=.f64 f #s(literal 1350000000000000033554931254992206166679069758171335234928342507019998202064098539077632 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n))) #s(literal -1 binary64)))))))
(if (<=.f64 f #s(literal -5600000000000000000 binary64)) #s(literal -1 binary64) (if (<=.f64 f #s(literal -2123095800038113/1684996666696914987166688442938726917102321526408785780068975640576 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))) (if (<=.f64 f #s(literal -4070960043382377/1146749307995035755805410447651043470398282494584140561868794419693461438044242404035009276555062843277312 binary64)) #s(literal -1 binary64) (if (or (<=.f64 f #s(literal 7225426368408531/926336713898529563388567880069503262826159877325124512315660672063305037119488 binary64)) (not (or (<=.f64 f #s(literal 290000000 binary64)) (not (<=.f64 f #s(literal 1350000000000000033554931254992206166679069758171335234928342507019998202064098539077632 binary64)))))) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))) #s(literal -1 binary64)))))
(if (<=.f64 f #s(literal -5600000000000000000 binary64)) #s(literal -1 binary64) (if (or (<=.f64 f #s(literal -2123095800038113/1684996666696914987166688442938726917102321526408785780068975640576 binary64)) (not (or (<=.f64 f #s(literal -4070960043382377/1146749307995035755805410447651043470398282494584140561868794419693461438044242404035009276555062843277312 binary64)) (not (or (<=.f64 f #s(literal 7225426368408531/926336713898529563388567880069503262826159877325124512315660672063305037119488 binary64)) (and (not (<=.f64 f #s(literal 290000000 binary64))) (<=.f64 f #s(literal 1350000000000000033554931254992206166679069758171335234928342507019998202064098539077632 binary64)))))))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n))) #s(literal -1 binary64)))
(if (<=.f64 f #s(literal -5600000000000000000 binary64)) #s(literal -1 binary64) (if (or (<=.f64 f #s(literal -2123095800038113/1684996666696914987166688442938726917102321526408785780068975640576 binary64)) (and (not (<=.f64 f #s(literal -4070960043382377/1146749307995035755805410447651043470398282494584140561868794419693461438044242404035009276555062843277312 binary64))) (or (<=.f64 f #s(literal 7225426368408531/926336713898529563388567880069503262826159877325124512315660672063305037119488 binary64)) (and (not (<=.f64 f #s(literal 290000000 binary64))) (<=.f64 f #s(literal 1350000000000000033554931254992206166679069758171335234928342507019998202064098539077632 binary64)))))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n))) #s(literal -1 binary64)))
(if (<=.f64 f #s(literal -1500000000000000000 binary64)) #s(literal -1 binary64) (if (<=.f64 f #s(literal -7548785066802179/215679573337205118357336120696157045389097155380324579848828881993728 binary64)) #s(literal 1 binary64) (if (<=.f64 f #s(literal -4586997231980143/1146749307995035755805410447651043470398282494584140561868794419693461438044242404035009276555062843277312 binary64)) #s(literal -1 binary64) (if (<=.f64 f #s(literal 6216540455122333/124330809102446660538845562036705210025114037699336929360115994223289874253133343883264 binary64)) #s(literal 1 binary64) #s(literal -1 binary64)))))
#s(literal -1 binary64)

Compiler

Compiled 106 to 82 computations (22.6% saved)

soundness121.0ms (4.4%)

Rules

1162×	`fma-define`
524×	`fma-neg`
446×	`times-frac`
264×	`div-sub`
182×	`associate-/r*`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	28	269
1	78	217
2	208	217
3	582	217
4	1490	217
5	2115	217
6	2375	217
7	2443	217
8	2564	217

Stop Event

1×

saturated

Compiler

Compiled 69 to 25 computations (63.8% saved)

end0.0ms (0%)

preprocess68.0ms (2.4%)

Compiler: Compiled 216 to 158 computations (26.9% saved)

Iter	Nodes	Cost
0	65	391
1	90	361
2	105	343
3	130	323
4	146	323
5	164	319
6	173	319
7	180	319
8	182	319
9	183	319

Iter	Nodes	Cost
0	65	391
1	90	361
2	105	343
3	130	323
4	146	323
5	164	319
6	173	319
7	180	319
8	182	319
9	183	319

analyze18.0ms (0.6%)

sample904.0ms (32.6%)

preprocess228.0ms (8.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize30.0ms (1.1%)

series5.0ms (0.2%)

rewrite269.0ms (9.7%)

simplify64.0ms (2.3%)

eval25.0ms (0.9%)

prune14.0ms (0.5%)

localize186.0ms (6.7%)

series9.0ms (0.3%)

rewrite87.0ms (3.1%)

simplify97.0ms (3.5%)

eval18.0ms (0.6%)

prune52.0ms (1.9%)

regimes12.0ms (0.4%)

regimes49.0ms (1.8%)

regimes70.0ms (2.5%)

regimes54.0ms (1.9%)

regimes5.0ms (0.2%)

bsearch185.0ms (6.7%)

bsearch139.0ms (5%)

bsearch43.0ms (1.6%)

simplify18.0ms (0.7%)

soundness121.0ms (4.4%)

end0.0ms (0%)

preprocess68.0ms (2.4%)

Profiling

Iter	Nodes	Cost
0	65	391
1	90	361
2	105	343
3	130	323
4	146	323
5	164	319
6	173	319
7	180	319
8	182	319
9	183	319