Metrics for FastMath test2

analyze0.0ms (0%)

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.2s (39.7%)

Results

872.0ms	7137×	256	valid
180.0ms	1028×	256	infinite
16.0ms	56×	1024	valid
5.0ms	34×	512	valid
0.0ms	1×	256	valid

Precisions

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

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

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

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

Bogosity

preprocess301.0ms (10.3%)

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: 41.0ms

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

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

Operation const, time spent: 3.0ms, 7.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)

localize57.0ms (2%)

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: 17.0ms

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

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

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

series5.0ms (0.2%)

Counts

3 → 60

Calls

Call 1

Inputs
#<alt (*.f64 d1 (+.f64 d2 30))>
#<alt (*.f64 d1 (+.f64 (+.f64 10 d2) 20))>
#<alt (+.f64 (+.f64 10 d2) 20)>

Outputs
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 30 d1)>
#<alt (+.f64 (.f64 30 d1) (.f64 d1 d2))>
#<alt (+.f64 (.f64 30 d1) (.f64 d1 d2))>
#<alt (+.f64 (.f64 30 d1) (.f64 d1 d2))>
#<alt (*.f64 d1 d2)>
#<alt (.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))>
#<alt (.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))>
#<alt (.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))>
#<alt (*.f64 d1 d2)>
#<alt (.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))>
#<alt (.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))>
#<alt (.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 30 d1)>
#<alt (+.f64 (.f64 30 d1) (.f64 d1 d2))>
#<alt (+.f64 (.f64 30 d1) (.f64 d1 d2))>
#<alt (+.f64 (.f64 30 d1) (.f64 d1 d2))>
#<alt (*.f64 d1 d2)>
#<alt (.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))>
#<alt (.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))>
#<alt (.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))>
#<alt (*.f64 d1 d2)>
#<alt (.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))>
#<alt (.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))>
#<alt (.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))>
#<alt 30>
#<alt (+.f64 30 d2)>
#<alt (+.f64 30 d2)>
#<alt (+.f64 30 d2)>
#<alt d2>
#<alt (.f64 d2 (+.f64 1 (.f64 30 (/.f64 1 d2))))>
#<alt (.f64 d2 (+.f64 1 (.f64 30 (/.f64 1 d2))))>
#<alt (.f64 d2 (+.f64 1 (.f64 30 (/.f64 1 d2))))>
#<alt d2>
#<alt (.f64 d2 (+.f64 1 (.f64 30 (/.f64 1 d2))))>
#<alt (.f64 d2 (+.f64 1 (.f64 30 (/.f64 1 d2))))>
#<alt (.f64 d2 (+.f64 1 (.f64 30 (/.f64 1 d2))))>

Calls

15 calls:

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

rewrite234.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.7%)

Algorithm

1×	egg-herbie

Rules

1408×	`distribute-lft-in`
1382×	`distribute-rgt-in`
1232×	`times-frac`
528×	`cancel-sign-sub-inv`
442×	`fma-neg`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	369	7325
1	918	7004
2	2568	6696

Stop Event

1×	node limit

Counts

291 → 185

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 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
(.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
(.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
(*.f64 d1 d2)
(.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))
(.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))
(.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))
(*.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 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
(.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
(.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
(*.f64 d1 d2)
(.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))
(.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))
(.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))
30
(+.f64 30 d2)
(+.f64 30 d2)
(+.f64 30 d2)
d2
(.f64 d2 (+.f64 1 (.f64 30 (/.f64 1 d2))))
(.f64 d2 (+.f64 1 (.f64 30 (/.f64 1 d2))))
(.f64 d2 (+.f64 1 (.f64 30 (/.f64 1 d2))))
d2
(.f64 d2 (+.f64 1 (.f64 30 (/.f64 1 d2))))
(.f64 d2 (+.f64 1 (.f64 30 (/.f64 1 d2))))
(.f64 d2 (+.f64 1 (.f64 30 (/.f64 1 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 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 30) d2)))
(*.f64 d2 (fma.f64 30 (/.f64 d1 d2) d1))
(fma.f64 d1 d2 (*.f64 30 (/.f64 d1 1)))
(.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 30) d2)))
(*.f64 d2 (fma.f64 30 (/.f64 d1 d2) d1))
(fma.f64 d1 d2 (*.f64 30 (/.f64 d1 1)))
(.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 30) d2)))
(*.f64 d2 (fma.f64 30 (/.f64 d1 d2) d1))
(fma.f64 d1 d2 (*.f64 30 (/.f64 d1 1)))
(*.f64 d1 d2)
(.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 30) d2)))
(*.f64 d2 (fma.f64 30 (/.f64 d1 d2) d1))
(fma.f64 d1 d2 (*.f64 30 (/.f64 d1 1)))
(.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 30) d2)))
(*.f64 d2 (fma.f64 30 (/.f64 d1 d2) d1))
(fma.f64 d1 d2 (*.f64 30 (/.f64 d1 1)))
(.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 30) d2)))
(*.f64 d2 (fma.f64 30 (/.f64 d1 d2) d1))
(fma.f64 d1 d2 (*.f64 30 (/.f64 d1 1)))
(*.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 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 30) d2)))
(*.f64 d2 (fma.f64 30 (/.f64 d1 d2) d1))
(fma.f64 d1 d2 (*.f64 30 (/.f64 d1 1)))
(.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 30) d2)))
(*.f64 d2 (fma.f64 30 (/.f64 d1 d2) d1))
(fma.f64 d1 d2 (*.f64 30 (/.f64 d1 1)))
(.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 30) d2)))
(*.f64 d2 (fma.f64 30 (/.f64 d1 d2) d1))
(fma.f64 d1 d2 (*.f64 30 (/.f64 d1 1)))
(*.f64 d1 d2)
(.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 30) d2)))
(*.f64 d2 (fma.f64 30 (/.f64 d1 d2) d1))
(fma.f64 d1 d2 (*.f64 30 (/.f64 d1 1)))
(.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 30) d2)))
(*.f64 d2 (fma.f64 30 (/.f64 d1 d2) d1))
(fma.f64 d1 d2 (*.f64 30 (/.f64 d1 1)))
(.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))
(.f64 d2 (+.f64 d1 (/.f64 (.f64 d1 30) d2)))
(*.f64 d2 (fma.f64 30 (/.f64 d1 d2) d1))
(fma.f64 d1 d2 (*.f64 30 (/.f64 d1 1)))
30
(+.f64 30 d2)
(+.f64 30 d2)
(+.f64 30 d2)
d2
(.f64 d2 (+.f64 1 (.f64 30 (/.f64 1 d2))))
(+.f64 30 d2)
(.f64 d2 (+.f64 1 (.f64 30 (/.f64 1 d2))))
(+.f64 30 d2)
(.f64 d2 (+.f64 1 (.f64 30 (/.f64 1 d2))))
(+.f64 30 d2)
d2
(.f64 d2 (+.f64 1 (.f64 30 (/.f64 1 d2))))
(+.f64 30 d2)
(.f64 d2 (+.f64 1 (.f64 30 (/.f64 1 d2))))
(+.f64 30 d2)
(.f64 d2 (+.f64 1 (.f64 30 (/.f64 1 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 0 (*.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 (.f64 d1 d1) (pow.f64 (+.f64 d2 10) 2) (.f64 (.f64 d1 20) (*.f64 d1 (-.f64 10 d2)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (.f64 d1 (+.f64 (.f64 20 (.f64 d1 (-.f64 10 d2))) (*.f64 d1 (pow.f64 (+.f64 d2 10) 2)))))
(/.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 (pow.f64 d1 3) (+.f64 (pow.f64 d2 3) 27000)) (.f64 d1 (+.f64 (.f64 d1 (+.f64 900 (.f64 d2 -30))) (*.f64 (pow.f64 d2 2) d1))))
(/.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 (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 400 (.f64 (+.f64 d2 10) (-.f64 (+.f64 d2 10) 20)))))
(.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (/.f64 d1 (-.f64 400 (.f64 (+.f64 d2 10) (-.f64 10 d2)))))
(/.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 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 (.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 (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 400 (.f64 (+.f64 d2 10) (-.f64 (+.f64 d2 10) 20)))))
(.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (/.f64 d1 (-.f64 400 (.f64 (+.f64 d2 10) (-.f64 10 d2)))))
(/.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 (+.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)))
(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))))
(+.f64 0 (*.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 0 (*.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 (.f64 d1 d1) (pow.f64 (+.f64 d2 10) 2) (.f64 (.f64 d1 20) (*.f64 d1 (-.f64 10 d2)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000)) (.f64 d1 (+.f64 (.f64 20 (.f64 d1 (-.f64 10 d2))) (*.f64 d1 (pow.f64 (+.f64 d2 10) 2)))))
(/.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 (pow.f64 d1 3) (+.f64 (pow.f64 d2 3) 27000)) (.f64 d1 (+.f64 (.f64 d1 (+.f64 900 (.f64 d2 -30))) (*.f64 (pow.f64 d2 2) d1))))
(/.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 (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 400 (.f64 (+.f64 d2 10) (-.f64 (+.f64 d2 10) 20)))))
(.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (/.f64 d1 (-.f64 400 (.f64 (+.f64 d2 10) (-.f64 10 d2)))))
(/.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 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 (.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 (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 400 (.f64 (+.f64 d2 10) (-.f64 (+.f64 d2 10) 20)))))
(.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (/.f64 d1 (-.f64 400 (.f64 (+.f64 d2 10) (-.f64 10 d2)))))
(/.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 (+.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)))
(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))))
(+.f64 0 (*.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)
(+.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))
(-.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 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10))
(*.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 (+.f64 (pow.f64 d2 3) 27000) (/.f64 1 (-.f64 (fma.f64 d2 d2 900) (.f64 30 d2))))
(/.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 (+.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 10 d2))))
(*.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 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10))
(/.f64 1 (/.f64 (-.f64 (fma.f64 d2 d2 900) (*.f64 d2 30)) (+.f64 (pow.f64 d2 3) 27000)))
(.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 1 (-.f64 (fma.f64 d2 d2 900) (.f64 30 d2))))
(/.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 (+.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 (+.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 10 d2))))
(/.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 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10))
(/.f64 (+.f64 (pow.f64 d2 3) 27000) (-.f64 (fma.f64 d2 d2 900) (*.f64 d2 30)))
(.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 1 (-.f64 (fma.f64 d2 d2 900) (.f64 30 d2))))
(/.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 (+.f64 (pow.f64 d2 3) 27000) (/.f64 1 (-.f64 (fma.f64 d2 d2 900) (.f64 30 d2))))
(/.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 (+.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 (+.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 10 d2))))
(/.f64 (+.f64 (pow.f64 (+.f64 d2 10) 3) 8000) (+.f64 400 (-.f64 (pow.f64 (+.f64 d2 10) 2) (*.f64 (+.f64 d2 10) 20))))
(.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 (+.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 10 d2))))
(/.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 (neg.f64 (+.f64 (pow.f64 d2 3) 27000)) (neg.f64 (-.f64 (fma.f64 d2 d2 900) (*.f64 d2 30))))
(.f64 (+.f64 (pow.f64 d2 3) 27000) (/.f64 1 (-.f64 (fma.f64 d2 d2 900) (.f64 30 d2))))
(/.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 (+.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 (+.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 10 d2))))
(/.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 (pow.f64 (+.f64 d2 10) 2) -400) (+.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 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 100 (*.f64 (+.f64 d2 20) (-.f64 -20 d2))) (-.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 (pow.f64 (+.f64 d2 10) 2) -400) (+.f64 d2 -10))
(/.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)))
(+.f64 30 d2)
(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)

eval50.0ms (1.7%)

Compiler: Compiled 2402 to 1631 computations (32.1% saved)

prune35.0ms (1.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	182	3	185
Fresh	0	0	0
Picked	0	2	2
Done	0	0	0
Total	182	5	187

Accuracy

100.0%

Counts

187 → 5

Alt Table

Click to see full alt table

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

Compiler

Compiled 34 to 24 computations (29.4% saved)

localize44.0ms (1.5%)

Localize:

Found 1 expressions with local error:

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

Compiler

Compiled 25 to 10 computations (60% saved)

Precisions

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

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

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

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

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

series4.0ms (0.1%)

Counts

1 → 24

Calls

Call 1

Inputs
#<alt (fma.f64 d1 30 (*.f64 d1 d2))>

Outputs
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (*.f64 d1 (+.f64 30 d2))>
#<alt (.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 30)))>
#<alt (.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 30)))>
#<alt (.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 30)))>
#<alt (.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 30)))>
#<alt (*.f64 30 d1)>
#<alt (+.f64 (.f64 30 d1) (.f64 d1 d2))>
#<alt (+.f64 (.f64 30 d1) (.f64 d1 d2))>
#<alt (+.f64 (.f64 30 d1) (.f64 d1 d2))>
#<alt (*.f64 d1 d2)>
#<alt (.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))>
#<alt (.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))>
#<alt (.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))>
#<alt (*.f64 d1 d2)>
#<alt (.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))>
#<alt (.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))>
#<alt (.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))>

Calls

6 calls:

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

rewrite69.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

664×	`unpow-prod-down`
412×	`log-prod`
404×	`cbrt-prod`
357×	`log1p-expm1-u`
357×	`expm1-log1p-u`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	24
1	88	19
2	973	19

Stop Event

1×	node limit

Counts

1 → 41

Calls

Call 1

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

Outputs
(+.f64 (.f64 d1 d2) (.f64 d1 30))
(+.f64 (.f64 d1 30) (.f64 d1 d2))
(+.f64 0 (*.f64 d1 (+.f64 30 d2)))
(+.f64 (.f64 (.f64 d1 30) 1) (*.f64 d1 d2))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 30 d2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 30 d2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 30 d2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 30 d2)))))
(-.f64 (+.f64 1 (*.f64 d1 (+.f64 30 d2))) 1)
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 (+.f64 30 d2)) 1)
(.f64 (.f64 d1 (+.f64 30 d2)) (log.f64 (E.f64)))
(.f64 1 (.f64 d1 (+.f64 30 d2)))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 30 d2))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 30 d2))) 2) (cbrt.f64 (*.f64 d1 (+.f64 30 d2))))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 30 d2))) (sqrt.f64 (*.f64 d1 (+.f64 30 d2))))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 d1 (+.f64 30 d2)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2)))) 3))
(.f64 (pow.f64 1 1/3) (.f64 d1 (+.f64 30 d2)))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 30 d2)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 30 d2)) 3)) 1/3))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 30 d2)) (cbrt.f64 (.f64 d1 (+.f64 30 d2)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(.f64 (pow.f64 (pow.f64 (.f64 d1 (+.f64 30 d2)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(.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 (.f64 d1 (+.f64 30 d2)) (cbrt.f64 (.f64 d1 (+.f64 30 d2)))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 30 d2)) 5/2)) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(/.f64 (+.f64 (.f64 (pow.f64 d1 3) 27000) (pow.f64 (.f64 d1 d2) 3)) (+.f64 (pow.f64 (.f64 d1 30) 2) (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 30) (*.f64 d1 d2)))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 30) 2) (pow.f64 (.f64 d1 d2) 2)) (-.f64 (.f64 d1 30) (.f64 d1 d2)))
(pow.f64 (*.f64 d1 (+.f64 30 d2)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 30 d2)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 30 d2)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 30 d2))) 2)
(pow.f64 (E.f64) (log.f64 (*.f64 d1 (+.f64 30 d2))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 d1 (+.f64 30 d2)))) 2)) (cbrt.f64 (log.f64 (.f64 d1 (+.f64 30 d2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 d1 (+.f64 30 d2))))) (sqrt.f64 (log.f64 (.f64 d1 (+.f64 30 d2)))))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 30 d2)) 2))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 30 d2)))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 30 d2)) 3))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 30 d2))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 30 d2))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 30 d2))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 30 d2)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 d1 (+.f64 30 d2)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 30 d2)))) 2))

simplify73.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1284×	`times-frac`
1050×	`associate-r`
706×	`fma-neg`
698×	`fma-define`
624×	`associate-/l*`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	135	1803
1	282	1756
2	877	1731
3	3933	1729

Stop Event

1×	node limit

Counts

65 → 57

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 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
(.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
(.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
(*.f64 d1 d2)
(.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))
(.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))
(.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))
(+.f64 (.f64 d1 d2) (.f64 d1 30))
(+.f64 (.f64 d1 30) (.f64 d1 d2))
(+.f64 0 (*.f64 d1 (+.f64 30 d2)))
(+.f64 (.f64 (.f64 d1 30) 1) (*.f64 d1 d2))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 30 d2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 30 d2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 30 d2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 30 d2)))))
(-.f64 (+.f64 1 (*.f64 d1 (+.f64 30 d2))) 1)
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 (+.f64 30 d2)) 1)
(.f64 (.f64 d1 (+.f64 30 d2)) (log.f64 (E.f64)))
(.f64 1 (.f64 d1 (+.f64 30 d2)))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 30 d2))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2))) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 30 d2))) 2) (cbrt.f64 (*.f64 d1 (+.f64 30 d2))))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 30 d2))) (sqrt.f64 (*.f64 d1 (+.f64 30 d2))))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 d1 (+.f64 30 d2)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2)))) 3))
(.f64 (pow.f64 1 1/3) (.f64 d1 (+.f64 30 d2)))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 30 d2)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 30 d2)) 3)) 1/3))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 30 d2)) (cbrt.f64 (.f64 d1 (+.f64 30 d2)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(.f64 (pow.f64 (pow.f64 (.f64 d1 (+.f64 30 d2)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(.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 (.f64 d1 (+.f64 30 d2)) (cbrt.f64 (.f64 d1 (+.f64 30 d2)))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 30 d2)) 5/2)) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(/.f64 (+.f64 (.f64 (pow.f64 d1 3) 27000) (pow.f64 (.f64 d1 d2) 3)) (+.f64 (pow.f64 (.f64 d1 30) 2) (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 30) (*.f64 d1 d2)))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 30) 2) (pow.f64 (.f64 d1 d2) 2)) (-.f64 (.f64 d1 30) (.f64 d1 d2)))
(pow.f64 (*.f64 d1 (+.f64 30 d2)) 1)
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2))) 3)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 30 d2)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 30 d2)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 30 d2))) 2)
(pow.f64 (E.f64) (log.f64 (*.f64 d1 (+.f64 30 d2))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 d1 (+.f64 30 d2)))) 2)) (cbrt.f64 (log.f64 (.f64 d1 (+.f64 30 d2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 d1 (+.f64 30 d2))))) (sqrt.f64 (log.f64 (.f64 d1 (+.f64 30 d2)))))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 30 d2)) 2))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 30 d2)))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 30 d2)) 3))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 30 d2))))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 30 d2))))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 30 d2))))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 30 d2)))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 d1 (+.f64 30 d2)))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 30 d2)))) 2))

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)))
(*.f64 d1 (+.f64 30 d2))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 30)))
(*.f64 d1 (+.f64 30 d2))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 30)))
(*.f64 d1 (+.f64 30 d2))
(.f64 -1 (.f64 d1 (-.f64 (*.f64 -1 d2) 30)))
(*.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 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
(*.f64 d1 (+.f64 30 d2))
(.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
(*.f64 d1 (+.f64 30 d2))
(.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 d2)
(.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))
(*.f64 d1 (+.f64 30 d2))
(.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))
(*.f64 d1 (+.f64 30 d2))
(.f64 -1 (.f64 d2 (+.f64 (.f64 -30 (/.f64 d1 d2)) (.f64 -1 d1))))
(*.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 0 (*.f64 d1 (+.f64 30 d2)))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (.f64 (.f64 d1 30) 1) (*.f64 d1 d2))
(*.f64 d1 (+.f64 30 d2))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 30 d2))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 d1) (+.f64 30 d2)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 30 d2)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 30 d2)))))
(*.f64 2 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 d1) (+.f64 30 d2)))))
(-.f64 (+.f64 1 (*.f64 d1 (+.f64 30 d2))) 1)
(*.f64 d1 (+.f64 30 d2))
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 (+.f64 30 d2)) 1)
(*.f64 d1 (+.f64 30 d2))
(.f64 (.f64 d1 (+.f64 30 d2)) (log.f64 (E.f64)))
(*.f64 d1 (+.f64 30 d2))
(.f64 1 (.f64 d1 (+.f64 30 d2)))
(*.f64 d1 (+.f64 30 d2))
(.f64 (cbrt.f64 (.f64 d1 (+.f64 30 d2))) (pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2))) 2))
(*.f64 d1 (+.f64 30 d2))
(.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 30 d2))) 2) (cbrt.f64 (*.f64 d1 (+.f64 30 d2))))
(*.f64 d1 (+.f64 30 d2))
(.f64 (sqrt.f64 (.f64 d1 (+.f64 30 d2))) (sqrt.f64 (*.f64 d1 (+.f64 30 d2))))
(*.f64 d1 (+.f64 30 d2))
(.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (.f64 d1 (+.f64 30 d2)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2)))) 3))
(*.f64 d1 (+.f64 30 d2))
(.f64 (pow.f64 1 1/3) (.f64 d1 (+.f64 30 d2)))
(*.f64 d1 (+.f64 30 d2))
(.f64 (pow.f64 (sqrt.f64 (pow.f64 (.f64 d1 (+.f64 30 d2)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 30 d2)) 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 (sqrt.f64 (.f64 d1 (+.f64 30 d2))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 30 d2))) 3)))
(.f64 (pow.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 30 d2)) (cbrt.f64 (.f64 d1 (+.f64 30 d2)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (.f64 (+.f64 30 d2) (cbrt.f64 (.f64 d1 (+.f64 30 d2))))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 30 d2))) 4) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 30 d2))) 8)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(.f64 (pow.f64 (pow.f64 (.f64 d1 (+.f64 30 d2)) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 30 d2)) 5/2)) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(.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 (sqrt.f64 (.f64 d1 (+.f64 30 d2))) 3)) (cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 30 d2))) 3)))
(.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 d1 (+.f64 30 d2)) (cbrt.f64 (.f64 d1 (+.f64 30 d2)))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (.f64 (+.f64 30 d2) (cbrt.f64 (.f64 d1 (+.f64 30 d2))))) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 30 d2))) 4) 2)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 d1 (+.f64 30 d2))) 8)) (cbrt.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(.f64 (cbrt.f64 (pow.f64 (.f64 d1 (+.f64 30 d2)) 5/2)) (cbrt.f64 (sqrt.f64 (*.f64 d1 (+.f64 30 d2)))))
(/.f64 (+.f64 (.f64 (pow.f64 d1 3) 27000) (pow.f64 (.f64 d1 d2) 3)) (+.f64 (pow.f64 (.f64 d1 30) 2) (-.f64 (pow.f64 (.f64 d1 d2) 2) (.f64 (.f64 d1 30) (*.f64 d1 d2)))))
(/.f64 (fma.f64 (pow.f64 d1 3) 27000 (pow.f64 (.f64 d1 d2) 3)) (-.f64 (+.f64 (pow.f64 (.f64 d1 30) 2) (pow.f64 (.f64 d1 d2) 2)) (.f64 d1 (.f64 30 (.f64 d1 d2)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 (pow.f64 d2 3) 27000)) (+.f64 (pow.f64 (.f64 d1 30) 2) (.f64 (.f64 d1 d2) (-.f64 (.f64 d1 d2) (.f64 d1 30)))))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 27000 (pow.f64 d2 3))) (fma.f64 (.f64 d1 d2) (.f64 d1 (+.f64 d2 -30)) (pow.f64 (.f64 d1 30) 2)))
(/.f64 (.f64 (pow.f64 d1 3) (+.f64 27000 (pow.f64 d2 3))) (.f64 d1 (+.f64 (.f64 d1 900) (.f64 d2 (*.f64 d1 (+.f64 d2 -30))))))
(/.f64 (-.f64 (pow.f64 (.f64 d1 30) 2) (pow.f64 (.f64 d1 d2) 2)) (-.f64 (.f64 d1 30) (.f64 d1 d2)))
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (*.f64 d1 (+.f64 30 d2)) 1)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (cbrt.f64 (*.f64 d1 (+.f64 30 d2))) 3)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 30 d2)) 2) 1/2)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (pow.f64 (*.f64 d1 (+.f64 30 d2)) 3) 1/3)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (sqrt.f64 (*.f64 d1 (+.f64 30 d2))) 2)
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (E.f64) (log.f64 (*.f64 d1 (+.f64 30 d2))))
(*.f64 d1 (+.f64 30 d2))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 d1 (+.f64 30 d2)))) 2)) (cbrt.f64 (log.f64 (.f64 d1 (+.f64 30 d2)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 d1 (+.f64 30 d2))))) (sqrt.f64 (log.f64 (.f64 d1 (+.f64 30 d2)))))
(sqrt.f64 (pow.f64 (*.f64 d1 (+.f64 30 d2)) 2))
(*.f64 d1 (+.f64 30 d2))
(log.f64 (pow.f64 (exp.f64 d1) (+.f64 30 d2)))
(*.f64 d1 (+.f64 30 d2))
(cbrt.f64 (pow.f64 (*.f64 d1 (+.f64 30 d2)) 3))
(*.f64 d1 (+.f64 30 d2))
(expm1.f64 (log1p.f64 (*.f64 d1 (+.f64 30 d2))))
(*.f64 d1 (+.f64 30 d2))
(log1p.f64 (expm1.f64 (*.f64 d1 (+.f64 30 d2))))
(*.f64 d1 (+.f64 30 d2))
(exp.f64 (log.f64 (*.f64 d1 (+.f64 30 d2))))
(*.f64 d1 (+.f64 30 d2))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 d1 (+.f64 30 d2)))) 3))
(*.f64 d1 (+.f64 30 d2))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 d1 (+.f64 30 d2)))) 1/3))
(*.f64 d1 (+.f64 30 d2))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 d1 (+.f64 30 d2)))) 2))
(*.f64 d1 (+.f64 30 d2))

eval17.0ms (0.6%)

Compiler: Compiled 742 to 524 computations (29.4% saved)

prune10.0ms (0.3%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	57	0	57
Fresh	0	0	0
Picked	0	3	3
Done	0	2	2
Total	57	5	62

Accuracy

100.0%

Counts

62 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 d1 30 (*.f64 d1 d2))
✓	100.0%	(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
✓	100.0%	(*.f64 d1 (+.f64 d2 30))
✓	53.3%	(*.f64 d1 d2)
✓	48.7%	(*.f64 d1 30)

Compiler

Compiled 71 to 45 computations (36.6% saved)

regimes15.0ms (0.5%)

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 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
(fma.f64 d1 30 (*.f64 d1 d2))

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

Calls

3 calls:

6.0ms	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
4.0ms	d1
4.0ms	d2

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)

regimes14.0ms (0.5%)

Counts

5 → 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 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))

Outputs
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))

Calls

3 calls:

6.0ms	d2
4.0ms	d1
4.0ms	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))

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)

regimes7.0ms (0.2%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

2 calls:

3.0ms	d1
3.0ms	d2

Results

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

Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes40.0ms (1.4%)

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:

28.0ms	d1
12.0ms	d2

Results

Accuracy	Segments	Branch
69.6%	10	`d1`
97.8%	3	`d2`

Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes6.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	d1
2.0ms	d2

Results

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

Compiler

Compiled 6 to 4 computations (33.3% saved)

bsearch42.0ms (1.4%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
18.0ms	9.905113748910507	13308129.928689508
23.0ms	-443349221.967433	-3.1621780754930017e-7

Results

36.0ms	303×	256	valid
0.0ms	1×	256	valid

Compiler

Compiled 246 to 184 computations (25.2% saved)

Precisions

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

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

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

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

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	132
1	39	132

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(fma.f64 d1 30 (*.f64 d1 d2))
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
(*.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
(fma.f64 d1 30 (*.f64 d1 d2))
(*.f64 d1 (+.f64 (+.f64 10 d2) 20))
(*.f64 d1 (+.f64 (+.f64 d2 10) 20))
(*.f64 d1 (+.f64 d2 30))
(*.f64 d1 (+.f64 30 d2))
(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 46 to 33 computations (28.3% saved)

soundness560.0ms (19.2%)

Rules

2104×	`fma-neg`
1408×	`distribute-lft-in`
1382×	`distribute-rgt-in`
1232×	`times-frac`
1126×	`fma-define`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	369	7325
1	918	7004
2	2568	6696
0	15	54
1	201	48
2	3049	48
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
1×	node limit
1×	node limit

Compiler

Compiled 123 to 79 computations (35.8% saved)

end0.0ms (0%)

preprocess57.0ms (2%)

Remove: (negabs d1)
Compiler: Compiled 196 to 126 computations (35.7% saved)

analyze0.0ms (0%)

sample1.2s (39.7%)

preprocess301.0ms (10.3%)

eval1.0ms (0%)

prune1.0ms (0%)

localize57.0ms (2%)

series5.0ms (0.2%)

rewrite234.0ms (8%)

simplify106.0ms (3.7%)

eval50.0ms (1.7%)

prune35.0ms (1.2%)

localize44.0ms (1.5%)

series4.0ms (0.1%)

rewrite69.0ms (2.4%)

simplify73.0ms (2.5%)

eval17.0ms (0.6%)

prune10.0ms (0.3%)

regimes15.0ms (0.5%)

regimes14.0ms (0.5%)

regimes7.0ms (0.2%)

regimes40.0ms (1.4%)

regimes6.0ms (0.2%)

bsearch42.0ms (1.4%)

simplify6.0ms (0.2%)

soundness560.0ms (19.2%)

end0.0ms (0%)

preprocess57.0ms (2%)

Profiling