Metrics for Data.Random.Distribution.T:$ccdf from random-fu-0.2.6.2

analyze10.0ms (0.3%)

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 10 to 6 computations (40% saved)

sample1.1s (31.5%)

Results

985.0ms	7274×	body	256	valid
147.0ms	982×	body	256	infinite

Bogosity

preprocess257.0ms (7.1%)

Algorithm

1×	egg-herbie

Rules

2102×	`div-sub`
2076×	`fma-def`
1234×	`fma-neg`
946×	`sub-neg`
756×	`times-frac`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	18	103
1	34	95
2	74	95
3	180	95
4	410	95
5	1023	87
6	2971	79
7	5222	79
8	6246	79
9	6855	79
10	7349	79
11	7665	79

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 (+.f64 x y) (+.f64 y y))
(/.f64 (+.f64 x y) (+.f64 y y))
(/.f64 (+.f64 (neg.f64 x) y) (+.f64 y y))
(/.f64 (+.f64 x (neg.f64 y)) (+.f64 (neg.f64 y) (neg.f64 y)))
(/.f64 (+.f64 y x) (+.f64 x x))

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

Compiler

Compiled 9 to 5 computations (44.4% saved)

eval1.0ms (0%)

Compiler: Compiled 15 to 11 computations (26.7% saved)

prune2.0ms (0.1%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(/.f64 (+.f64 x y) (+.f64 y y))
▶	100.0%	(-.f64 1/2 (*.f64 -1/2 (/.f64 x y)))
▶	100.0%	(/.f64 (+.f64 x y) (+.f64 y y))
▶	100.0%	(-.f64 1/2 (*.f64 -1/2 (/.f64 x y)))

Compiler

Compiled 36 to 24 computations (33.3% saved)

localize41.0ms (1.1%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x y) (+.f64 y y))
✓	100.0%	(-.f64 1/2 (*.f64 -1/2 (/.f64 x y)))

Compiler

Compiled 37 to 15 computations (59.5% saved)

series5.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite211.0ms (5.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1604×	`prod-diff`
1356×	`log-prod`
650×	`fma-def`
490×	`expm1-udef`
488×	`log1p-udef`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	12	38
1	285	38
2	4326	34

Stop Event

1×	node limit

Counts

2 → 88

Calls

Call 1

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

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

simplify64.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

1206×	`fma-def`
774×	`distribute-lft-in`
746×	`associate-*r/`
722×	`distribute-rgt-in`
712×	`unswap-sqr`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	210	2890
1	510	2752
2	1875	2620

Stop Event

1×	node limit

Counts

136 → 131

Calls

Call 1

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

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

eval33.0ms (0.9%)

Compiler: Compiled 1660 to 882 computations (46.9% saved)

prune22.0ms (0.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	127	4	131
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	127	6	133

Accuracy

100.0%

Counts

133 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x y) (+.f64 y y))
▶	48.6%	(/.f64 x (/.f64 y 1/2))
▶	48.5%	(/.f64 1/2 (/.f64 y x))
✓	100.0%	(-.f64 1/2 (*.f64 -1/2 (/.f64 x y)))
	52.0%	1/2
	2.7%	0
✓	100.0%	(/.f64 (+.f64 x y) (+.f64 y y))
▶	48.6%	(/.f64 x (/.f64 y 1/2))
▶	48.5%	(/.f64 1/2 (/.f64 y x))
✓	100.0%	(-.f64 1/2 (*.f64 -1/2 (/.f64 x y)))
	52.0%	1/2
	2.7%	0

Compiler

Compiled 76 to 56 computations (26.3% saved)

localize53.0ms (1.4%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	99.5%	(/.f64 1/2 (/.f64 y x))

Compiler

Compiled 25 to 13 computations (48% saved)

series5.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

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

rewrite144.0ms (4%)

Algorithm

1×	batch-egg-rewrite

Rules

1592×	`pow1`
1478×	`add-exp-log`
1478×	`log1p-expm1-u`
1478×	`expm1-log1p-u`
1446×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	154	13
2	2014	13

Stop Event

1×	node limit

Counts

1 → 26

Calls

Call 1

Inputs
(/.f64 1/2 (/.f64 y x))

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

simplify59.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

1012×	`fma-def`
876×	`associate-/r*`
726×	`distribute-rgt-in`
708×	`distribute-lft-in`
626×	`log-prod`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	66	660
1	159	660
2	586	660
3	2482	654

Stop Event

1×	node limit

Counts

50 → 28

Calls

Call 1

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

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

eval5.0ms (0.2%)

Compiler: Compiled 227 to 138 computations (39.2% saved)

prune8.0ms (0.2%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	28	0	28
Fresh	0	2	2
Picked	0	2	2
Done	0	2	2
Total	28	6	34

Accuracy

100.0%

Counts

34 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x y) (+.f64 y y))
✓	48.6%	(/.f64 x (/.f64 y 1/2))
✓	48.5%	(/.f64 1/2 (/.f64 y x))
✓	100.0%	(-.f64 1/2 (*.f64 -1/2 (/.f64 x y)))
	52.0%	1/2
	2.7%	0
✓	100.0%	(/.f64 (+.f64 x y) (+.f64 y y))
✓	48.6%	(/.f64 x (/.f64 y 1/2))
✓	48.5%	(/.f64 1/2 (/.f64 y x))
✓	100.0%	(-.f64 1/2 (*.f64 -1/2 (/.f64 x y)))
	52.0%	1/2
	2.7%	0

Compiler

Compiled 76 to 56 computations (26.3% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune6.0ms (0.2%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Kept	Total
New	0	0
Fresh	2	2
Picked	0	0
Done	4	4
Total	6	6

Accuracy

100.0%

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x y) (+.f64 y y))
✓	48.6%	(/.f64 x (/.f64 y 1/2))
✓	48.5%	(/.f64 1/2 (/.f64 y x))
✓	100.0%	(-.f64 1/2 (*.f64 -1/2 (/.f64 x y)))
	52.0%	1/2
	2.7%	0
✓	100.0%	(/.f64 (+.f64 x y) (+.f64 y y))
✓	48.6%	(/.f64 x (/.f64 y 1/2))
✓	48.5%	(/.f64 1/2 (/.f64 y x))
✓	100.0%	(-.f64 1/2 (*.f64 -1/2 (/.f64 x y)))
	52.0%	1/2
	2.7%	0

Compiler

Compiled 76 to 56 computations (26.3% saved)

localize0.0ms (0%)

eval0.0ms (0%)

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

prune3.0ms (0.1%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Kept	Total
New	0	0
Fresh	2	2
Picked	0	0
Done	4	4
Total	6	6

Accuracy

100.0%

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 x y) (+.f64 y y))
✓	48.6%	(/.f64 x (/.f64 y 1/2))
✓	48.5%	(/.f64 1/2 (/.f64 y x))
✓	100.0%	(-.f64 1/2 (*.f64 -1/2 (/.f64 x y)))
	52.0%	1/2
	2.7%	0

Compiler

Compiled 66 to 46 computations (30.3% saved)

regimes16.0ms (0.4%)

Counts

6 → 1

Calls

Call 1

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

Outputs
(-.f64 1/2 (*.f64 -1/2 (/.f64 x y)))

Calls

3 calls:

6.0ms	x
5.0ms	y
3.0ms	(/.f64 (+.f64 x y) (+.f64 y y))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`(/.f64 (+.f64 x y) (+.f64 y y))`

Compiler

Compiled 43 to 27 computations (37.2% saved)

regimes48.0ms (1.3%)

Counts

4 → 5

Calls

Call 1

Inputs
0
1/2
(/.f64 1/2 (/.f64 y x))
(/.f64 x (/.f64 y 1/2))

Outputs
(/.f64 x (/.f64 y 1/2))
1/2
(/.f64 x (/.f64 y 1/2))
1/2
(/.f64 x (/.f64 y 1/2))

Calls

2 calls:

27.0ms	x
20.0ms	y

Results

Accuracy	Segments	Branch
80.8%	5	`x`
79.7%	5	`y`

Compiler

Compiled 20 to 14 computations (30% saved)

regimes22.0ms (0.6%)

Counts

3 → 5

Calls

Call 1

Inputs
0
1/2
(/.f64 1/2 (/.f64 y x))

Outputs
(/.f64 1/2 (/.f64 y x))
1/2
(/.f64 1/2 (/.f64 y x))
1/2
(/.f64 1/2 (/.f64 y x))

Calls

1 calls:

21.0ms

Results

Accuracy	Segments	Branch
80.7%	5	`x`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes7.0ms (0.2%)

Counts

2 → 1

Calls

Call 1

Inputs
0
1/2

Outputs
1/2

Calls

2 calls:

3.0ms	y
3.0ms	x

Results

Accuracy	Segments	Branch
52.0%	1	`y`
52.0%	1	`x`

Compiler

Compiled 10 to 8 computations (20% saved)

regimes6.0ms (0.2%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
0

Outputs
0

Calls

2 calls:

3.0ms	x
3.0ms	y

Results

Accuracy	Segments	Branch
2.7%	1	`x`
2.7%	1	`y`

Compiler

Compiled 9 to 7 computations (22.2% saved)

bsearch221.0ms (6.1%)

Algorithm

4×	binary-search

Stop Event

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

Steps

Time	Left	Right
68.0ms	7.327465622017451e+87	5.326331970357253e+95
98.0ms	272678381053860.5	2.3030638939395583e+21
30.0ms	2.934457696931819e-20	4.080538961816359e-17
25.0ms	-4.555306801171413e-35	-1.0271679725028463e-37

Results

131.0ms	515×	body	256	valid
77.0ms	29×	body	256	infinite

Compiler

Compiled 422 to 349 computations (17.3% saved)

bsearch99.0ms (2.7%)

Algorithm

4×	binary-search

Stop Event

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

Steps

Time	Left	Right
26.0ms	7.327465622017451e+87	5.326331970357253e+95
26.0ms	272678381053860.5	2.3030638939395583e+21
23.0ms	2.934457696931819e-20	4.080538961816359e-17
23.0ms	-4.555306801171413e-35	-1.0271679725028463e-37

Results

84.0ms	519×	body	256	valid
4.0ms	25×	body	256	infinite

Compiler

Compiled 422 to 349 computations (17.3% saved)

simplify25.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

16×	`not-or`
12×	`not-not`
12×	`if-if-or-not`
12×	`if-not`
10×	`sub-neg`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	41	163
1	56	163
2	73	163
3	93	155
4	107	155
5	118	155
6	121	155
7	123	155

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(-.f64 1/2 (*.f64 -1/2 (/.f64 x y)))
(if (<=.f64 x -3180227562832045/93536104789177786765035829293842113257979682750464) (/.f64 x (/.f64 y 1/2)) (if (<=.f64 x 6490371073168535/649037107316853453566312041152512) 1/2 (if (<=.f64 x 820000000000000000) (/.f64 x (/.f64 y 1/2)) (if (<=.f64 x 30000000000000000549348798468895211528057383432372059017576067169820075810134834058100736) 1/2 (/.f64 x (/.f64 y 1/2))))))
(if (<=.f64 x -8418249431026001/187072209578355573530071658587684226515959365500928) (/.f64 1/2 (/.f64 y x)) (if (<=.f64 x 3946145612486469/5192296858534827628530496329220096) 1/2 (if (<=.f64 x 7500000000000000) (/.f64 1/2 (/.f64 y x)) (if (<=.f64 x 7800000000000000390189276670886561138956569796425327560417523026739873847659925036072960) 1/2 (/.f64 1/2 (/.f64 y x))))))
1/2
0

Outputs
(-.f64 1/2 (*.f64 -1/2 (/.f64 x y)))
(if (<=.f64 x -3180227562832045/93536104789177786765035829293842113257979682750464) (/.f64 x (/.f64 y 1/2)) (if (<=.f64 x 6490371073168535/649037107316853453566312041152512) 1/2 (if (<=.f64 x 820000000000000000) (/.f64 x (/.f64 y 1/2)) (if (<=.f64 x 30000000000000000549348798468895211528057383432372059017576067169820075810134834058100736) 1/2 (/.f64 x (/.f64 y 1/2))))))
(if (<=.f64 x -3180227562832045/93536104789177786765035829293842113257979682750464) (/.f64 x (/.f64 y 1/2)) (if (<=.f64 x 6490371073168535/649037107316853453566312041152512) 1/2 (if (or (<=.f64 x 820000000000000000) (not (<=.f64 x 30000000000000000549348798468895211528057383432372059017576067169820075810134834058100736))) (/.f64 x (/.f64 y 1/2)) 1/2)))
(if (or (<=.f64 x -3180227562832045/93536104789177786765035829293842113257979682750464) (not (or (<=.f64 x 6490371073168535/649037107316853453566312041152512) (and (not (<=.f64 x 820000000000000000)) (<=.f64 x 30000000000000000549348798468895211528057383432372059017576067169820075810134834058100736))))) (/.f64 x (/.f64 y 1/2)) 1/2)
(if (<=.f64 x -8418249431026001/187072209578355573530071658587684226515959365500928) (/.f64 1/2 (/.f64 y x)) (if (<=.f64 x 3946145612486469/5192296858534827628530496329220096) 1/2 (if (<=.f64 x 7500000000000000) (/.f64 1/2 (/.f64 y x)) (if (<=.f64 x 7800000000000000390189276670886561138956569796425327560417523026739873847659925036072960) 1/2 (/.f64 1/2 (/.f64 y x))))))
(if (<=.f64 x -8418249431026001/187072209578355573530071658587684226515959365500928) (/.f64 1/2 (/.f64 y x)) (if (<=.f64 x 3946145612486469/5192296858534827628530496329220096) 1/2 (if (or (<=.f64 x 7500000000000000) (not (<=.f64 x 7800000000000000390189276670886561138956569796425327560417523026739873847659925036072960))) (/.f64 1/2 (/.f64 y x)) 1/2)))
(if (or (<=.f64 x -8418249431026001/187072209578355573530071658587684226515959365500928) (not (or (<=.f64 x 3946145612486469/5192296858534827628530496329220096) (and (not (<=.f64 x 7500000000000000)) (<=.f64 x 7800000000000000390189276670886561138956569796425327560417523026739873847659925036072960))))) (/.f64 1/2 (/.f64 y x)) 1/2)
1/2
0

Compiler

Compiled 67 to 53 computations (20.9% saved)

soundness1.0s (28.6%)

Rules

2102×	`div-sub`
2076×	`fma-def`
1604×	`prod-diff`
1356×	`log-prod`
1234×	`fma-neg`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	18	103
1	34	95
2	74	95
3	180	95
4	410	95
5	1023	87
6	2971	79
7	5222	79
8	6246	79
9	6855	79
10	7349	79
11	7665	79
0	12	38
1	285	38
2	4326	34
0	210	2890
1	510	2752
2	1875	2620
0	210	2890
1	510	2752
2	1875	2620
0	210	2890
1	510	2752
2	1875	2620

Stop Event

1×	node limit
1×	node limit
1×	node limit
1×	node limit
1×	node limit

Compiler

Compiled 306 to 124 computations (59.5% saved)

end0.0ms (0%)

preprocess70.0ms (1.9%)

Compiler: Compiled 154 to 114 computations (26% saved)

analyze10.0ms (0.3%)

sample1.1s (31.5%)

preprocess257.0ms (7.1%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize41.0ms (1.1%)

series5.0ms (0.1%)

rewrite211.0ms (5.8%)

simplify64.0ms (1.8%)

eval33.0ms (0.9%)

prune22.0ms (0.6%)

localize53.0ms (1.4%)

series5.0ms (0.2%)

rewrite144.0ms (4%)

simplify59.0ms (1.6%)

eval5.0ms (0.2%)

prune8.0ms (0.2%)

localize0.0ms (0%)

eval0.0ms (0%)

prune6.0ms (0.2%)

localize0.0ms (0%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes16.0ms (0.4%)

regimes48.0ms (1.3%)

regimes22.0ms (0.6%)

regimes7.0ms (0.2%)

regimes6.0ms (0.2%)

bsearch221.0ms (6.1%)

bsearch99.0ms (2.7%)

simplify25.0ms (0.7%)

soundness1.0s (28.6%)

end0.0ms (0%)

preprocess70.0ms (1.9%)

Profiling