Metrics for FastMath test2

analyze6.0ms (0.2%)

Algorithm

1×

Search

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

Precisions

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

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

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

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

sample1.3s (44.6%)

Results

1.0s	7238×	0	valid
99.0ms	1017×	0	infinite
52.0ms	113×	5	exit
0.0ms	1×	0	valid

Precisions

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

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

Operation ival-mult, time spent: 196.0ms, 35.0% of total-time

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

Operation backward-pass, time spent: 11.0ms, 2.0% of total-time

Bogosity

preprocess279.0ms (10%)

Algorithm

1×	egg-herbie

Rules

2104×	`fma-neg`
1126×	`fma-define`
324×	`unsub-neg`
244×	`cancel-sign-sub-inv`
228×	`distribute-rgt-in`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(+.f64 (.f64 d1 10) (.f64 d1 d2))`
-	-	`(*.f64 d1 10)`
-	-	`(*.f64 d1 20)`
-	-	`10`
-	-	`d1`
-	-	`d2`
-	-	`(*.f64 d1 d2)`
-	-	`20`
-	-	`(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	32	258
1	93	183
2	291	141
3	870	133
4	2085	133
5	3154	133
6	3861	133
7	3891	133
8	3891	133
9	4073	133
10	4073	133

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (+.f64 (.f64 (neg.f64 d1) 10) (.f64 (neg.f64 d1) d2)) (*.f64 (neg.f64 d1) 20))
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 (neg.f64 d2))) (*.f64 d1 20))
(neg.f64 (+.f64 (+.f64 (.f64 (neg.f64 d1) 10) (.f64 (neg.f64 d1) d2)) (*.f64 (neg.f64 d1) 20)))
(neg.f64 (+.f64 (+.f64 (.f64 d1 10) (.f64 d1 (neg.f64 d2))) (*.f64 d1 20)))
(+.f64 (+.f64 (.f64 d2 10) (.f64 d2 d1)) (*.f64 d2 20))

Outputs
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (.f64 d1 (+.f64 10 d2)) (.f64 d1 20))
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
(+.f64 (.f64 d1 (+.f64 10 d2)) (.f64 d1 20))
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
(*.f64 d1 (+.f64 d2 30))
(+.f64 (+.f64 (.f64 (neg.f64 d1) 10) (.f64 (neg.f64 d1) d2)) (*.f64 (neg.f64 d1) 20))
(+.f64 (.f64 (neg.f64 d1) (+.f64 10 d2)) (.f64 20 (neg.f64 d1)))
(*.f64 (neg.f64 d1) (+.f64 (+.f64 10 d2) 20))
(*.f64 (neg.f64 d1) (+.f64 d2 30))
(*.f64 d1 (-.f64 -30 d2))
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 (neg.f64 d2))) (*.f64 d1 20))
(+.f64 (.f64 d1 20) (.f64 d1 (+.f64 10 (neg.f64 d2))))
(*.f64 d1 (+.f64 20 (-.f64 10 d2)))
(*.f64 d1 (-.f64 30 d2))
(neg.f64 (+.f64 (+.f64 (.f64 (neg.f64 d1) 10) (.f64 (neg.f64 d1) d2)) (*.f64 (neg.f64 d1) 20)))
(+.f64 (.f64 d1 (+.f64 10 d2)) (.f64 d1 20))
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
(*.f64 d1 (+.f64 d2 30))
(neg.f64 (+.f64 (+.f64 (.f64 d1 10) (.f64 d1 (neg.f64 d2))) (*.f64 d1 20)))
(neg.f64 (+.f64 (.f64 d1 20) (.f64 d1 (+.f64 10 (neg.f64 d2)))))
(neg.f64 (*.f64 d1 (+.f64 20 (-.f64 10 d2))))
(*.f64 (neg.f64 d1) (-.f64 30 d2))
(*.f64 d1 (-.f64 d2 30))
(*.f64 d1 (+.f64 d2 -30))
(+.f64 (+.f64 (.f64 d2 10) (.f64 d2 d1)) (*.f64 d2 20))
(+.f64 (.f64 d2 (+.f64 10 d1)) (.f64 d2 20))
(*.f64 d2 (+.f64 (+.f64 d1 10) 20))
(*.f64 d2 (+.f64 d1 30))

Symmetry

(negabs d1)

Compiler

Compiled 81 to 47 computations (42% saved)

Precisions

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

Operation ival-mult, time spent: 22.0ms, 62.0% of total-time

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

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

eval1.0ms (0%)

Compiler: Compiled 23 to 16 computations (30.4% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
▶	100.0%	(*.f64 d1 (+.f64 d2 30))

Compiler

Compiled 16 to 12 computations (25% saved)

localize52.0ms (1.9%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	100.0%	(+.f64 (+.f64 10 d2) 20)
✓	100.0%	(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
✓	100.0%	(*.f64 d1 (+.f64 d2 30))

Compiler

Compiled 33 to 22 computations (33.3% saved)

Precisions

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

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

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

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

series10.0ms (0.4%)

Counts

3 → 60

Calls

15 calls:

Time	Variable		Point	Expression
1.0ms	d1	@	0	(*.f64 d1 (+.f64 d2 30))
1.0ms	d2	@	-inf	(*.f64 d1 (+.f64 d2 30))
1.0ms	d1	@	-inf	(*.f64 d1 (+.f64 d2 30))
1.0ms	d2	@	inf	(*.f64 d1 (+.f64 d2 30))
1.0ms	d1	@	inf	(*.f64 d1 (+.f64 d2 30))

rewrite225.0ms (8%)

Algorithm

1×	batch-egg-rewrite

Rules

968×	`log1p-expm1-u`
968×	`expm1-log1p-u`
942×	`prod-diff`
640×	`fma-define`
354×	`fma-neg`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	54
1	201	48
2	3049	48

Stop Event

1×	node limit

Counts

3 → 231

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
(+.f64 (+.f64 10 d2) 20)

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 30))
(+.f64 (.f64 d1 30) (.f64 d1 d2))
(+.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(+.f64 (.f64 d1 20) (.f64 d1 (+.f64 d2 10)))
(+.f64 (.f64 d1 10) (.f64 d1 (+.f64 d2 20)))
(+.f64 (.f64 10 d1) (.f64 (+.f64 d2 20) d1))
(+.f64 (.f64 (.f64 d1 (+.f64 d2 10)) 1) (.f64 (.f64 d1 20) 1))
(+.f64 (.f64 (.f64 d1 d2) 1) (.f64 (.f64 d1 30) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30)))) 1)
(/.f64 (+.f64 (pow.f64 (.f64 d1 (+.f64 d2 10)) 3) (pow.f64 (.f64 d1 20) 3)) (fma.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10)) (-.f64 (.f64 (.f64 d1 20) (.f64 d1 20)) (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 30) 3)) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (-.f64 (.f64 (.f64 d1 30) (.f64 d1 30)) (.f64 (.f64 d1 d2) (.f64 d1 30)))))
(/.f64 (-.f64 (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10))) (.f64 (.f64 d1 20) (.f64 d1 20))) (fma.f64 d1 (+.f64 d2 10) (neg.f64 (*.f64 d1 20))))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 30) (.f64 d1 30))) (-.f64 (.f64 d1 d2) (.f64 d1 30)))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)) (+.f64 d2 -10))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30)))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))
(/.f64 (.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) d1) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) d1) (+.f64 d2 -10))
(/.f64 (.f64 (+.f64 (pow.f64 d2 3) 27000) d1) (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30)))
(/.f64 (*.f64 (fma.f64 d2 d2 -900) d1) (+.f64 d2 -30))
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 30)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 30) 3)))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 30) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 30))) 1))
(fma.f64 d1 d2 (*.f64 d1 30))
(fma.f64 d1 30 (*.f64 d1 d2))
(fma.f64 d1 10 (*.f64 d1 (+.f64 d2 20)))
(fma.f64 d1 (+.f64 d2 10) (*.f64 d1 20))
(fma.f64 d1 20 (*.f64 d1 (+.f64 d2 10)))
(fma.f64 d2 d1 (*.f64 d1 30))
(fma.f64 30 d1 (*.f64 d1 d2))
(fma.f64 10 d1 (*.f64 (+.f64 d2 20) d1))
(fma.f64 (+.f64 d2 10) d1 (*.f64 d1 20))
(fma.f64 20 d1 (*.f64 d1 (+.f64 d2 10)))
(fma.f64 1 (.f64 d1 d2) (.f64 d1 30))
(fma.f64 1 (.f64 d1 30) (.f64 d1 d2))
(fma.f64 1 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 1 (.f64 d1 20) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2) (.f64 (cbrt.f64 (+.f64 d2 10)) d1) (.f64 d1 20))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 20) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 30) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d2) (.f64 d1 30))
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (.f64 (cbrt.f64 d2) d1) (.f64 d1 30))
(fma.f64 (sqrt.f64 (+.f64 d2 10)) (.f64 (sqrt.f64 (+.f64 d2 10)) d1) (.f64 d1 20))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 20) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 30) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 30))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 30))
(fma.f64 (.f64 d1 d2) 1 (.f64 (*.f64 d1 30) 1))
(fma.f64 (.f64 d1 (+.f64 d2 10)) 1 (.f64 (*.f64 d1 20) 1))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 20)) (cbrt.f64 (.f64 d1 20))) (cbrt.f64 (.f64 d1 20)) (*.f64 d1 (+.f64 d2 10)))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 30)) (cbrt.f64 (.f64 d1 30))) (cbrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 10))) (cbrt.f64 (.f64 d1 (+.f64 d2 10)))) (cbrt.f64 (.f64 d1 (+.f64 d2 10))) (*.f64 d1 20))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d2))) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(fma.f64 (sqrt.f64 (.f64 d1 20)) (sqrt.f64 (.f64 d1 20)) (*.f64 d1 (+.f64 d2 10)))
(fma.f64 (sqrt.f64 (.f64 d1 30)) (sqrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(fma.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 10))) (sqrt.f64 (.f64 d1 (+.f64 d2 10))) (*.f64 d1 20))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(fma.f64 (.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 d1)) (.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 d1)) (*.f64 d1 20))
(fma.f64 (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (*.f64 d1 30))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 10))) (.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 10))) (*.f64 d1 20))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (*.f64 d1 30))
(fma.f64 (.f64 20 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (.f64 20 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (.f64 30 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 30 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 (+.f64 d2 10) (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 20))
(fma.f64 (.f64 (+.f64 d2 10) (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 20))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 30))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 30))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2)) (cbrt.f64 (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 10))) (sqrt.f64 (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) 2)) (cbrt.f64 d2) (.f64 d1 30))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 30))
(+.f64 (.f64 d1 d2) (.f64 d1 30))
(+.f64 (.f64 d1 30) (.f64 d1 d2))
(+.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(+.f64 (.f64 d1 20) (.f64 d1 (+.f64 d2 10)))
(+.f64 (.f64 d1 10) (.f64 d1 (+.f64 d2 20)))
(+.f64 (.f64 10 d1) (.f64 (+.f64 d2 20) d1))
(+.f64 (.f64 (.f64 d1 (+.f64 d2 10)) 1) (.f64 (.f64 d1 20) 1))
(+.f64 (.f64 (.f64 d1 d2) 1) (.f64 (.f64 d1 30) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30)))) 1)
(/.f64 (+.f64 (pow.f64 (.f64 d1 (+.f64 d2 10)) 3) (pow.f64 (.f64 d1 20) 3)) (fma.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10)) (-.f64 (.f64 (.f64 d1 20) (.f64 d1 20)) (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 30) 3)) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (-.f64 (.f64 (.f64 d1 30) (.f64 d1 30)) (.f64 (.f64 d1 d2) (.f64 d1 30)))))
(/.f64 (-.f64 (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10))) (.f64 (.f64 d1 20) (.f64 d1 20))) (fma.f64 d1 (+.f64 d2 10) (neg.f64 (*.f64 d1 20))))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 30) (.f64 d1 30))) (-.f64 (.f64 d1 d2) (.f64 d1 30)))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)) (+.f64 d2 -10))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30)))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))
(/.f64 (.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) d1) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) d1) (+.f64 d2 -10))
(/.f64 (.f64 (+.f64 (pow.f64 d2 3) 27000) d1) (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30)))
(/.f64 (*.f64 (fma.f64 d2 d2 -900) d1) (+.f64 d2 -30))
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 30)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 30) 3)))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 30) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 30))) 1))
(fma.f64 d1 d2 (*.f64 d1 30))
(fma.f64 d1 30 (*.f64 d1 d2))
(fma.f64 d1 10 (*.f64 d1 (+.f64 d2 20)))
(fma.f64 d1 (+.f64 d2 10) (*.f64 d1 20))
(fma.f64 d1 20 (*.f64 d1 (+.f64 d2 10)))
(fma.f64 d2 d1 (*.f64 d1 30))
(fma.f64 30 d1 (*.f64 d1 d2))
(fma.f64 10 d1 (*.f64 (+.f64 d2 20) d1))
(fma.f64 (+.f64 d2 10) d1 (*.f64 d1 20))
(fma.f64 20 d1 (*.f64 d1 (+.f64 d2 10)))
(fma.f64 1 (.f64 d1 d2) (.f64 d1 30))
(fma.f64 1 (.f64 d1 30) (.f64 d1 d2))
(fma.f64 1 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 1 (.f64 d1 20) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2) (.f64 (cbrt.f64 (+.f64 d2 10)) d1) (.f64 d1 20))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 20) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 30) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d2) (.f64 d1 30))
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (.f64 (cbrt.f64 d2) d1) (.f64 d1 30))
(fma.f64 (sqrt.f64 (+.f64 d2 10)) (.f64 (sqrt.f64 (+.f64 d2 10)) d1) (.f64 d1 20))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 20) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 30) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 30))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 30))
(fma.f64 (.f64 d1 d2) 1 (.f64 (*.f64 d1 30) 1))
(fma.f64 (.f64 d1 (+.f64 d2 10)) 1 (.f64 (*.f64 d1 20) 1))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 20)) (cbrt.f64 (.f64 d1 20))) (cbrt.f64 (.f64 d1 20)) (*.f64 d1 (+.f64 d2 10)))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 30)) (cbrt.f64 (.f64 d1 30))) (cbrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 10))) (cbrt.f64 (.f64 d1 (+.f64 d2 10)))) (cbrt.f64 (.f64 d1 (+.f64 d2 10))) (*.f64 d1 20))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d2))) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(fma.f64 (sqrt.f64 (.f64 d1 20)) (sqrt.f64 (.f64 d1 20)) (*.f64 d1 (+.f64 d2 10)))
(fma.f64 (sqrt.f64 (.f64 d1 30)) (sqrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(fma.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 10))) (sqrt.f64 (.f64 d1 (+.f64 d2 10))) (*.f64 d1 20))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(fma.f64 (.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 d1)) (.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 d1)) (*.f64 d1 20))
(fma.f64 (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (*.f64 d1 30))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 10))) (.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 10))) (*.f64 d1 20))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (*.f64 d1 30))
(fma.f64 (.f64 20 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (.f64 20 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (.f64 30 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 30 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 (+.f64 d2 10) (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 20))
(fma.f64 (.f64 (+.f64 d2 10) (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 20))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 30))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 30))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2)) (cbrt.f64 (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 10))) (sqrt.f64 (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) 2)) (cbrt.f64 d2) (.f64 d1 30))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 30))
(-.f64 (exp.f64 (log1p.f64 (+.f64 d2 30))) 1)
(-.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 900 (+.f64 d2 -30)))
(-.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (+.f64 d2 -10)))
(*.f64 (+.f64 d2 30) 1)
(*.f64 1 (+.f64 d2 30))
(*.f64 (cbrt.f64 (+.f64 d2 30)) (pow.f64 (cbrt.f64 (+.f64 d2 30)) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 d2 30)) 2) (cbrt.f64 (+.f64 d2 30)))
(*.f64 (sqrt.f64 (+.f64 d2 30)) (sqrt.f64 (+.f64 d2 30)))
(.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 1 (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30))))
(.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (/.f64 1 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20)))))
(*.f64 (fma.f64 d2 d2 -900) (/.f64 1 (+.f64 d2 -30)))
(*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (/.f64 1 (+.f64 d2 -10)))
(/.f64 1 (/.f64 (-.f64 (fma.f64 d2 d2 900) (*.f64 d2 30)) (+.f64 (pow.f64 d2 3) 27000)))
(/.f64 1 (/.f64 (+.f64 d2 -30) (fma.f64 d2 d2 -900)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (*.f64 (+.f64 d2 10) 20))) (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)))
(/.f64 1 (/.f64 (+.f64 d2 -10) (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (-.f64 (fma.f64 d2 d2 900) (*.f64 d2 30)))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (-.f64 (pow.f64 d2 2) (*.f64 d2 30))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (*.f64 (+.f64 d2 10) 20))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (-.f64 (pow.f64 (+.f64 d2 10) 2) (*.f64 (+.f64 d2 10) 20))))
(/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10))
(/.f64 (neg.f64 (+.f64 (pow.f64 d2 3) 27000)) (neg.f64 (-.f64 (fma.f64 d2 d2 900) (*.f64 d2 30))))
(/.f64 (neg.f64 (fma.f64 d2 d2 -900)) (neg.f64 (+.f64 d2 -30)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (neg.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (*.f64 (+.f64 d2 10) 20)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)) (neg.f64 (+.f64 d2 -10)))
(/.f64 (+.f64 1000 (pow.f64 (+.f64 d2 20) 3)) (+.f64 100 (-.f64 (.f64 (+.f64 d2 20) (+.f64 d2 20)) (.f64 10 (+.f64 d2 20)))))
(/.f64 (-.f64 100 (*.f64 (+.f64 d2 20) (+.f64 d2 20))) (-.f64 10 (+.f64 d2 20)))
(/.f64 (-.f64 400 (pow.f64 (+.f64 d2 10) 2)) (-.f64 20 (+.f64 d2 10)))
(/.f64 (-.f64 900 (pow.f64 d2 2)) (-.f64 30 d2))
(pow.f64 (+.f64 d2 30) 1)
(pow.f64 (cbrt.f64 (+.f64 d2 30)) 3)
(pow.f64 (pow.f64 (+.f64 d2 30) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 d2 30)) 2)
(sqrt.f64 (pow.f64 (+.f64 d2 30) 2))
(log.f64 (exp.f64 (+.f64 d2 30)))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 d2 30))))
(cbrt.f64 (pow.f64 (+.f64 d2 30) 3))
(expm1.f64 (log1p.f64 (+.f64 d2 30)))
(log1p.f64 (expm1.f64 (+.f64 d2 30)))
(exp.f64 (log.f64 (+.f64 d2 30)))
(exp.f64 (*.f64 (log.f64 (+.f64 d2 30)) 1))
(fma.f64 d2 1 30)
(fma.f64 (+.f64 d2 10) 1 20)
(fma.f64 1 d2 30)
(fma.f64 1 (+.f64 d2 10) 20)
(fma.f64 1 (+.f64 d2 20) 10)
(fma.f64 (cbrt.f64 (+.f64 d2 10)) (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2) 20)
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2) (cbrt.f64 (+.f64 d2 10)) 20)
(fma.f64 (cbrt.f64 d2) (pow.f64 (cbrt.f64 d2) 2) 30)
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (cbrt.f64 d2) 30)
(fma.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 (+.f64 d2 10)) 20)
(fma.f64 (sqrt.f64 d2) (sqrt.f64 d2) 30)
(fma.f64 (+.f64 (pow.f64 d2 3) 1000) (/.f64 1 (fma.f64 d2 (+.f64 d2 -10) 100)) 20)
(fma.f64 (-.f64 100 (pow.f64 d2 2)) (/.f64 1 (-.f64 10 d2)) 20)
(fma.f64 (*.f64 (cbrt.f64 (+.f64 d2 20)) (cbrt.f64 (+.f64 d2 20))) (cbrt.f64 (+.f64 d2 20)) 10)
(fma.f64 (sqrt.f64 (+.f64 d2 20)) (sqrt.f64 (+.f64 d2 20)) 10)

simplify106.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

1470×	`distribute-lft-in`
1444×	`distribute-rgt-in`
1000×	`times-frac`
906×	`unswap-sqr`
528×	`cancel-sign-sub-inv`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	355	7125
1	933	6848
2	2778	6658

Stop Event

1×	node limit

Counts

291 → 182

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 30 d1)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 d2)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 d2)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 30 d1)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 d2)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 d2)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
30
(+.f64 30 d2)
(+.f64 30 d2)
(+.f64 30 d2)
d2
(+.f64 30 d2)
(+.f64 30 d2)
(+.f64 30 d2)
d2
(+.f64 30 d2)
(+.f64 30 d2)
(+.f64 30 d2)
(+.f64 (.f64 d1 d2) (.f64 d1 30))
(+.f64 (.f64 d1 30) (.f64 d1 d2))
(+.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(+.f64 (.f64 d1 20) (.f64 d1 (+.f64 d2 10)))
(+.f64 (.f64 d1 10) (.f64 d1 (+.f64 d2 20)))
(+.f64 (.f64 10 d1) (.f64 (+.f64 d2 20) d1))
(+.f64 (.f64 (.f64 d1 (+.f64 d2 10)) 1) (.f64 (.f64 d1 20) 1))
(+.f64 (.f64 (.f64 d1 d2) 1) (.f64 (.f64 d1 30) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30)))) 1)
(/.f64 (+.f64 (pow.f64 (.f64 d1 (+.f64 d2 10)) 3) (pow.f64 (.f64 d1 20) 3)) (fma.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10)) (-.f64 (.f64 (.f64 d1 20) (.f64 d1 20)) (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 30) 3)) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (-.f64 (.f64 (.f64 d1 30) (.f64 d1 30)) (.f64 (.f64 d1 d2) (.f64 d1 30)))))
(/.f64 (-.f64 (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10))) (.f64 (.f64 d1 20) (.f64 d1 20))) (fma.f64 d1 (+.f64 d2 10) (neg.f64 (*.f64 d1 20))))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 30) (.f64 d1 30))) (-.f64 (.f64 d1 d2) (.f64 d1 30)))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)) (+.f64 d2 -10))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30)))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))
(/.f64 (.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) d1) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) d1) (+.f64 d2 -10))
(/.f64 (.f64 (+.f64 (pow.f64 d2 3) 27000) d1) (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30)))
(/.f64 (*.f64 (fma.f64 d2 d2 -900) d1) (+.f64 d2 -30))
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 30)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 30) 3)))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 30) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 30))) 1))
(fma.f64 d1 d2 (*.f64 d1 30))
(fma.f64 d1 30 (*.f64 d1 d2))
(fma.f64 d1 10 (*.f64 d1 (+.f64 d2 20)))
(fma.f64 d1 (+.f64 d2 10) (*.f64 d1 20))
(fma.f64 d1 20 (*.f64 d1 (+.f64 d2 10)))
(fma.f64 d2 d1 (*.f64 d1 30))
(fma.f64 30 d1 (*.f64 d1 d2))
(fma.f64 10 d1 (*.f64 (+.f64 d2 20) d1))
(fma.f64 (+.f64 d2 10) d1 (*.f64 d1 20))
(fma.f64 20 d1 (*.f64 d1 (+.f64 d2 10)))
(fma.f64 1 (.f64 d1 d2) (.f64 d1 30))
(fma.f64 1 (.f64 d1 30) (.f64 d1 d2))
(fma.f64 1 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 1 (.f64 d1 20) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2) (.f64 (cbrt.f64 (+.f64 d2 10)) d1) (.f64 d1 20))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 20) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 30) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d2) (.f64 d1 30))
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (.f64 (cbrt.f64 d2) d1) (.f64 d1 30))
(fma.f64 (sqrt.f64 (+.f64 d2 10)) (.f64 (sqrt.f64 (+.f64 d2 10)) d1) (.f64 d1 20))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 20) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 30) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 30))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 30))
(fma.f64 (.f64 d1 d2) 1 (.f64 (*.f64 d1 30) 1))
(fma.f64 (.f64 d1 (+.f64 d2 10)) 1 (.f64 (*.f64 d1 20) 1))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 20)) (cbrt.f64 (.f64 d1 20))) (cbrt.f64 (.f64 d1 20)) (*.f64 d1 (+.f64 d2 10)))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 30)) (cbrt.f64 (.f64 d1 30))) (cbrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 10))) (cbrt.f64 (.f64 d1 (+.f64 d2 10)))) (cbrt.f64 (.f64 d1 (+.f64 d2 10))) (*.f64 d1 20))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d2))) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(fma.f64 (sqrt.f64 (.f64 d1 20)) (sqrt.f64 (.f64 d1 20)) (*.f64 d1 (+.f64 d2 10)))
(fma.f64 (sqrt.f64 (.f64 d1 30)) (sqrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(fma.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 10))) (sqrt.f64 (.f64 d1 (+.f64 d2 10))) (*.f64 d1 20))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(fma.f64 (.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 d1)) (.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 d1)) (*.f64 d1 20))
(fma.f64 (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (*.f64 d1 30))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 10))) (.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 10))) (*.f64 d1 20))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (*.f64 d1 30))
(fma.f64 (.f64 20 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (.f64 20 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (.f64 30 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 30 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 (+.f64 d2 10) (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 20))
(fma.f64 (.f64 (+.f64 d2 10) (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 20))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 30))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 30))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2)) (cbrt.f64 (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 10))) (sqrt.f64 (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) 2)) (cbrt.f64 d2) (.f64 d1 30))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 30))
(+.f64 (.f64 d1 d2) (.f64 d1 30))
(+.f64 (.f64 d1 30) (.f64 d1 d2))
(+.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(+.f64 (.f64 d1 20) (.f64 d1 (+.f64 d2 10)))
(+.f64 (.f64 d1 10) (.f64 d1 (+.f64 d2 20)))
(+.f64 (.f64 10 d1) (.f64 (+.f64 d2 20) d1))
(+.f64 (.f64 (.f64 d1 (+.f64 d2 10)) 1) (.f64 (.f64 d1 20) 1))
(+.f64 (.f64 (.f64 d1 d2) 1) (.f64 (.f64 d1 30) 1))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30)))) 1)
(/.f64 (+.f64 (pow.f64 (.f64 d1 (+.f64 d2 10)) 3) (pow.f64 (.f64 d1 20) 3)) (fma.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10)) (-.f64 (.f64 (.f64 d1 20) (.f64 d1 20)) (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 30) 3)) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (-.f64 (.f64 (.f64 d1 30) (.f64 d1 30)) (.f64 (.f64 d1 d2) (.f64 d1 30)))))
(/.f64 (-.f64 (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10))) (.f64 (.f64 d1 20) (.f64 d1 20))) (fma.f64 d1 (+.f64 d2 10) (neg.f64 (*.f64 d1 20))))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 30) (.f64 d1 30))) (-.f64 (.f64 d1 d2) (.f64 d1 30)))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)) (+.f64 d2 -10))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30)))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))
(/.f64 (.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) d1) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(/.f64 (*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) d1) (+.f64 d2 -10))
(/.f64 (.f64 (+.f64 (pow.f64 d2 3) 27000) d1) (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30)))
(/.f64 (*.f64 (fma.f64 d2 d2 -900) d1) (+.f64 d2 -30))
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 30)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 30) 3)))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 30) 3) (pow.f64 d1 3)))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 30))) 1))
(fma.f64 d1 d2 (*.f64 d1 30))
(fma.f64 d1 30 (*.f64 d1 d2))
(fma.f64 d1 10 (*.f64 d1 (+.f64 d2 20)))
(fma.f64 d1 (+.f64 d2 10) (*.f64 d1 20))
(fma.f64 d1 20 (*.f64 d1 (+.f64 d2 10)))
(fma.f64 d2 d1 (*.f64 d1 30))
(fma.f64 30 d1 (*.f64 d1 d2))
(fma.f64 10 d1 (*.f64 (+.f64 d2 20) d1))
(fma.f64 (+.f64 d2 10) d1 (*.f64 d1 20))
(fma.f64 20 d1 (*.f64 d1 (+.f64 d2 10)))
(fma.f64 1 (.f64 d1 d2) (.f64 d1 30))
(fma.f64 1 (.f64 d1 30) (.f64 d1 d2))
(fma.f64 1 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 1 (.f64 d1 20) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2) (.f64 (cbrt.f64 (+.f64 d2 10)) d1) (.f64 d1 20))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 20) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 30) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d2) (.f64 d1 30))
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (.f64 (cbrt.f64 d2) d1) (.f64 d1 30))
(fma.f64 (sqrt.f64 (+.f64 d2 10)) (.f64 (sqrt.f64 (+.f64 d2 10)) d1) (.f64 d1 20))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 20) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 30) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 30))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 30))
(fma.f64 (.f64 d1 d2) 1 (.f64 (*.f64 d1 30) 1))
(fma.f64 (.f64 d1 (+.f64 d2 10)) 1 (.f64 (*.f64 d1 20) 1))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 20)) (cbrt.f64 (.f64 d1 20))) (cbrt.f64 (.f64 d1 20)) (*.f64 d1 (+.f64 d2 10)))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 30)) (cbrt.f64 (.f64 d1 30))) (cbrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 10))) (cbrt.f64 (.f64 d1 (+.f64 d2 10)))) (cbrt.f64 (.f64 d1 (+.f64 d2 10))) (*.f64 d1 20))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d2))) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(fma.f64 (sqrt.f64 (.f64 d1 20)) (sqrt.f64 (.f64 d1 20)) (*.f64 d1 (+.f64 d2 10)))
(fma.f64 (sqrt.f64 (.f64 d1 30)) (sqrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(fma.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 10))) (sqrt.f64 (.f64 d1 (+.f64 d2 10))) (*.f64 d1 20))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(fma.f64 (.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 d1)) (.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 d1)) (*.f64 d1 20))
(fma.f64 (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (*.f64 d1 30))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 10))) (.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 10))) (*.f64 d1 20))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (*.f64 d1 30))
(fma.f64 (.f64 20 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (.f64 20 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 (+.f64 d2 10)))
(fma.f64 (.f64 30 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 30 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 (+.f64 d2 10) (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 20))
(fma.f64 (.f64 (+.f64 d2 10) (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 20))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 30))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 30))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2)) (cbrt.f64 (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 10))) (sqrt.f64 (+.f64 d2 10)) (.f64 d1 20))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) 2)) (cbrt.f64 d2) (.f64 d1 30))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 30))
(-.f64 (exp.f64 (log1p.f64 (+.f64 d2 30))) 1)
(-.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 900 (+.f64 d2 -30)))
(-.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (+.f64 d2 -10)))
(*.f64 (+.f64 d2 30) 1)
(*.f64 1 (+.f64 d2 30))
(*.f64 (cbrt.f64 (+.f64 d2 30)) (pow.f64 (cbrt.f64 (+.f64 d2 30)) 2))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 d2 30)) 2) (cbrt.f64 (+.f64 d2 30)))
(*.f64 (sqrt.f64 (+.f64 d2 30)) (sqrt.f64 (+.f64 d2 30)))
(.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 1 (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30))))
(.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (/.f64 1 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20)))))
(*.f64 (fma.f64 d2 d2 -900) (/.f64 1 (+.f64 d2 -30)))
(*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (/.f64 1 (+.f64 d2 -10)))
(/.f64 1 (/.f64 (-.f64 (fma.f64 d2 d2 900) (*.f64 d2 30)) (+.f64 (pow.f64 d2 3) 27000)))
(/.f64 1 (/.f64 (+.f64 d2 -30) (fma.f64 d2 d2 -900)))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (*.f64 (+.f64 d2 10) 20))) (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)))
(/.f64 1 (/.f64 (+.f64 d2 -10) (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (-.f64 (fma.f64 d2 d2 900) (*.f64 d2 30)))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (-.f64 (pow.f64 d2 2) (*.f64 d2 30))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (*.f64 (+.f64 d2 10) 20))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (-.f64 (pow.f64 (+.f64 d2 10) 2) (*.f64 (+.f64 d2 10) 20))))
(/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10))
(/.f64 (neg.f64 (+.f64 (pow.f64 d2 3) 27000)) (neg.f64 (-.f64 (fma.f64 d2 d2 900) (*.f64 d2 30))))
(/.f64 (neg.f64 (fma.f64 d2 d2 -900)) (neg.f64 (+.f64 d2 -30)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (neg.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (*.f64 (+.f64 d2 10) 20)))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)) (neg.f64 (+.f64 d2 -10)))
(/.f64 (+.f64 1000 (pow.f64 (+.f64 d2 20) 3)) (+.f64 100 (-.f64 (.f64 (+.f64 d2 20) (+.f64 d2 20)) (.f64 10 (+.f64 d2 20)))))
(/.f64 (-.f64 100 (*.f64 (+.f64 d2 20) (+.f64 d2 20))) (-.f64 10 (+.f64 d2 20)))
(/.f64 (-.f64 400 (pow.f64 (+.f64 d2 10) 2)) (-.f64 20 (+.f64 d2 10)))
(/.f64 (-.f64 900 (pow.f64 d2 2)) (-.f64 30 d2))
(pow.f64 (+.f64 d2 30) 1)
(pow.f64 (cbrt.f64 (+.f64 d2 30)) 3)
(pow.f64 (pow.f64 (+.f64 d2 30) 3) 1/3)
(pow.f64 (sqrt.f64 (+.f64 d2 30)) 2)
(sqrt.f64 (pow.f64 (+.f64 d2 30) 2))
(log.f64 (exp.f64 (+.f64 d2 30)))
(log.f64 (+.f64 1 (expm1.f64 (+.f64 d2 30))))
(cbrt.f64 (pow.f64 (+.f64 d2 30) 3))
(expm1.f64 (log1p.f64 (+.f64 d2 30)))
(log1p.f64 (expm1.f64 (+.f64 d2 30)))
(exp.f64 (log.f64 (+.f64 d2 30)))
(exp.f64 (*.f64 (log.f64 (+.f64 d2 30)) 1))
(fma.f64 d2 1 30)
(fma.f64 (+.f64 d2 10) 1 20)
(fma.f64 1 d2 30)
(fma.f64 1 (+.f64 d2 10) 20)
(fma.f64 1 (+.f64 d2 20) 10)
(fma.f64 (cbrt.f64 (+.f64 d2 10)) (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2) 20)
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2) (cbrt.f64 (+.f64 d2 10)) 20)
(fma.f64 (cbrt.f64 d2) (pow.f64 (cbrt.f64 d2) 2) 30)
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (cbrt.f64 d2) 30)
(fma.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 (+.f64 d2 10)) 20)
(fma.f64 (sqrt.f64 d2) (sqrt.f64 d2) 30)
(fma.f64 (+.f64 (pow.f64 d2 3) 1000) (/.f64 1 (fma.f64 d2 (+.f64 d2 -10) 100)) 20)
(fma.f64 (-.f64 100 (pow.f64 d2 2)) (/.f64 1 (-.f64 10 d2)) 20)
(fma.f64 (*.f64 (cbrt.f64 (+.f64 d2 20)) (cbrt.f64 (+.f64 d2 20))) (cbrt.f64 (+.f64 d2 20)) 10)
(fma.f64 (sqrt.f64 (+.f64 d2 20)) (sqrt.f64 (+.f64 d2 20)) 10)

Outputs
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 30 d1)
(*.f64 d1 30)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 d2)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 d2)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 30 d1)
(*.f64 d1 30)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 d2)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 d2)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
30
(+.f64 30 d2)
(+.f64 30 d2)
(+.f64 30 d2)
d2
(+.f64 30 d2)
(+.f64 30 d2)
(+.f64 30 d2)
d2
(+.f64 30 d2)
(+.f64 30 d2)
(+.f64 30 d2)
(+.f64 (.f64 d1 d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 d1 30) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 d1 20) (.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 d1 10) (.f64 d1 (+.f64 d2 20)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 10 d1) (.f64 (+.f64 d2 20) d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 (.f64 d1 (+.f64 d2 10)) 1) (.f64 (.f64 d1 20) 1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 (.f64 d1 d2) 1) (.f64 (.f64 d1 30) 1))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30)))) 1)
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 30 d2))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 (+.f64 d2 10)) 3) (pow.f64 (.f64 d1 20) 3)) (fma.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10)) (-.f64 (.f64 (.f64 d1 20) (.f64 d1 20)) (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 (+.f64 d2 10)) 3) (.f64 (pow.f64 d1 3) 8000)) (+.f64 (.f64 (.f64 d1 d1) (pow.f64 (+.f64 d2 10) 2)) (.f64 (.f64 d1 20) (-.f64 (.f64 d1 20) (.f64 d1 (+.f64 d2 10))))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (fma.f64 d1 (.f64 d1 (pow.f64 (+.f64 d2 10) 2)) (.f64 d1 (.f64 20 (*.f64 d1 (-.f64 10 d2))))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 30) 3)) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (-.f64 (.f64 (.f64 d1 30) (.f64 d1 30)) (.f64 (.f64 d1 d2) (.f64 d1 30)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (.f64 (pow.f64 d1 3) 27000)) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 d2 3) 27000)) (fma.f64 d1 (.f64 (pow.f64 d2 2) d1) (.f64 d1 (.f64 30 (*.f64 d1 (-.f64 30 d2))))))
(/.f64 (-.f64 (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10))) (.f64 (.f64 d1 20) (.f64 d1 20))) (fma.f64 d1 (+.f64 d2 10) (neg.f64 (*.f64 d1 20))))
(*.f64 d1 (+.f64 30 d2))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 30) (.f64 d1 30))) (-.f64 (.f64 d1 d2) (.f64 d1 30)))
(*.f64 d1 (+.f64 30 d2))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (-.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) 400) (.f64 (+.f64 d2 10) 20))))
(.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (.f64 (+.f64 d2 10) (-.f64 (+.f64 d2 10) 20)))))
(.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (.f64 (+.f64 d2 10) (+.f64 (+.f64 d2 10) -20)))))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)) (+.f64 d2 -10))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10)))
(*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (/.f64 d1 (+.f64 d2 -10)))
(*.f64 d1 (/.f64 (-.f64 400 (pow.f64 (+.f64 d2 10) 2)) (-.f64 10 d2)))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30)))
(.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 27000) (-.f64 (fma.f64 d2 d2 900) (.f64 30 d2))))
(.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (.f64 d2 (+.f64 d2 -30)))))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))
(*.f64 d1 (/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30)))
(*.f64 (fma.f64 d2 d2 -900) (/.f64 d1 (+.f64 d2 -30)))
(/.f64 (.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) d1) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (-.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) 400) (.f64 (+.f64 d2 10) 20))))
(.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (.f64 (+.f64 d2 10) (-.f64 (+.f64 d2 10) 20)))))
(.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (.f64 (+.f64 d2 10) (+.f64 (+.f64 d2 10) -20)))))
(/.f64 (*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) d1) (+.f64 d2 -10))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10)))
(*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (/.f64 d1 (+.f64 d2 -10)))
(*.f64 d1 (/.f64 (-.f64 400 (pow.f64 (+.f64 d2 10) 2)) (-.f64 10 d2)))
(/.f64 (.f64 (+.f64 (pow.f64 d2 3) 27000) d1) (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30)))
(.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 27000) (-.f64 (fma.f64 d2 d2 900) (.f64 30 d2))))
(.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (.f64 d2 (+.f64 d2 -30)))))
(/.f64 (*.f64 (fma.f64 d2 d2 -900) d1) (+.f64 d2 -30))
(*.f64 d1 (/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30)))
(*.f64 (fma.f64 d2 d2 -900) (/.f64 d1 (+.f64 d2 -30)))
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 3)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3) 1/3)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
(*.f64 d1 (+.f64 30 d2))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))
(*.f64 d1 (+.f64 30 d2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))
(*.f64 d1 (+.f64 30 d2))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 30)))))
(*.f64 d1 (+.f64 30 d2))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
(*.f64 d1 (+.f64 30 d2))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 30) 3)))
(*.f64 d1 (+.f64 30 d2))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 30) 3) (pow.f64 d1 3)))
(*.f64 d1 (+.f64 30 d2))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30))))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 30 d2))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 30))))
(*.f64 d1 (+.f64 30 d2))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))))
(*.f64 d1 (+.f64 30 d2))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 30))) 1))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d1 d2 (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d1 30 (*.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d1 10 (*.f64 d1 (+.f64 d2 20)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d1 (+.f64 d2 10) (*.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d1 20 (*.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d2 d1 (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 30 d1 (*.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 10 d1 (*.f64 (+.f64 d2 20) d1))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (+.f64 d2 10) d1 (*.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 20 d1 (*.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 1 (.f64 d1 d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 1 (.f64 d1 30) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 1 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 1 (.f64 d1 20) (.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2) (.f64 (cbrt.f64 (+.f64 d2 10)) d1) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 20) (.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 30) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) (+.f64 d2 10)) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (.f64 (cbrt.f64 d2) d1) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 (+.f64 d2 10)) (.f64 (sqrt.f64 (+.f64 d2 10)) d1) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 20) (.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 30) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 10)) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d1 d2) 1 (.f64 (*.f64 d1 30) 1))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d1 (+.f64 d2 10)) 1 (.f64 (*.f64 d1 20) 1))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 20)) (cbrt.f64 (.f64 d1 20))) (cbrt.f64 (.f64 d1 20)) (*.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 30)) (cbrt.f64 (.f64 d1 30))) (cbrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 10))) (cbrt.f64 (.f64 d1 (+.f64 d2 10)))) (cbrt.f64 (.f64 d1 (+.f64 d2 10))) (*.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d2))) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 (.f64 d1 20)) (sqrt.f64 (.f64 d1 20)) (*.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 (.f64 d1 30)) (sqrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 10))) (sqrt.f64 (.f64 d1 (+.f64 d2 10))) (*.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 d1)) (.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 d1)) (*.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 10))) (.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 10))) (*.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 20 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 20 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 30 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 30 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (+.f64 d2 10) (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (+.f64 d2 10) (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2)) (cbrt.f64 (+.f64 d2 10)) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 10))) (sqrt.f64 (+.f64 d2 10)) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) 2)) (cbrt.f64 d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 d1 d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 d1 30) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 d1 20) (.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 d1 10) (.f64 d1 (+.f64 d2 20)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 10 d1) (.f64 (+.f64 d2 20) d1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 (.f64 d1 (+.f64 d2 10)) 1) (.f64 (.f64 d1 20) 1))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 (.f64 d1 d2) 1) (.f64 (.f64 d1 30) 1))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30)))) 1)
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 30 d2))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 (+.f64 d2 10)) 3) (pow.f64 (.f64 d1 20) 3)) (fma.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10)) (-.f64 (.f64 (.f64 d1 20) (.f64 d1 20)) (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 (+.f64 d2 10)) 3) (.f64 (pow.f64 d1 3) 8000)) (+.f64 (.f64 (.f64 d1 d1) (pow.f64 (+.f64 d2 10) 2)) (.f64 (.f64 d1 20) (-.f64 (.f64 d1 20) (.f64 d1 (+.f64 d2 10))))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (fma.f64 d1 (.f64 d1 (pow.f64 (+.f64 d2 10) 2)) (.f64 d1 (.f64 20 (*.f64 d1 (-.f64 10 d2))))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (pow.f64 (.f64 d1 30) 3)) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (-.f64 (.f64 (.f64 d1 30) (.f64 d1 30)) (.f64 (.f64 d1 d2) (.f64 d1 30)))))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 3) (.f64 (pow.f64 d1 3) 27000)) (fma.f64 (.f64 d1 d2) (.f64 d1 d2) (.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 d2 3) 27000)) (fma.f64 d1 (.f64 (pow.f64 d2 2) d1) (.f64 d1 (.f64 30 (*.f64 d1 (-.f64 30 d2))))))
(/.f64 (-.f64 (.f64 (.f64 d1 (+.f64 d2 10)) (.f64 d1 (+.f64 d2 10))) (.f64 (.f64 d1 20) (.f64 d1 20))) (fma.f64 d1 (+.f64 d2 10) (neg.f64 (*.f64 d1 20))))
(*.f64 d1 (+.f64 30 d2))
(/.f64 (-.f64 (.f64 (.f64 d1 d2) (.f64 d1 d2)) (.f64 (.f64 d1 30) (.f64 d1 30))) (-.f64 (.f64 d1 d2) (.f64 d1 30)))
(*.f64 d1 (+.f64 30 d2))
(/.f64 (.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (-.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) 400) (.f64 (+.f64 d2 10) 20))))
(.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (.f64 (+.f64 d2 10) (-.f64 (+.f64 d2 10) 20)))))
(.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (.f64 (+.f64 d2 10) (+.f64 (+.f64 d2 10) -20)))))
(/.f64 (*.f64 d1 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)) (+.f64 d2 -10))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10)))
(*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (/.f64 d1 (+.f64 d2 -10)))
(*.f64 d1 (/.f64 (-.f64 400 (pow.f64 (+.f64 d2 10) 2)) (-.f64 10 d2)))
(/.f64 (.f64 d1 (+.f64 (pow.f64 d2 3) 27000)) (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30)))
(.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 27000) (-.f64 (fma.f64 d2 d2 900) (.f64 30 d2))))
(.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (.f64 d2 (+.f64 d2 -30)))))
(/.f64 (*.f64 d1 (fma.f64 d2 d2 -900)) (+.f64 d2 -30))
(*.f64 d1 (/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30)))
(*.f64 (fma.f64 d2 d2 -900) (/.f64 d1 (+.f64 d2 -30)))
(/.f64 (.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) d1) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20))))
(.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (-.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) 400) (.f64 (+.f64 d2 10) 20))))
(.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (.f64 (+.f64 d2 10) (-.f64 (+.f64 d2 10) 20)))))
(.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (.f64 (+.f64 d2 10) (+.f64 (+.f64 d2 10) -20)))))
(/.f64 (*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) d1) (+.f64 d2 -10))
(*.f64 d1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10)))
(*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (/.f64 d1 (+.f64 d2 -10)))
(*.f64 d1 (/.f64 (-.f64 400 (pow.f64 (+.f64 d2 10) 2)) (-.f64 10 d2)))
(/.f64 (.f64 (+.f64 (pow.f64 d2 3) 27000) d1) (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30)))
(.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 27000) (-.f64 (fma.f64 d2 d2 900) (.f64 30 d2))))
(.f64 d1 (/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (.f64 d2 (+.f64 d2 -30)))))
(/.f64 (*.f64 (fma.f64 d2 d2 -900) d1) (+.f64 d2 -30))
(*.f64 d1 (/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30)))
(*.f64 (fma.f64 d2 d2 -900) (/.f64 d1 (+.f64 d2 -30)))
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 3)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3) 1/3)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
(*.f64 d1 (+.f64 30 d2))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))
(*.f64 d1 (+.f64 30 d2))
(log.f64 (pow.f64 (exp.f64 (+.f64 d2 30)) d1))
(*.f64 d1 (+.f64 30 d2))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 30)))))
(*.f64 d1 (+.f64 30 d2))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
(*.f64 d1 (+.f64 30 d2))
(cbrt.f64 (*.f64 (pow.f64 d1 3) (pow.f64 (+.f64 d2 30) 3)))
(*.f64 d1 (+.f64 30 d2))
(cbrt.f64 (*.f64 (pow.f64 (+.f64 d2 30) 3) (pow.f64 d1 3)))
(*.f64 d1 (+.f64 30 d2))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30))))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 30 d2))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 30))))
(*.f64 d1 (+.f64 30 d2))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))))
(*.f64 d1 (+.f64 30 d2))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 30))) 1))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d1 d2 (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d1 30 (*.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d1 10 (*.f64 d1 (+.f64 d2 20)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d1 (+.f64 d2 10) (*.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d1 20 (*.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d2 d1 (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 30 d1 (*.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 10 d1 (*.f64 (+.f64 d2 20) d1))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (+.f64 d2 10) d1 (*.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 20 d1 (*.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 1 (.f64 d1 d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 1 (.f64 d1 30) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 1 (.f64 d1 (+.f64 d2 10)) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 1 (.f64 d1 20) (.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2) (.f64 (cbrt.f64 (+.f64 d2 10)) d1) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 20) (.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 30) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) (+.f64 d2 10)) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (.f64 (cbrt.f64 d2) d1) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 (+.f64 d2 10)) (.f64 (sqrt.f64 (+.f64 d2 10)) d1) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 20) (.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 30) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 10)) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d1 d2) 1 (.f64 (*.f64 d1 30) 1))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d1 (+.f64 d2 10)) 1 (.f64 (*.f64 d1 20) 1))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 20)) (cbrt.f64 (.f64 d1 20))) (cbrt.f64 (.f64 d1 20)) (*.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 30)) (cbrt.f64 (.f64 d1 30))) (cbrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 10))) (cbrt.f64 (.f64 d1 (+.f64 d2 10)))) (cbrt.f64 (.f64 d1 (+.f64 d2 10))) (*.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (cbrt.f64 (.f64 d1 d2)) (cbrt.f64 (.f64 d1 d2))) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 (.f64 d1 20)) (sqrt.f64 (.f64 d1 20)) (*.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 (.f64 d1 30)) (sqrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 10))) (sqrt.f64 (.f64 d1 (+.f64 d2 10))) (*.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 d1)) (.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 d1)) (*.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (.f64 (sqrt.f64 d2) (sqrt.f64 d1)) (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 10))) (.f64 (sqrt.f64 d1) (sqrt.f64 (+.f64 d2 10))) (*.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (.f64 (sqrt.f64 d1) (sqrt.f64 d2)) (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 20 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 20 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 (+.f64 d2 10)))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 30 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 30 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (+.f64 d2 10) (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 (+.f64 d2 10) (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2)) (cbrt.f64 (+.f64 d2 10)) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d1 (sqrt.f64 (+.f64 d2 10))) (sqrt.f64 (+.f64 d2 10)) (.f64 d1 20))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) 2)) (cbrt.f64 d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (exp.f64 (log1p.f64 (+.f64 d2 30))) 1)
(expm1.f64 (log1p.f64 (+.f64 30 d2)))
(+.f64 (+.f64 31 d2) -1)
(-.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 900 (+.f64 d2 -30)))
(+.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 -900 (+.f64 d2 -30)))
(/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30))
(-.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (+.f64 d2 -10)))
(+.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (-.f64 10 d2)))
(/.f64 (-.f64 400 (pow.f64 (+.f64 d2 10) 2)) (-.f64 10 d2))
(*.f64 (+.f64 d2 30) 1)
(+.f64 30 d2)
(*.f64 1 (+.f64 d2 30))
(+.f64 30 d2)
(*.f64 (cbrt.f64 (+.f64 d2 30)) (pow.f64 (cbrt.f64 (+.f64 d2 30)) 2))
(+.f64 30 d2)
(*.f64 (pow.f64 (cbrt.f64 (+.f64 d2 30)) 2) (cbrt.f64 (+.f64 d2 30)))
(+.f64 30 d2)
(*.f64 (sqrt.f64 (+.f64 d2 30)) (sqrt.f64 (+.f64 d2 30)))
(+.f64 30 d2)
(.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 1 (-.f64 (fma.f64 d2 d2 900) (.f64 d2 30))))
(/.f64 1 (/.f64 (-.f64 (fma.f64 d2 d2 900) (*.f64 30 d2)) (+.f64 (pow.f64 d2 3) 27000)))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (*.f64 d2 (+.f64 d2 -30))))
(.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (/.f64 1 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (.f64 (+.f64 d2 10) 20)))))
(/.f64 1 (/.f64 (-.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) 400) (*.f64 (+.f64 d2 10) 20)) (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (*.f64 (+.f64 d2 10) (-.f64 (+.f64 d2 10) 20))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (*.f64 (+.f64 d2 10) (+.f64 (+.f64 d2 10) -20))))
(*.f64 (fma.f64 d2 d2 -900) (/.f64 1 (+.f64 d2 -30)))
(-.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 900 (+.f64 d2 -30)))
(+.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 -900 (+.f64 d2 -30)))
(/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30))
(*.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (/.f64 1 (+.f64 d2 -10)))
(-.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (+.f64 d2 -10)))
(+.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (-.f64 10 d2)))
(/.f64 (-.f64 400 (pow.f64 (+.f64 d2 10) 2)) (-.f64 10 d2))
(/.f64 1 (/.f64 (-.f64 (fma.f64 d2 d2 900) (*.f64 d2 30)) (+.f64 (pow.f64 d2 3) 27000)))
(/.f64 1 (/.f64 (-.f64 (fma.f64 d2 d2 900) (*.f64 30 d2)) (+.f64 (pow.f64 d2 3) 27000)))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (*.f64 d2 (+.f64 d2 -30))))
(/.f64 1 (/.f64 (+.f64 d2 -30) (fma.f64 d2 d2 -900)))
(-.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 900 (+.f64 d2 -30)))
(+.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 -900 (+.f64 d2 -30)))
(/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (*.f64 (+.f64 d2 10) 20))) (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)))
(/.f64 1 (/.f64 (-.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) 400) (*.f64 (+.f64 d2 10) 20)) (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (*.f64 (+.f64 d2 10) (-.f64 (+.f64 d2 10) 20))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (*.f64 (+.f64 d2 10) (+.f64 (+.f64 d2 10) -20))))
(/.f64 1 (/.f64 (+.f64 d2 -10) (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)))
(-.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (+.f64 d2 -10)))
(+.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (-.f64 10 d2)))
(/.f64 (-.f64 400 (pow.f64 (+.f64 d2 10) 2)) (-.f64 10 d2))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (-.f64 (fma.f64 d2 d2 900) (*.f64 d2 30)))
(/.f64 1 (/.f64 (-.f64 (fma.f64 d2 d2 900) (*.f64 30 d2)) (+.f64 (pow.f64 d2 3) 27000)))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (*.f64 d2 (+.f64 d2 -30))))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (-.f64 (pow.f64 d2 2) (*.f64 d2 30))))
(/.f64 1 (/.f64 (-.f64 (fma.f64 d2 d2 900) (*.f64 30 d2)) (+.f64 (pow.f64 d2 3) 27000)))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (*.f64 d2 (+.f64 d2 -30))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (*.f64 (+.f64 d2 10) 20))))
(/.f64 1 (/.f64 (-.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) 400) (*.f64 (+.f64 d2 10) 20)) (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (*.f64 (+.f64 d2 10) (-.f64 (+.f64 d2 10) 20))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (*.f64 (+.f64 d2 10) (+.f64 (+.f64 d2 10) -20))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (-.f64 (pow.f64 (+.f64 d2 10) 2) (*.f64 (+.f64 d2 10) 20))))
(/.f64 1 (/.f64 (-.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) 400) (*.f64 (+.f64 d2 10) 20)) (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (*.f64 (+.f64 d2 10) (-.f64 (+.f64 d2 10) 20))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (*.f64 (+.f64 d2 10) (+.f64 (+.f64 d2 10) -20))))
(/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30))
(-.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 900 (+.f64 d2 -30)))
(+.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 -900 (+.f64 d2 -30)))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10))
(-.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (+.f64 d2 -10)))
(+.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (-.f64 10 d2)))
(/.f64 (-.f64 400 (pow.f64 (+.f64 d2 10) 2)) (-.f64 10 d2))
(/.f64 (neg.f64 (+.f64 (pow.f64 d2 3) 27000)) (neg.f64 (-.f64 (fma.f64 d2 d2 900) (*.f64 d2 30))))
(/.f64 1 (/.f64 (-.f64 (fma.f64 d2 d2 900) (*.f64 30 d2)) (+.f64 (pow.f64 d2 3) 27000)))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (+.f64 900 (*.f64 d2 (+.f64 d2 -30))))
(/.f64 (neg.f64 (fma.f64 d2 d2 -900)) (neg.f64 (+.f64 d2 -30)))
(-.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 900 (+.f64 d2 -30)))
(+.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 -900 (+.f64 d2 -30)))
(/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (neg.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) (-.f64 400 (*.f64 (+.f64 d2 10) 20)))))
(/.f64 1 (/.f64 (-.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) 400) (*.f64 (+.f64 d2 10) 20)) (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (*.f64 (+.f64 d2 10) (-.f64 (+.f64 d2 10) 20))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (*.f64 (+.f64 d2 10) (+.f64 (+.f64 d2 10) -20))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (+.f64 d2 10) 2) -400)) (neg.f64 (+.f64 d2 -10)))
(-.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (+.f64 d2 -10)))
(+.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (-.f64 10 d2)))
(/.f64 (-.f64 400 (pow.f64 (+.f64 d2 10) 2)) (-.f64 10 d2))
(/.f64 (+.f64 1000 (pow.f64 (+.f64 d2 20) 3)) (+.f64 100 (-.f64 (.f64 (+.f64 d2 20) (+.f64 d2 20)) (.f64 10 (+.f64 d2 20)))))
(/.f64 (+.f64 1000 (pow.f64 (+.f64 d2 20) 3)) (+.f64 100 (*.f64 (+.f64 d2 20) (-.f64 (+.f64 d2 20) 10))))
(/.f64 (+.f64 1000 (pow.f64 (+.f64 d2 20) 3)) (fma.f64 (+.f64 d2 20) (+.f64 d2 10) 100))
(/.f64 (-.f64 100 (*.f64 (+.f64 d2 20) (+.f64 d2 20))) (-.f64 10 (+.f64 d2 20)))
(/.f64 (-.f64 100 (*.f64 (+.f64 d2 20) (+.f64 d2 20))) (-.f64 -10 d2))
(/.f64 (-.f64 400 (pow.f64 (+.f64 d2 10) 2)) (-.f64 20 (+.f64 d2 10)))
(-.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (+.f64 d2 -10)))
(+.f64 (/.f64 (pow.f64 (+.f64 d2 10) 2) (+.f64 d2 -10)) (/.f64 400 (-.f64 10 d2)))
(/.f64 (-.f64 400 (pow.f64 (+.f64 d2 10) 2)) (-.f64 10 d2))
(/.f64 (-.f64 900 (pow.f64 d2 2)) (-.f64 30 d2))
(-.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 900 (+.f64 d2 -30)))
(+.f64 (/.f64 (pow.f64 d2 2) (+.f64 d2 -30)) (/.f64 -900 (+.f64 d2 -30)))
(/.f64 (fma.f64 d2 d2 -900) (+.f64 d2 -30))
(pow.f64 (+.f64 d2 30) 1)
(+.f64 30 d2)
(pow.f64 (cbrt.f64 (+.f64 d2 30)) 3)
(+.f64 30 d2)
(pow.f64 (pow.f64 (+.f64 d2 30) 3) 1/3)
(+.f64 30 d2)
(pow.f64 (sqrt.f64 (+.f64 d2 30)) 2)
(+.f64 30 d2)
(sqrt.f64 (pow.f64 (+.f64 d2 30) 2))
(+.f64 30 d2)
(log.f64 (exp.f64 (+.f64 d2 30)))
(+.f64 30 d2)
(log.f64 (+.f64 1 (expm1.f64 (+.f64 d2 30))))
(+.f64 30 d2)
(cbrt.f64 (pow.f64 (+.f64 d2 30) 3))
(+.f64 30 d2)
(expm1.f64 (log1p.f64 (+.f64 d2 30)))
(expm1.f64 (log1p.f64 (+.f64 30 d2)))
(+.f64 (+.f64 31 d2) -1)
(log1p.f64 (expm1.f64 (+.f64 d2 30)))
(+.f64 30 d2)
(exp.f64 (log.f64 (+.f64 d2 30)))
(+.f64 30 d2)
(exp.f64 (*.f64 (log.f64 (+.f64 d2 30)) 1))
(+.f64 30 d2)
(fma.f64 d2 1 30)
(+.f64 30 d2)
(fma.f64 (+.f64 d2 10) 1 20)
(+.f64 30 d2)
(fma.f64 1 d2 30)
(+.f64 30 d2)
(fma.f64 1 (+.f64 d2 10) 20)
(+.f64 30 d2)
(fma.f64 1 (+.f64 d2 20) 10)
(+.f64 30 d2)
(fma.f64 (cbrt.f64 (+.f64 d2 10)) (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2) 20)
(+.f64 30 d2)
(fma.f64 (pow.f64 (cbrt.f64 (+.f64 d2 10)) 2) (cbrt.f64 (+.f64 d2 10)) 20)
(+.f64 30 d2)
(fma.f64 (cbrt.f64 d2) (pow.f64 (cbrt.f64 d2) 2) 30)
(+.f64 30 d2)
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (cbrt.f64 d2) 30)
(+.f64 30 d2)
(fma.f64 (sqrt.f64 (+.f64 d2 10)) (sqrt.f64 (+.f64 d2 10)) 20)
(+.f64 30 d2)
(fma.f64 (sqrt.f64 d2) (sqrt.f64 d2) 30)
(+.f64 30 d2)
(fma.f64 (+.f64 (pow.f64 d2 3) 1000) (/.f64 1 (fma.f64 d2 (+.f64 d2 -10) 100)) 20)
(+.f64 20 (/.f64 (+.f64 (pow.f64 d2 3) 1000) (fma.f64 d2 (+.f64 d2 -10) 100)))
(fma.f64 (-.f64 100 (pow.f64 d2 2)) (/.f64 1 (-.f64 10 d2)) 20)
(+.f64 20 (/.f64 (-.f64 100 (pow.f64 d2 2)) (-.f64 10 d2)))
(fma.f64 (*.f64 (cbrt.f64 (+.f64 d2 20)) (cbrt.f64 (+.f64 d2 20))) (cbrt.f64 (+.f64 d2 20)) 10)
(+.f64 30 d2)
(fma.f64 (sqrt.f64 (+.f64 d2 20)) (sqrt.f64 (+.f64 d2 20)) 10)
(+.f64 30 d2)

eval48.0ms (1.7%)

Compiler: Compiled 2360 to 1613 computations (31.7% saved)

prune41.0ms (1.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	179	3	182
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	179	5	184

Accuracy

100.0%

Counts

184 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(+.f64 (.f64 d1 d2) (.f64 d1 30))
✓	100.0%	(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
✓	100.0%	(*.f64 d1 (+.f64 d2 30))
▶	48.4%	(*.f64 d1 d2)
▶	52.0%	(*.f64 d1 30)

Compiler

Compiled 35 to 25 computations (28.6% saved)

localize47.0ms (1.7%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	100.0%	(+.f64 (.f64 d1 d2) (.f64 d1 30))

Compiler

Compiled 29 to 13 computations (55.2% saved)

Precisions

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

Operation ival-mult, time spent: 7.0ms, 79.0% of total-time

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

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

series6.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	d2	@	0	(+.f64 (.f64 d1 d2) (.f64 d1 30))
1.0ms	d1	@	inf	(+.f64 (.f64 d1 d2) (.f64 d1 30))
1.0ms	d1	@	0	(+.f64 (.f64 d1 d2) (.f64 d1 30))
1.0ms	d1	@	-inf	(+.f64 (.f64 d1 d2) (.f64 d1 30))
1.0ms	d2	@	inf	(+.f64 (.f64 d1 d2) (.f64 d1 30))

rewrite83.0ms (3%)

Algorithm

1×	batch-egg-rewrite

Rules

1236×	`unpow-prod-down`
658×	`fma-define`
636×	`log-prod`
599×	`log1p-expm1-u`
599×	`expm1-log1p-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	19
1	121	19
2	1648	19

Stop Event

1×	node limit

Counts

1 → 82

Calls

Call 1

Inputs
(+.f64 (.f64 d1 d2) (.f64 d1 30))

Outputs
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30)))) 1)
(-.f64 (/.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (-.f64 d2 30))) (/.f64 (.f64 (pow.f64 d1 2) 900) (.f64 d1 (-.f64 d2 30))))
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 d1 (+.f64 d2 30)) 1)
(.f64 (.f64 d1 (+.f64 d2 30)) (log.f64 (exp.f64 1)))
(.f64 1 (.f64 d1 (+.f64 d2 30)))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 30))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 30))) 2) (cbrt.f64 (*.f64 d1 (+.f64 d2 30))))
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) (+.f64 d2 30)))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 30))) (sqrt.f64 (*.f64 d1 (+.f64 d2 30))))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 30)))
(.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (/.f64 1 (fma.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) 2))))
(.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (pow.f64 (/.f64 1 (fma.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) 2))) 1))
(.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900)) (/.f64 1 (.f64 d1 (-.f64 d2 30))))
(.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900)) (pow.f64 (/.f64 1 (.f64 d1 (-.f64 d2 30))) 1))
(*.f64 (+.f64 d2 30) d1)
(.f64 (pow.f64 1 1/3) (.f64 d1 (+.f64 d2 30)))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 30)))) 2) 3) (cbrt.f64 (*.f64 d1 (+.f64 d2 30))))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 30)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))) 3))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 30)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3)) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2) d1) 1/3) (cbrt.f64 (+.f64 d2 30)))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 d2 30)) (cbrt.f64 (.f64 d1 (+.f64 d2 30)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))))
(.f64 (pow.f64 (pow.f64 (.f64 d1 (+.f64 d2 30)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30)))))
(/.f64 1 (/.f64 (fma.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) 2)) (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (*.f64 d1 d2) 3))))
(/.f64 1 (/.f64 (.f64 d1 (-.f64 d2 30)) (-.f64 (pow.f64 (.f64 d1 d2) 2) (*.f64 (pow.f64 d1 2) 900))))
(/.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (fma.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)) (pow.f64 (*.f64 d1 d2) 2)))
(/.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (fma.f64 (pow.f64 d1 2) 900 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d2 (.f64 d1 (*.f64 d1 30))))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900)) (*.f64 d1 (-.f64 d2 30)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3))) (neg.f64 (fma.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)) (pow.f64 (*.f64 d1 d2) 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900))) (neg.f64 (*.f64 d1 (-.f64 d2 30))))
(/.f64 (-.f64 (.f64 (pow.f64 d1 2) 900) (pow.f64 (.f64 d1 d2) 2)) (-.f64 (.f64 d1 30) (.f64 d1 d2)))
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
(pow.f64 (/.f64 (fma.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) 2)) (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (*.f64 d1 d2) 3))) -1)
(pow.f64 (/.f64 (.f64 d1 (-.f64 d2 30)) (-.f64 (pow.f64 (.f64 d1 d2) 2) (*.f64 (pow.f64 d1 2) 900))) -1)
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 30)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 30)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d2) d1) (+.f64 1 (expm1.f64 (.f64 d1 30)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d2))) (pow.f64 (exp.f64 d1) 30)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d2))) (+.f64 1 (expm1.f64 (*.f64 d1 30)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d1) 30) (+.f64 1 (expm1.f64 (.f64 d1 d2)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 30))) (pow.f64 (exp.f64 d2) d1)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 30))) (+.f64 1 (expm1.f64 (*.f64 d1 d2)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 30))) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 30)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 d1 (+.f64 d2 30)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 30)))) 2))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))) 1) 1))
(fma.f64 d1 d2 (*.f64 d1 30))
(fma.f64 d1 30 (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 d1 30))
(fma.f64 (.f64 d1 d2) 1 (.f64 d1 30))
(fma.f64 30 d1 (*.f64 d1 d2))
(fma.f64 (.f64 d1 30) 1 (.f64 d1 d2))
(fma.f64 1 (.f64 d1 d2) (.f64 d1 30))
(fma.f64 1 (.f64 d1 30) (.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 30)) (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) (*.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) (cbrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 (.f64 d1 d2)) 2) (*.f64 d1 30))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) 2) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d2) (.f64 d1 30))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 30) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (.f64 (cbrt.f64 d2) d1) (.f64 d1 30))
(fma.f64 (sqrt.f64 (.f64 d1 30)) (sqrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 30))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 30) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 30))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) 2)) (cbrt.f64 d2) (.f64 d1 30))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 30))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 30))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 30))
(fma.f64 (.f64 30 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 30 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))

simplify96.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

870×	`times-frac`
806×	`log-prod`
644×	`exp-prod`
622×	`unswap-sqr`
598×	`fma-define`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	218	3169
1	589	3074
2	1587	2899
3	6885	2873

Stop Event

1×	node limit

Counts

106 → 107

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 30)))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 30)))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 30)))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 30)))
(*.f64 30 d1)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 d2)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 d2)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30)))) 1)
(-.f64 (/.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (-.f64 d2 30))) (/.f64 (.f64 (pow.f64 d1 2) 900) (.f64 d1 (-.f64 d2 30))))
(*.f64 d1 (+.f64 d2 30))
(.f64 (.f64 d1 (+.f64 d2 30)) 1)
(.f64 (.f64 d1 (+.f64 d2 30)) (log.f64 (exp.f64 1)))
(.f64 1 (.f64 d1 (+.f64 d2 30)))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 30))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 30))) 2) (cbrt.f64 (*.f64 d1 (+.f64 d2 30))))
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) (+.f64 d2 30)))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 30))) (sqrt.f64 (*.f64 d1 (+.f64 d2 30))))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 30)))
(.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (/.f64 1 (fma.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) 2))))
(.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (pow.f64 (/.f64 1 (fma.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) 2))) 1))
(.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900)) (/.f64 1 (.f64 d1 (-.f64 d2 30))))
(.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900)) (pow.f64 (/.f64 1 (.f64 d1 (-.f64 d2 30))) 1))
(*.f64 (+.f64 d2 30) d1)
(.f64 (pow.f64 1 1/3) (.f64 d1 (+.f64 d2 30)))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 30)))) 2) 3) (cbrt.f64 (*.f64 d1 (+.f64 d2 30))))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 30)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))) 3))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 30)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3)) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2) d1) 1/3) (cbrt.f64 (+.f64 d2 30)))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 d2 30)) (cbrt.f64 (.f64 d1 (+.f64 d2 30)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))))
(.f64 (pow.f64 (pow.f64 (.f64 d1 (+.f64 d2 30)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30)))))
(/.f64 1 (/.f64 (fma.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) 2)) (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (*.f64 d1 d2) 3))))
(/.f64 1 (/.f64 (.f64 d1 (-.f64 d2 30)) (-.f64 (pow.f64 (.f64 d1 d2) 2) (*.f64 (pow.f64 d1 2) 900))))
(/.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (fma.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)) (pow.f64 (*.f64 d1 d2) 2)))
(/.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (fma.f64 (pow.f64 d1 2) 900 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d2 (.f64 d1 (*.f64 d1 30))))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900)) (*.f64 d1 (-.f64 d2 30)))
(/.f64 (neg.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3))) (neg.f64 (fma.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)) (pow.f64 (*.f64 d1 d2) 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900))) (neg.f64 (*.f64 d1 (-.f64 d2 30))))
(/.f64 (-.f64 (.f64 (pow.f64 d1 2) 900) (pow.f64 (.f64 d1 d2) 2)) (-.f64 (.f64 d1 30) (.f64 d1 d2)))
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
(pow.f64 (/.f64 (fma.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) 2)) (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (*.f64 d1 d2) 3))) -1)
(pow.f64 (/.f64 (.f64 d1 (-.f64 d2 30)) (-.f64 (pow.f64 (.f64 d1 d2) 2) (*.f64 (pow.f64 d1 2) 900))) -1)
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 30)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 30)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d2) d1) (+.f64 1 (expm1.f64 (.f64 d1 30)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d2))) (pow.f64 (exp.f64 d1) 30)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d2))) (+.f64 1 (expm1.f64 (*.f64 d1 30)))))
(log.f64 (.f64 (pow.f64 (exp.f64 d1) 30) (+.f64 1 (expm1.f64 (.f64 d1 d2)))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 30))) (pow.f64 (exp.f64 d2) d1)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 30))) (+.f64 1 (expm1.f64 (*.f64 d1 d2)))))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 30))) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 30)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 d1 (+.f64 d2 30)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 30)))) 2))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))) 1) 1))
(fma.f64 d1 d2 (*.f64 d1 30))
(fma.f64 d1 30 (*.f64 d1 d2))
(fma.f64 d2 d1 (*.f64 d1 30))
(fma.f64 (.f64 d1 d2) 1 (.f64 d1 30))
(fma.f64 30 d1 (*.f64 d1 d2))
(fma.f64 (.f64 d1 30) 1 (.f64 d1 d2))
(fma.f64 1 (.f64 d1 d2) (.f64 d1 30))
(fma.f64 1 (.f64 d1 30) (.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 30)) (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) (*.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) (cbrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 (.f64 d1 d2)) 2) (*.f64 d1 30))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) 2) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d2) (.f64 d1 30))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 30) (.f64 d1 d2))
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (.f64 (cbrt.f64 d2) d1) (.f64 d1 30))
(fma.f64 (sqrt.f64 (.f64 d1 30)) (sqrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 30))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 30) (.f64 d1 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 30))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) 2)) (cbrt.f64 d2) (.f64 d1 30))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 30))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 30))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 30))
(fma.f64 (.f64 30 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 d2))
(fma.f64 (.f64 30 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))

Outputs
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 30)))
(neg.f64 (*.f64 d1 (fma.f64 -1 d2 -30)))
(*.f64 d1 (neg.f64 (fma.f64 d2 -1 -30)))
(*.f64 (-.f64 -30 d2) (neg.f64 d1))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 30)))
(neg.f64 (*.f64 d1 (fma.f64 -1 d2 -30)))
(*.f64 d1 (neg.f64 (fma.f64 d2 -1 -30)))
(*.f64 (-.f64 -30 d2) (neg.f64 d1))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 30)))
(neg.f64 (*.f64 d1 (fma.f64 -1 d2 -30)))
(*.f64 d1 (neg.f64 (fma.f64 d2 -1 -30)))
(*.f64 (-.f64 -30 d2) (neg.f64 d1))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 30)))
(neg.f64 (*.f64 d1 (fma.f64 -1 d2 -30)))
(*.f64 d1 (neg.f64 (fma.f64 d2 -1 -30)))
(*.f64 (-.f64 -30 d2) (neg.f64 d1))
(*.f64 30 d1)
(*.f64 d1 30)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 d2)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 d2)
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 30 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(-.f64 (exp.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30)))) 1)
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 30 d2))))
(+.f64 (*.f64 d1 (+.f64 30 d2)) 0)
(-.f64 (/.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d1 (-.f64 d2 30))) (/.f64 (.f64 (pow.f64 d1 2) 900) (.f64 d1 (-.f64 d2 30))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900)) (*.f64 d1 (+.f64 d2 -30)))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) -900)) (*.f64 d1 (+.f64 d2 -30)))
(/.f64 (fma.f64 (.f64 d1 d2) d2 (.f64 -900 d1)) (+.f64 d2 -30))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 (+.f64 d2 30)) 1)
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 (+.f64 d2 30)) (log.f64 (exp.f64 1)))
(*.f64 d1 (+.f64 30 d2))
(.f64 1 (.f64 d1 (+.f64 d2 30)))
(*.f64 d1 (+.f64 30 d2))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 30))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 2))
(*.f64 d1 (+.f64 30 d2))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 30))) 2) (cbrt.f64 (*.f64 d1 (+.f64 d2 30))))
(*.f64 d1 (+.f64 30 d2))
(.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) (+.f64 d2 30)))
(*.f64 d1 (+.f64 30 d2))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 30))) (sqrt.f64 (*.f64 d1 (+.f64 d2 30))))
(*.f64 d1 (+.f64 30 d2))
(.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) (+.f64 d2 30)))
(*.f64 d1 (+.f64 30 d2))
(.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (/.f64 1 (fma.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) 2))))
(.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (/.f64 1 (fma.f64 (.f64 d1 30) (.f64 d1 (-.f64 30 d2)) (pow.f64 (*.f64 d1 d2) 2))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 27000 (pow.f64 d2 3))) (fma.f64 (.f64 d1 30) (.f64 d1 (-.f64 30 d2)) (pow.f64 (.f64 d1 d2) 2)))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 27000 (pow.f64 d2 3))) (fma.f64 (.f64 30 (pow.f64 d1 2)) (-.f64 30 d2) (pow.f64 (*.f64 d1 d2) 2)))
(.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (pow.f64 (/.f64 1 (fma.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) 2))) 1))
(.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (/.f64 1 (fma.f64 (.f64 d1 30) (.f64 d1 (-.f64 30 d2)) (pow.f64 (*.f64 d1 d2) 2))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 27000 (pow.f64 d2 3))) (fma.f64 (.f64 d1 30) (.f64 d1 (-.f64 30 d2)) (pow.f64 (.f64 d1 d2) 2)))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 27000 (pow.f64 d2 3))) (fma.f64 (.f64 30 (pow.f64 d1 2)) (-.f64 30 d2) (pow.f64 (*.f64 d1 d2) 2)))
(.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900)) (/.f64 1 (.f64 d1 (-.f64 d2 30))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900)) (*.f64 d1 (+.f64 d2 -30)))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) -900)) (*.f64 d1 (+.f64 d2 -30)))
(/.f64 (fma.f64 (.f64 d1 d2) d2 (.f64 -900 d1)) (+.f64 d2 -30))
(.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900)) (pow.f64 (/.f64 1 (.f64 d1 (-.f64 d2 30))) 1))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900)) (*.f64 d1 (+.f64 d2 -30)))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) -900)) (*.f64 d1 (+.f64 d2 -30)))
(/.f64 (fma.f64 (.f64 d1 d2) d2 (.f64 -900 d1)) (+.f64 d2 -30))
(*.f64 (+.f64 d2 30) d1)
(*.f64 d1 (+.f64 30 d2))
(.f64 (pow.f64 1 1/3) (.f64 d1 (+.f64 d2 30)))
(*.f64 d1 (+.f64 30 d2))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 30)))) 2) 3) (cbrt.f64 (*.f64 d1 (+.f64 d2 30))))
(*.f64 d1 (+.f64 30 d2))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 30)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))) 3))
(*.f64 d1 (+.f64 30 d2))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 d2 30)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3)) 1/3))
(.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 30 d2)) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 30 d2)) 3))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 30 d2)) 3/2)) (cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 30 d2)) 3/2)))
(pow.f64 (pow.f64 (pow.f64 (*.f64 d1 (+.f64 30 d2)) 3/2) 1/6) 4)
(.f64 (pow.f64 (.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2) d1) 1/3) (cbrt.f64 (+.f64 d2 30)))
(.f64 (cbrt.f64 (.f64 d1 (pow.f64 (*.f64 d1 (+.f64 30 d2)) 2))) (cbrt.f64 (+.f64 30 d2)))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 d2 30)) (cbrt.f64 (.f64 d1 (+.f64 d2 30)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30)))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 30 d2)))) (cbrt.f64 (pow.f64 (.f64 d1 (.f64 (+.f64 30 d2) (cbrt.f64 (*.f64 d1 (+.f64 30 d2))))) 2)))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 30 d2)))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2))) 4) 2)))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 d1 (+.f64 30 d2)))) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2))) 8)))
(.f64 (pow.f64 (pow.f64 (.f64 d1 (+.f64 d2 30)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 30 d2)) 5/2)) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(/.f64 1 (/.f64 (fma.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) 2)) (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (*.f64 d1 d2) 3))))
(.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (/.f64 1 (fma.f64 (.f64 d1 30) (.f64 d1 (-.f64 30 d2)) (pow.f64 (*.f64 d1 d2) 2))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 27000 (pow.f64 d2 3))) (fma.f64 (.f64 d1 30) (.f64 d1 (-.f64 30 d2)) (pow.f64 (.f64 d1 d2) 2)))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 27000 (pow.f64 d2 3))) (fma.f64 (.f64 30 (pow.f64 d1 2)) (-.f64 30 d2) (pow.f64 (*.f64 d1 d2) 2)))
(/.f64 1 (/.f64 (.f64 d1 (-.f64 d2 30)) (-.f64 (pow.f64 (.f64 d1 d2) 2) (*.f64 (pow.f64 d1 2) 900))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900)) (*.f64 d1 (+.f64 d2 -30)))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) -900)) (*.f64 d1 (+.f64 d2 -30)))
(/.f64 (fma.f64 (.f64 d1 d2) d2 (.f64 -900 d1)) (+.f64 d2 -30))
(/.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (fma.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)) (pow.f64 (*.f64 d1 d2) 2)))
(.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (/.f64 1 (fma.f64 (.f64 d1 30) (.f64 d1 (-.f64 30 d2)) (pow.f64 (*.f64 d1 d2) 2))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 27000 (pow.f64 d2 3))) (fma.f64 (.f64 d1 30) (.f64 d1 (-.f64 30 d2)) (pow.f64 (.f64 d1 d2) 2)))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 27000 (pow.f64 d2 3))) (fma.f64 (.f64 30 (pow.f64 d1 2)) (-.f64 30 d2) (pow.f64 (*.f64 d1 d2) 2)))
(/.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (fma.f64 (pow.f64 d1 2) 900 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 d2 (.f64 d1 (*.f64 d1 30))))))
(.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (/.f64 1 (fma.f64 (.f64 d1 30) (.f64 d1 (-.f64 30 d2)) (pow.f64 (*.f64 d1 d2) 2))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 27000 (pow.f64 d2 3))) (fma.f64 (.f64 d1 30) (.f64 d1 (-.f64 30 d2)) (pow.f64 (.f64 d1 d2) 2)))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 27000 (pow.f64 d2 3))) (fma.f64 (.f64 30 (pow.f64 d1 2)) (-.f64 30 d2) (pow.f64 (*.f64 d1 d2) 2)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900)) (*.f64 d1 (-.f64 d2 30)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900)) (*.f64 d1 (+.f64 d2 -30)))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) -900)) (*.f64 d1 (+.f64 d2 -30)))
(/.f64 (fma.f64 (.f64 d1 d2) d2 (.f64 -900 d1)) (+.f64 d2 -30))
(/.f64 (neg.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3))) (neg.f64 (fma.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)) (pow.f64 (*.f64 d1 d2) 2))))
(.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (/.f64 1 (fma.f64 (.f64 d1 30) (.f64 d1 (-.f64 30 d2)) (pow.f64 (*.f64 d1 d2) 2))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 27000 (pow.f64 d2 3))) (fma.f64 (.f64 d1 30) (.f64 d1 (-.f64 30 d2)) (pow.f64 (.f64 d1 d2) 2)))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 27000 (pow.f64 d2 3))) (fma.f64 (.f64 30 (pow.f64 d1 2)) (-.f64 30 d2) (pow.f64 (*.f64 d1 d2) 2)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900))) (neg.f64 (*.f64 d1 (-.f64 d2 30))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900)) (*.f64 d1 (+.f64 d2 -30)))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) -900)) (*.f64 d1 (+.f64 d2 -30)))
(/.f64 (fma.f64 (.f64 d1 d2) d2 (.f64 -900 d1)) (+.f64 d2 -30))
(/.f64 (-.f64 (.f64 (pow.f64 d1 2) 900) (pow.f64 (.f64 d1 d2) 2)) (-.f64 (.f64 d1 30) (.f64 d1 d2)))
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900)) (*.f64 d1 (+.f64 d2 -30)))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) -900)) (*.f64 d1 (+.f64 d2 -30)))
(/.f64 (fma.f64 (.f64 d1 d2) d2 (.f64 -900 d1)) (+.f64 d2 -30))
(pow.f64 (*.f64 d1 (+.f64 d2 30)) 1)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 d2 30))) 3)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2) 1/2)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3) 1/3)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 d2 30))) 2)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (/.f64 (fma.f64 (.f64 d1 30) (-.f64 (.f64 d1 30) (.f64 d1 d2)) (pow.f64 (.f64 d1 d2) 2)) (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (*.f64 d1 d2) 3))) -1)
(.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (/.f64 1 (fma.f64 (.f64 d1 30) (.f64 d1 (-.f64 30 d2)) (pow.f64 (*.f64 d1 d2) 2))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 27000 (pow.f64 d2 3))) (fma.f64 (.f64 d1 30) (.f64 d1 (-.f64 30 d2)) (pow.f64 (.f64 d1 d2) 2)))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 27000 (pow.f64 d2 3))) (fma.f64 (.f64 30 (pow.f64 d1 2)) (-.f64 30 d2) (pow.f64 (*.f64 d1 d2) 2)))
(pow.f64 (/.f64 (.f64 d1 (-.f64 d2 30)) (-.f64 (pow.f64 (.f64 d1 d2) 2) (*.f64 (pow.f64 d1 2) 900))) -1)
(/.f64 (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) 900)) (*.f64 d1 (+.f64 d2 -30)))
(/.f64 (+.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (pow.f64 d1 2) -900)) (*.f64 d1 (+.f64 d2 -30)))
(/.f64 (fma.f64 (.f64 d1 d2) d2 (.f64 -900 d1)) (+.f64 d2 -30))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 2))
(*.f64 d1 (+.f64 30 d2))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 d2 30)))
(*.f64 d1 (+.f64 30 d2))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 d1 (+.f64 d2 30)))))
(*.f64 d1 (+.f64 30 d2))
(log.f64 (.f64 (pow.f64 (exp.f64 d2) d1) (+.f64 1 (expm1.f64 (.f64 d1 30)))))
(*.f64 d1 (+.f64 30 d2))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d2))) (pow.f64 (exp.f64 d1) 30)))
(*.f64 d1 (+.f64 30 d2))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 d2))) (+.f64 1 (expm1.f64 (*.f64 d1 30)))))
(*.f64 d1 (+.f64 30 d2))
(log.f64 (.f64 (pow.f64 (exp.f64 d1) 30) (+.f64 1 (expm1.f64 (.f64 d1 d2)))))
(*.f64 d1 (+.f64 30 d2))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 30))) (pow.f64 (exp.f64 d2) d1)))
(*.f64 d1 (+.f64 30 d2))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 d1 30))) (+.f64 1 (expm1.f64 (*.f64 d1 d2)))))
(*.f64 d1 (+.f64 30 d2))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 d2 30)) 3))
(*.f64 d1 (+.f64 30 d2))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 d2 30))))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 30 d2))))
(+.f64 (*.f64 d1 (+.f64 30 d2)) 0)
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 d2 30))))
(*.f64 d1 (+.f64 30 d2))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))))
(*.f64 d1 (+.f64 30 d2))
(exp.f64 (.f64 (log.f64 (.f64 d1 (+.f64 d2 30))) 1))
(*.f64 d1 (+.f64 30 d2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 d2 30)))) 3))
(*.f64 d1 (+.f64 30 d2))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 d1 (+.f64 d2 30)))) 1/3))
(*.f64 d1 (+.f64 30 d2))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 d2 30)))) 2))
(*.f64 d1 (+.f64 30 d2))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 d1 (+.f64 d2 30))) 1) 1))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d1 d2 (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d1 30 (*.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 d2 d1 (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d1 d2) 1 (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 30 d1 (*.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d1 30) 1 (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 1 (.f64 d1 d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 1 (.f64 d1 30) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (cbrt.f64 (.f64 d1 30)) (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) (*.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 30)) 2) (cbrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (cbrt.f64 (.f64 d1 d2)) (pow.f64 (cbrt.f64 (.f64 d1 d2)) 2) (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 d1 d2)) 2) (cbrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 d1) 30) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (pow.f64 (cbrt.f64 d2) 2) (.f64 (cbrt.f64 d2) d1) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 (.f64 d1 30)) (sqrt.f64 (.f64 d1 30)) (*.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 (.f64 d1 d2)) (sqrt.f64 (.f64 d1 d2)) (*.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 d1) (.f64 (sqrt.f64 d1) 30) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (sqrt.f64 d2) (.f64 (sqrt.f64 d2) d1) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d1 (pow.f64 (cbrt.f64 d2) 2)) (cbrt.f64 d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d1 (sqrt.f64 d2)) (sqrt.f64 d2) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d2 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 d2 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 30))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 30 (pow.f64 (cbrt.f64 d1) 2)) (cbrt.f64 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(fma.f64 (.f64 30 (sqrt.f64 d1)) (sqrt.f64 d1) (.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))

eval29.0ms (1%)

Compiler: Compiled 1401 to 902 computations (35.6% saved)

prune25.0ms (0.9%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	0	0
Picked	0	3	3
Done	0	2	2
Total	107	5	112

Accuracy

100.0%

Counts

112 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(+.f64 (.f64 d1 d2) (.f64 d1 30))
✓	100.0%	(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
✓	100.0%	(*.f64 d1 (+.f64 d2 30))
✓	48.4%	(*.f64 d1 d2)
✓	52.0%	(*.f64 d1 30)

Compiler

Compiled 73 to 47 computations (35.6% saved)

regimes17.0ms (0.6%)

Counts

6 → 1

Calls

Call 1

Inputs
(*.f64 d1 30)
(*.f64 d1 d2)
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
(+.f64 (.f64 d1 d2) (.f64 d1 30))
(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))

Outputs
(*.f64 d1 (+.f64 d2 30))

Calls

3 calls:

7.0ms	d2
5.0ms	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
5.0ms	d1

Results

Accuracy	Segments	Branch
100.0%	1	`d1`
100.0%	1	`d2`
100.0%	1	`(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))`

Compiler

Compiled 19 to 13 computations (31.6% saved)

regimes34.0ms (1.2%)

Counts

2 → 3

Calls

Call 1

Inputs
(*.f64 d1 30)
(*.f64 d1 d2)

Outputs
(*.f64 d1 d2)
(*.f64 d1 30)
(*.f64 d1 d2)

Calls

2 calls:

25.0ms	d1
8.0ms	d2

Results

Accuracy	Segments	Branch
67.4%	8	`d1`
96.2%	3	`d2`

Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes5.0ms (0.2%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 d1 30)

Outputs
(*.f64 d1 30)

Calls

2 calls:

3.0ms	d2
3.0ms	d1

Results

Accuracy	Segments	Branch
52.0%	1	`d1`
52.0%	1	`d2`

Compiler

Compiled 6 to 4 computations (33.3% saved)

bsearch40.0ms (1.4%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
17.0ms	23.40772516394295	988666.8962911704
22.0ms	-1976331096289.296	-6.155504931742286

Results

34.0ms	287×	0	valid
0.0ms	1×	0	valid

Compiler

Compiled 234 to 175 computations (25.2% saved)

Precisions

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

Operation ival-mult, time spent: 6.0ms, 64.0% of total-time

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

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

Operation backward-pass, time spent: 0.0ms, 0.0% of total-time

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative`
2×	`+-commutative`
2×	`if-if-or-not`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	83
1	29	83

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(*.f64 d1 (+.f64 d2 30))
(if (<=.f64 d2 -30) (.f64 d1 d2) (if (<=.f64 d2 30) (.f64 d1 30) (*.f64 d1 d2)))
(*.f64 d1 30)

Outputs
(*.f64 d1 (+.f64 d2 30))
(if (<=.f64 d2 -30) (.f64 d1 d2) (if (<=.f64 d2 30) (.f64 d1 30) (*.f64 d1 d2)))
(if (or (<=.f64 d2 -30) (not (<=.f64 d2 30))) (.f64 d1 d2) (.f64 d1 30))
(*.f64 d1 30)

Compiler

Compiled 29 to 21 computations (27.6% saved)

soundness347.0ms (12.4%)

Rules

2104×	`fma-neg`
1470×	`distribute-lft-in`
1444×	`distribute-rgt-in`
1126×	`fma-define`
1000×	`times-frac`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	32	258
1	93	183
2	291	141
3	870	133
4	2085	133
5	3154	133
6	3861	133
7	3891	133
8	3891	133
9	4073	133
10	4073	133
0	355	7125
1	933	6848
2	2778	6658

Stop Event

1×	node limit
1×	saturated

Compiler

Compiled 56 to 39 computations (30.4% saved)

end0.0ms (0%)

preprocess51.0ms (1.8%)

Remove: (negabs d1)
Compiler: Compiled 132 to 92 computations (30.3% saved)

analyze6.0ms (0.2%)

sample1.3s (44.6%)

preprocess279.0ms (10%)

eval1.0ms (0%)

prune1.0ms (0%)

localize52.0ms (1.9%)

series10.0ms (0.4%)

rewrite225.0ms (8%)

simplify106.0ms (3.8%)

eval48.0ms (1.7%)

prune41.0ms (1.5%)

localize47.0ms (1.7%)

series6.0ms (0.2%)

rewrite83.0ms (3%)

simplify96.0ms (3.4%)

eval29.0ms (1%)

prune25.0ms (0.9%)

regimes17.0ms (0.6%)

regimes34.0ms (1.2%)

regimes5.0ms (0.2%)

bsearch40.0ms (1.4%)

simplify3.0ms (0.1%)

soundness347.0ms (12.4%)

end0.0ms (0%)

preprocess51.0ms (1.8%)

Profiling