Metrics for Numeric.SpecFunctions:invIncompleteGamma from math-functions-0.1.5.2, B

analyze365.0ms (5.2%)

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
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
6.3%	6.2%	93.7%	0.1%	0%	0%	0%	5
6.5%	6.2%	90.5%	0.1%	0%	3.1%	0%	6
22.8%	20.3%	68.7%	0.1%	0%	10.9%	0%	7
25.7%	22.6%	65.6%	0.1%	0%	11.7%	0%	8
37.3%	31.6%	53.1%	0.1%	0%	15.2%	0%	9
39%	33%	51.5%	0.1%	0%	15.4%	0%	10
45.2%	37.5%	45.4%	0.1%	0%	17.1%	0%	11
46.2%	38.2%	44.5%	0.1%	0%	17.1%	0%	12

Compiler

Compiled 15 to 12 computations (20% saved)

Operations

Operation ival-sub

Operation ival-log

Operation ival-div

Operation const

sample3.1s (43.7%)

Results

1.5s	6480×	body	256	valid
487.0ms	1317×	body	512	valid
296.0ms	459×	body	1024	valid
292.0ms	1858×	body	256	invalid
264.0ms	210×	body	1024	invalid
197.0ms	597×	body	512	invalid

Operations

Operation ival-sub

Operation ival-log

Operation ival-div

Operation const

Bogosity

preprocess361.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

4000×	`fma-def`
1438×	`div-sub`
1224×	`sub-neg`
998×	`times-frac`
506×	`cancel-sign-sub-inv`

Problems

97×	`(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))`
86×	No Errors
73×	`(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	36	340
1	82	302
2	205	274
3	493	274
4	1170	266
5	3114	266
6	5172	266
7	5836	266
8	6305	266
9	6682	266
10	6933	266

Stop Event

1×	node limit

Calls

Call 1

Inputs
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 (neg.f64 x) y) (-.f64 1 y)))))
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x (neg.f64 y)) (-.f64 1 (neg.f64 y))))))
(neg.f64 (-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 (neg.f64 x) y) (-.f64 1 y))))))
(neg.f64 (-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x (neg.f64 y)) (-.f64 1 (neg.f64 y)))))))
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 y x) (-.f64 1 x)))))

Outputs
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
(-.f64 1 (log1p.f64 (/.f64 (neg.f64 (-.f64 x y)) (-.f64 1 y))))
(-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y))))
(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
(-.f64 1 (log1p.f64 (/.f64 (neg.f64 (-.f64 x y)) (-.f64 1 y))))
(-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y))))
(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (+.f64 y -1))))
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 (neg.f64 x) y) (-.f64 1 y)))))
(-.f64 1 (log1p.f64 (neg.f64 (/.f64 (-.f64 (neg.f64 x) y) (-.f64 1 y)))))
(-.f64 1 (log1p.f64 (/.f64 (+.f64 x y) (-.f64 1 y))))
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x (neg.f64 y)) (-.f64 1 (neg.f64 y))))))
(-.f64 1 (log1p.f64 (/.f64 (-.f64 (neg.f64 x) y) (+.f64 1 y))))
(-.f64 1 (log1p.f64 (neg.f64 (/.f64 (+.f64 x y) (+.f64 1 y)))))
(-.f64 1 (log1p.f64 (/.f64 (+.f64 x y) (-.f64 -1 y))))
(neg.f64 (-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 (neg.f64 x) y) (-.f64 1 y))))))
(+.f64 -1 (log1p.f64 (neg.f64 (/.f64 (-.f64 (neg.f64 x) y) (-.f64 1 y)))))
(+.f64 (log1p.f64 (/.f64 (+.f64 x y) (-.f64 1 y))) -1)
(neg.f64 (-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x (neg.f64 y)) (-.f64 1 (neg.f64 y)))))))
(+.f64 -1 (log1p.f64 (/.f64 (-.f64 (neg.f64 x) y) (+.f64 1 y))))
(+.f64 (log1p.f64 (/.f64 (-.f64 (neg.f64 x) y) (+.f64 1 y))) -1)
(+.f64 (log1p.f64 (neg.f64 (/.f64 (+.f64 x y) (+.f64 1 y)))) -1)
(+.f64 (log1p.f64 (/.f64 (+.f64 x y) (-.f64 -1 y))) -1)
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 y x) (-.f64 1 x)))))
(-.f64 1 (log1p.f64 (/.f64 (neg.f64 (-.f64 y x)) (-.f64 1 x))))
(-.f64 1 (log1p.f64 (/.f64 (-.f64 x y) (-.f64 1 x))))
(-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (+.f64 x -1))))

Compiler

Compiled 64 to 40 computations (37.5% saved)

Operations

Operation ival-sub

Operation ival-log

Operation ival-div

Operation const

eval1.0ms (0%)

Compiler: Compiled 33 to 23 computations (30.3% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	72.5%	(-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y))))
▶	72.5%	(-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y))))

Compiler

Compiled 24 to 18 computations (25% saved)

localize138.0ms (2%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	72.5%	(log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y)))

Compiler

Compiled 37 to 20 computations (45.9% saved)

Operations

Operation ival-sub

Operation ival-log1p

Operation ival-div

Operation const

series6.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite111.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1830×	`prod-diff`
931×	`log1p-expm1-u`
866×	`expm1-log1p-u`
284×	`expm1-udef`
282×	`log1p-udef`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	32
1	158	32
2	2341	32

Stop Event

1×	node limit

Counts

1 → 16

Calls

Call 1

Inputs
(log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y)))

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

simplify48.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

1790×	`times-frac`
1228×	`fma-def`
1168×	`associate-+l+`
1002×	`associate-+r+`
698×	`distribute-lft-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	193	3400
1	548	2912
2	2173	2722

Stop Event

1×	node limit

Counts

40 → 100

Calls

Call 1

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

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

eval85.0ms (1.2%)

Compiler: Compiled 3238 to 2489 computations (23.1% saved)

prune72.0ms (1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	94	6	100
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	94	7	101

Accuracy

99.9%

Counts

101 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	9.7%	(-.f64 1 (-.f64 (log.f64 (+.f64 -1 x)) (log.f64 y)))
	31.1%	(-.f64 1 (+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y))))
▶	60.5%	(-.f64 1 (+.f64 y (log1p.f64 (neg.f64 x))))
✓	72.5%	(-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y))))
▶	39.6%	(-.f64 1 (log1p.f64 (/.f64 y (-.f64 1 y))))
▶	62.3%	(-.f64 1 (log1p.f64 (neg.f64 x)))
▶	62.3%	(-.f64 1 (log.f64 (+.f64 1 (*.f64 -1 x))))
▶	9.7%	(-.f64 1 (-.f64 (log.f64 (+.f64 -1 x)) (log.f64 y)))
	31.1%	(-.f64 1 (+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y))))
▶	60.5%	(-.f64 1 (+.f64 y (log1p.f64 (neg.f64 x))))
✓	72.5%	(-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y))))
▶	39.6%	(-.f64 1 (log1p.f64 (/.f64 y (-.f64 1 y))))
▶	62.3%	(-.f64 1 (log1p.f64 (neg.f64 x)))
▶	62.3%	(-.f64 1 (log.f64 (+.f64 1 (*.f64 -1 x))))

Compiler

Compiled 260 to 214 computations (17.7% saved)

localize321.0ms (4.6%)

Compiler: Compiled 113 to 66 computations (41.6% saved)
Operations: Operation ival-sub; Operation ival-neg; Operation ival-mult; Operation ival-log1p; Operation ival-log; Operation ival-div; Operation ival-add; Operation const

eval0.0ms (0%)

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

prune6.0ms (0.1%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	5	5
Done	1	1
Total	7	7

Accuracy

99.9%

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	9.7%	(-.f64 1 (-.f64 (log.f64 (+.f64 -1 x)) (log.f64 y)))
▶	31.1%	(-.f64 1 (+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y))))
✓	60.5%	(-.f64 1 (+.f64 y (log1p.f64 (neg.f64 x))))
✓	72.5%	(-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y))))
✓	39.6%	(-.f64 1 (log1p.f64 (/.f64 y (-.f64 1 y))))
✓	62.3%	(-.f64 1 (log1p.f64 (neg.f64 x)))
✓	62.3%	(-.f64 1 (log.f64 (+.f64 1 (*.f64 -1 x))))
✓	9.7%	(-.f64 1 (-.f64 (log.f64 (+.f64 -1 x)) (log.f64 y)))
▶	31.1%	(-.f64 1 (+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y))))
✓	60.5%	(-.f64 1 (+.f64 y (log1p.f64 (neg.f64 x))))
✓	72.5%	(-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y))))
✓	39.6%	(-.f64 1 (log1p.f64 (/.f64 y (-.f64 1 y))))
✓	62.3%	(-.f64 1 (log1p.f64 (neg.f64 x)))
✓	62.3%	(-.f64 1 (log.f64 (+.f64 1 (*.f64 -1 x))))

Compiler

Compiled 142 to 116 computations (18.3% saved)

localize135.0ms (1.9%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	100.0%	(log.f64 (/.f64 -1 y))
✓	99.8%	(+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y)))

Compiler

Compiled 37 to 22 computations (40.5% saved)

Operations

Operation ival-sub

Operation ival-neg

Operation ival-log1p

Operation ival-log

Operation ival-div

Operation ival-add

Operation const

series63.0ms (0.9%)

Counts

2 → 32

Calls

9 calls:

Time	Variable		Point	Expression
42.0ms	y	@	0	(+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y)))
12.0ms	y	@	-inf	(+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y)))
7.0ms	y	@	inf	(+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y)))
0.0ms	x	@	0	(+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y)))
0.0ms	x	@	inf	(+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y)))

rewrite73.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1198×	`prod-diff`
688×	`log1p-expm1-u`
688×	`expm1-log1p-u`
654×	`log-prod`
446×	`pow-prod-down`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	45
1	162	41
2	2104	41

Stop Event

1×	node limit

Counts

2 → 112

Calls

Call 1

Inputs
(+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y)))
(log.f64 (/.f64 -1 y))

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

simplify71.0ms (1%)

Algorithm

1×	egg-herbie

Rules

1292×	`fma-neg`
748×	`unswap-sqr`
718×	`associate-+l-`
698×	`cancel-sign-sub-inv`
458×	`fma-def`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	310	4637
1	721	4397
2	2626	4049

Stop Event

1×	node limit

Counts

144 → 160

Calls

Call 1

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

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

eval54.0ms (0.8%)

Compiler: Compiled 2680 to 1840 computations (31.3% saved)

prune34.0ms (0.5%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	156	4	160
Fresh	0	0	0
Picked	1	0	1
Done	2	4	6
Total	159	8	167

Accuracy

99.9%

Counts

167 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	31.1%	(-.f64 1 (-.f64 (log1p.f64 (neg.f64 x)) (log.f64 (neg.f64 y))))
▶	21.3%	(-.f64 1 (-.f64 (log.f64 (/.f64 -1 y)) x))
▶	10.3%	(-.f64 1 (-.f64 (log.f64 x) (log.f64 y)))
✓	60.5%	(-.f64 1 (+.f64 y (log1p.f64 (neg.f64 x))))
✓	72.5%	(-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y))))
✓	39.6%	(-.f64 1 (log1p.f64 (/.f64 y (-.f64 1 y))))
✓	62.3%	(-.f64 1 (log1p.f64 (neg.f64 x)))
▶	23.0%	(-.f64 1 (log.f64 (/.f64 -1 y)))
▶	31.1%	(-.f64 1 (-.f64 (log1p.f64 (neg.f64 x)) (log.f64 (neg.f64 y))))
▶	21.3%	(-.f64 1 (-.f64 (log.f64 (/.f64 -1 y)) x))
▶	10.3%	(-.f64 1 (-.f64 (log.f64 x) (log.f64 y)))
✓	60.5%	(-.f64 1 (+.f64 y (log1p.f64 (neg.f64 x))))
✓	72.5%	(-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y))))
✓	39.6%	(-.f64 1 (log1p.f64 (/.f64 y (-.f64 1 y))))
✓	62.3%	(-.f64 1 (log1p.f64 (neg.f64 x)))
▶	23.0%	(-.f64 1 (log.f64 (/.f64 -1 y)))

Compiler

Compiled 152 to 122 computations (19.7% saved)

localize182.0ms (2.6%)

Compiler: Compiled 92 to 46 computations (50% saved)
Operations: Operation ival-sub; Operation ival-neg; Operation ival-log1p; Operation ival-log; Operation ival-div; Operation const

eval0.0ms (0%)

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

prune6.0ms (0.1%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	4	4
Done	4	4
Total	8	8

Accuracy

99.9%

Counts

8 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	31.1%	(-.f64 1 (-.f64 (log1p.f64 (neg.f64 x)) (log.f64 (neg.f64 y))))
✓	21.3%	(-.f64 1 (-.f64 (log.f64 (/.f64 -1 y)) x))
✓	10.3%	(-.f64 1 (-.f64 (log.f64 x) (log.f64 y)))
✓	60.5%	(-.f64 1 (+.f64 y (log1p.f64 (neg.f64 x))))
✓	72.5%	(-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y))))
✓	39.6%	(-.f64 1 (log1p.f64 (/.f64 y (-.f64 1 y))))
✓	62.3%	(-.f64 1 (log1p.f64 (neg.f64 x)))
✓	23.0%	(-.f64 1 (log.f64 (/.f64 -1 y)))

Compiler

Compiled 177 to 132 computations (25.4% saved)

regimes93.0ms (1.3%)

Counts

12 → 3

Calls

Call 1

Inputs
(-.f64 1 (log1p.f64 (neg.f64 x)))
(-.f64 1 (log.f64 (/.f64 -1 y)))
(-.f64 1 (+.f64 y (log1p.f64 (neg.f64 x))))
(-.f64 1 (log.f64 (+.f64 1 (*.f64 -1 x))))
(-.f64 1 (log1p.f64 (/.f64 y (-.f64 1 y))))
(-.f64 1 (-.f64 (log.f64 (/.f64 -1 y)) x))
(-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y))))
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
(-.f64 1 (-.f64 (log.f64 x) (log.f64 y)))
(-.f64 1 (-.f64 (log.f64 (+.f64 -1 x)) (log.f64 y)))
(-.f64 1 (-.f64 (log1p.f64 (neg.f64 x)) (log.f64 (neg.f64 y))))
(-.f64 1 (+.f64 (log1p.f64 (neg.f64 x)) (log.f64 (/.f64 -1 y))))

Outputs
(-.f64 1 (-.f64 (log1p.f64 (neg.f64 x)) (log.f64 (neg.f64 y))))
(-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y))))
(-.f64 1 (-.f64 (log.f64 x) (log.f64 y)))

Calls

6 calls:

27.0ms	x
24.0ms	y
16.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))
11.0ms	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
7.0ms	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))

Results

Accuracy	Segments	Branch
77.8%	4	`x`
99.7%	3	`y`
96.2%	2	`(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))`
96.2%	2	`(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))`
96.2%	2	`(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))`
96.2%	2	`(/.f64 (-.f64 x y) (-.f64 1 y))`

Compiler

Compiled 153 to 109 computations (28.8% saved)

regimes52.0ms (0.7%)

Counts

10 → 2

Calls

Call 1

Inputs
(-.f64 1 (log1p.f64 (neg.f64 x)))
(-.f64 1 (log.f64 (/.f64 -1 y)))
(-.f64 1 (+.f64 y (log1p.f64 (neg.f64 x))))
(-.f64 1 (log.f64 (+.f64 1 (*.f64 -1 x))))
(-.f64 1 (log1p.f64 (/.f64 y (-.f64 1 y))))
(-.f64 1 (-.f64 (log.f64 (/.f64 -1 y)) x))
(-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y))))
(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
(-.f64 1 (-.f64 (log.f64 x) (log.f64 y)))
(-.f64 1 (-.f64 (log.f64 (+.f64 -1 x)) (log.f64 y)))

Outputs
(-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y))))
(-.f64 1 (log.f64 (/.f64 -1 y)))

Calls

5 calls:

19.0ms	y
12.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))
9.0ms	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
5.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
5.0ms	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))

Results

Accuracy	Segments	Branch
92.5%	2	`(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))`
92.5%	2	`(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))`
92.5%	2	`(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))`
92.5%	2	`(/.f64 (-.f64 x y) (-.f64 1 y))`
92.3%	3	`y`

Compiler

Compiled 131 to 96 computations (26.7% saved)

regimes11.0ms (0.2%)

Counts

6 → 2

Calls

Call 1

Inputs
(-.f64 1 (log1p.f64 (neg.f64 x)))
(-.f64 1 (log.f64 (/.f64 -1 y)))
(-.f64 1 (+.f64 y (log1p.f64 (neg.f64 x))))
(-.f64 1 (log.f64 (+.f64 1 (*.f64 -1 x))))
(-.f64 1 (log1p.f64 (/.f64 y (-.f64 1 y))))
(-.f64 1 (-.f64 (log.f64 (/.f64 -1 y)) x))

Outputs
(-.f64 1 (log.f64 (/.f64 -1 y)))
(-.f64 1 (+.f64 y (log1p.f64 (neg.f64 x))))

Calls

1 calls:

10.0ms

Results

Accuracy	Segments	Branch
80.3%	2	`y`

Compiler

Compiled 47 to 35 computations (25.5% saved)

regimes7.0ms (0.1%)

Counts

2 → 2

Calls

Call 1

Inputs
(-.f64 1 (log1p.f64 (neg.f64 x)))
(-.f64 1 (log.f64 (/.f64 -1 y)))

Outputs
(-.f64 1 (log.f64 (/.f64 -1 y)))
(-.f64 1 (log1p.f64 (neg.f64 x)))

Calls

1 calls:

6.0ms

Results

Accuracy	Segments	Branch
79.7%	2	`y`

Compiler

Compiled 16 to 13 computations (18.8% saved)

regimes7.0ms (0.1%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(-.f64 1 (log1p.f64 (neg.f64 x)))

Outputs
(-.f64 1 (log1p.f64 (neg.f64 x)))

Calls

2 calls:

4.0ms	y
3.0ms	x

Results

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

Compiler

Compiled 13 to 10 computations (23.1% saved)

bsearch418.0ms (6%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
385.0ms	1.251044105160296e+79	1.050406144757815e+95
33.0ms	-1.2706388176355497e+26	-1.8201647840117549e+21

Results

337.0ms	1394×	body	256	invalid
59.0ms	304×	body	256	valid
16.0ms	53×	body	512	invalid

Compiler

Compiled 474 to 375 computations (20.9% saved)

Operations

Operation ival-sub

Operation ival-log

Operation ival-div

Operation const

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.9999999999999989	1.0

Compiler

Compiled 19 to 15 computations (21.1% saved)

bsearch34.0ms (0.5%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
34.0ms	-1.884946374903886	-2.1820582994285241e-7

Results

29.0ms	144×	body	256	valid
3.0ms	23×	body	256	invalid

Compiler

Compiled 190 to 159 computations (16.3% saved)

Operations

Operation ival-sub

Operation ival-log

Operation ival-div

Operation const

bsearch33.0ms (0.5%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
33.0ms	-1.2706388176355497e+26	-1.8201647840117549e+21

Results

28.0ms	144×	body	256	valid
3.0ms	20×	body	256	invalid

Compiler

Compiled 172 to 150 computations (12.8% saved)

Operations

Operation ival-sub

Operation ival-log

Operation ival-div

Operation const

simplify15.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

164×	`unsub-neg`
74×	`neg-mul-1`
52×	`sub-neg`
52×	`+-commutative`
40×	`distribute-neg-out`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	48	345
1	74	345
2	112	345
3	147	345
4	187	345
5	211	345
6	224	345
7	277	345
8	353	345

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(if (<=.f64 y -1850000000000000000000) (-.f64 1 (-.f64 (log1p.f64 (neg.f64 x)) (log.f64 (neg.f64 y)))) (if (<=.f64 y 13000000000000000727481287633418404498048752478790327375160937947728808532508672) (-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y)))) (-.f64 1 (-.f64 (log.f64 x) (log.f64 y)))))
(if (<=.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 1) (-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y)))) (-.f64 1 (log.f64 (/.f64 -1 y))))
(if (<=.f64 y -4165829655317709/2251799813685248) (-.f64 1 (log.f64 (/.f64 -1 y))) (-.f64 1 (+.f64 y (log1p.f64 (neg.f64 x)))))
(if (<=.f64 y -1850000000000000000000) (-.f64 1 (log.f64 (/.f64 -1 y))) (-.f64 1 (log1p.f64 (neg.f64 x))))
(-.f64 1 (log1p.f64 (neg.f64 x)))

Outputs
(if (<=.f64 y -1850000000000000000000) (-.f64 1 (-.f64 (log1p.f64 (neg.f64 x)) (log.f64 (neg.f64 y)))) (if (<=.f64 y 13000000000000000727481287633418404498048752478790327375160937947728808532508672) (-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y)))) (-.f64 1 (-.f64 (log.f64 x) (log.f64 y)))))
(if (<=.f64 y -1850000000000000000000) (+.f64 1 (-.f64 (log.f64 (neg.f64 y)) (log1p.f64 (neg.f64 x)))) (if (<=.f64 y 13000000000000000727481287633418404498048752478790327375160937947728808532508672) (-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y)))) (+.f64 1 (-.f64 (log.f64 y) (log.f64 x)))))
(if (<=.f64 (/.f64 (-.f64 x y) (-.f64 1 y)) 1) (-.f64 1 (log1p.f64 (/.f64 (-.f64 y x) (-.f64 1 y)))) (-.f64 1 (log.f64 (/.f64 -1 y))))
(if (<=.f64 y -4165829655317709/2251799813685248) (-.f64 1 (log.f64 (/.f64 -1 y))) (-.f64 1 (+.f64 y (log1p.f64 (neg.f64 x)))))
(if (<=.f64 y -1850000000000000000000) (-.f64 1 (log.f64 (/.f64 -1 y))) (-.f64 1 (log1p.f64 (neg.f64 x))))
(-.f64 1 (log1p.f64 (neg.f64 x)))

Compiler

Compiled 107 to 83 computations (22.4% saved)

soundness1.0s (14.5%)

Rules

4000×	`fma-def`
1790×	`times-frac`
1790×	`times-frac`
1790×	`times-frac`
1438×	`div-sub`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	36	340
1	82	302
2	205	274
3	493	274
4	1170	266
5	3114	266
6	5172	266
7	5836	266
8	6305	266
9	6682	266
10	6933	266
0	193	3400
1	548	2912
2	2173	2722
0	310	4637
1	721	4397
2	2626	4049
0	310	4637
1	721	4397
2	2626	4049
0	193	3400
1	548	2912
2	2173	2722
0	193	3400
1	548	2912
2	2173	2722

Stop Event

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

Compiler

Compiled 1010 to 809 computations (19.9% saved)

end0.0ms (0%)

preprocess126.0ms (1.8%)

Compiler: Compiled 336 to 228 computations (32.1% saved)

Iter	Nodes	Cost
0	48	345
1	74	345
2	112	345
3	147	345
4	187	345
5	211	345
6	224	345
7	277	345
8	353	345

Iter	Nodes	Cost
0	48	345
1	74	345
2	112	345
3	147	345
4	187	345
5	211	345
6	224	345
7	277	345
8	353	345

analyze365.0ms (5.2%)

sample3.1s (43.7%)

preprocess361.0ms (5.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize138.0ms (2%)

series6.0ms (0.1%)

rewrite111.0ms (1.6%)

simplify48.0ms (0.7%)

eval85.0ms (1.2%)

prune72.0ms (1%)

localize321.0ms (4.6%)

eval0.0ms (0%)

prune6.0ms (0.1%)

localize135.0ms (1.9%)

series63.0ms (0.9%)

rewrite73.0ms (1%)

simplify71.0ms (1%)

eval54.0ms (0.8%)

prune34.0ms (0.5%)

localize182.0ms (2.6%)

eval0.0ms (0%)

prune6.0ms (0.1%)

regimes93.0ms (1.3%)

regimes52.0ms (0.7%)

regimes11.0ms (0.2%)

regimes7.0ms (0.1%)

regimes7.0ms (0.1%)

bsearch418.0ms (6%)

bsearch0.0ms (0%)

bsearch34.0ms (0.5%)

bsearch33.0ms (0.5%)

simplify15.0ms (0.2%)

soundness1.0s (14.5%)

end0.0ms (0%)

preprocess126.0ms (1.8%)

Profiling

Iter	Nodes	Cost
0	48	345
1	74	345
2	112	345
3	147	345
4	187	345
5	211	345
6	224	345
7	277	345
8	353	345