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.1s (34.7%)

Results

717.0ms	7168×	256	valid
102.0ms	984×	256	infinite
26.0ms	78×	1024	valid
4.0ms	25×	512	valid
0.0ms	1×	256	valid

Precisions

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

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

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

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

Bogosity

preprocess310.0ms (9.7%)

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)

Results

69.0ms	435×	256	valid
9.0ms	48×	256	infinite
6.0ms	18×	1024	valid
2.0ms	10×	512	valid
0.0ms	1×	256	valid

Compiler

Compiled 81 to 47 computations (42% saved)

Precisions

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

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

Operation ival-add, time spent: 11.0ms, 25.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 d2 30))

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize36.0ms (1.1%)

Localize:

Found 1 expressions with local error:

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

Results

25.0ms	228×	256	valid
2.0ms	24×	256	infinite
0.0ms	2×	512	valid
0.0ms	1×	256	valid
0.0ms	1×	1024	valid

Compiler

Compiled 14 to 9 computations (35.7% saved)

Precisions

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

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

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

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

series3.0ms (0.1%)

Counts

1 → 24

Calls

Call 1

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

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))))>

Calls

6 calls:

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

rewrite194.0ms (6.1%)

Algorithm

1×	batch-egg-rewrite

Rules

844×	`unpow-prod-down`
515×	`log1p-expm1-u`
515×	`expm1-log1p-u`
498×	`log-prod`
450×	`prod-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	106	19
2	1422	19

Stop Event

1×	node limit

Counts

1 → 53

Calls

Call 1

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

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

simplify74.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

1120×	`fma-neg`
922×	`associate-r`
890×	`fma-define`
880×	`cancel-sign-sub-inv`
834×	`associate-l`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	167	1789
1	367	1774
2	921	1753
3	4248	1749

Stop Event

1×	node limit

Counts

77 → 70

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

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

eval23.0ms (0.7%)

Compiler: Compiled 799 to 502 computations (37.2% saved)

prune13.0ms (0.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

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

Accuracy

100.0%

Counts

71 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 d1 30 (*.f64 d1 d2))
▶	89.5%	(.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
✓	100.0%	(*.f64 d1 (+.f64 d2 30))
▶	54.9%	(*.f64 d1 d2)
▶	47.0%	(*.f64 d1 30)

Compiler

Compiled 36 to 24 computations (33.3% saved)

localize82.0ms (2.5%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	100.0%	(fma.f64 d1 30 (*.f64 d1 d2))
✓	99.6%	(*.f64 30 (/.f64 d1 d2))
✓	89.6%	(.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))

Results

49.0ms	245×	256	valid
5.0ms	5×	512	valid
2.0ms	4×	1024	valid
0.0ms	1×	256	valid
0.0ms	1×	256	infinite

Compiler

Compiled 52 to 21 computations (59.6% saved)

Precisions

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

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

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

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

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

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

series12.0ms (0.4%)

Counts

3 → 45

Calls

Call 1

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

Outputs
#<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 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 d2 (+.f64 1 (*.f64 30 (/.f64 1 d2)))))>
#<alt (.f64 d1 (.f64 d2 (+.f64 1 (*.f64 30 (/.f64 1 d2)))))>
#<alt (.f64 d1 (.f64 d2 (+.f64 1 (*.f64 30 (/.f64 1 d2)))))>
#<alt (.f64 d1 (.f64 d2 (+.f64 1 (*.f64 30 (/.f64 1 d2)))))>
#<alt (.f64 d1 (.f64 d2 (+.f64 1 (*.f64 30 (/.f64 1 d2)))))>
#<alt (.f64 d1 (.f64 d2 (+.f64 1 (*.f64 30 (/.f64 1 d2)))))>
#<alt (.f64 d1 (.f64 d2 (+.f64 1 (*.f64 30 (/.f64 1 d2)))))>
#<alt (.f64 d1 (.f64 d2 (+.f64 1 (*.f64 30 (/.f64 1 d2)))))>
#<alt (.f64 d1 (.f64 d2 (+.f64 1 (*.f64 30 (/.f64 1 d2)))))>
#<alt (.f64 d1 (.f64 d2 (+.f64 1 (*.f64 30 (/.f64 1 d2)))))>
#<alt (.f64 d1 (.f64 d2 (+.f64 1 (*.f64 30 (/.f64 1 d2)))))>
#<alt (.f64 d1 (.f64 d2 (+.f64 1 (*.f64 30 (/.f64 1 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 -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

18 calls:

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

rewrite123.0ms (3.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1076×	`log-prod`
1029×	`log1p-expm1-u`
1029×	`expm1-log1p-u`
698×	`fma-define`
348×	`fma-neg`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	80
1	192	71
2	2786	71

Stop Event

1×	node limit

Counts

3 → 134

Calls

Call 1

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

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

simplify102.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

1600×	`times-frac`
1102×	`associate-*r/`
1008×	`distribute-lft-in`
938×	`distribute-rgt-in`
586×	`cancel-sign-sub-inv`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	326	4544
1	721	4462
2	2170	4175

Stop Event

1×	node limit

Counts

179 → 165

Calls

Call 1

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

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

eval48.0ms (1.5%)

Compiler: Compiled 2478 to 1314 computations (47% saved)

prune25.0ms (0.8%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	164	1	165
Fresh	0	0	0
Picked	0	4	4
Done	0	1	1
Total	164	6	170

Accuracy

100.0%

Counts

170 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 d1 30 (*.f64 d1 d2))
▶	89.2%	(+.f64 (.f64 (.f64 d2 30) (/.f64 d1 d2)) (*.f64 d2 d1))
✓	89.5%	(.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
✓	100.0%	(*.f64 d1 (+.f64 d2 30))
✓	54.9%	(*.f64 d1 d2)
✓	47.0%	(*.f64 d1 30)

Compiler

Compiled 49 to 32 computations (34.7% saved)

localize72.0ms (2.2%)

Localize:

Found 2 expressions with local error:

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

Results

40.0ms	216×	256	valid
3.0ms	23×	256	infinite
10.0ms	16×	8192	exit
0.0ms	1×	256	valid

Compiler

Compiled 33 to 15 computations (54.5% saved)

Precisions

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

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

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

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

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

series3.0ms (0.1%)

Counts

2 → 48

Calls

Call 1

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

Outputs
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<alt (*.f64 30 d1)>
#<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 -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)))>

Calls

12 calls:

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

rewrite115.0ms (3.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1016×	`log-prod`
912×	`log1p-expm1-u`
912×	`expm1-log1p-u`
850×	`fma-define`
364×	`fma-neg`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	13	70
1	169	65
2	2463	61

Stop Event

1×	node limit

Counts

2 → 103

Calls

Call 1

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

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

simplify134.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

932×	`exp-prod`
760×	`associate-/r*`
748×	`associate-*r/`
696×	`associate-*l/`
584×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	262	3849
1	636	3436
2	1930	3261
3	7642	3261

Stop Event

1×	node limit

Counts

151 → 120

Calls

Call 1

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

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

eval35.0ms (1.1%)

Compiler: Compiled 1972 to 967 computations (51% saved)

prune27.0ms (0.8%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	120	6	126

Accuracy

100.0%

Counts

126 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 d1 30 (*.f64 d1 d2))
✓	89.2%	(+.f64 (.f64 (.f64 d2 30) (/.f64 d1 d2)) (*.f64 d2 d1))
✓	89.5%	(.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
✓	100.0%	(*.f64 d1 (+.f64 d2 30))
✓	54.9%	(*.f64 d1 d2)
✓	47.0%	(*.f64 d1 30)

Compiler

Compiled 99 to 58 computations (41.4% saved)

regimes15.0ms (0.5%)

Counts

7 → 1

Calls

Call 1

Inputs
(*.f64 d1 30)
(*.f64 d1 d2)
(*.f64 d1 (+.f64 d2 30))
(.f64 d2 (+.f64 d1 (.f64 30 (/.f64 d1 d2))))
(+.f64 (.f64 (.f64 d2 30) (/.f64 d1 d2)) (*.f64 d2 d1))
(+.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:

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

regimes18.0ms (0.6%)

Counts

6 → 1

Calls

Call 1

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

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

Calls

3 calls:

8.0ms	(+.f64 (+.f64 (.f64 d1 10) (.f64 d1 d2)) (*.f64 d1 20))
5.0ms	d1
5.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)

regimes59.0ms (1.8%)

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:

47.0ms	d1
11.0ms	d2

Results

Accuracy	Segments	Branch
68.5%	12	`d1`
98.1%	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	d2
3.0ms	d1

Results

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

Compiler

Compiled 6 to 4 computations (33.3% saved)

bsearch46.0ms (1.4%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
24.0ms	1.0054287042758832	96558523396437.61
22.0ms	-885.1973247066564	-2.147351293963591e-5

Results

33.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: 14.0ms

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

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

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

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	107
1	31	107

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(fma.f64 d1 30 (*.f64 d1 d2))
(*.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 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 37 to 26 computations (29.7% saved)

soundness455.0ms (14.2%)

Rules

2104×	`fma-neg`
1126×	`fma-define`
1120×	`fma-neg`
922×	`associate-r`
890×	`fma-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	258
1	93	183
2	291	141
3	870	133
4	2085	133
5	3154	133
6	3861	133
7	3891	133
8	3891	133
9	4073	133
10	4073	133
0	167	1789
1	367	1774
2	921	1753
3	4248	1749
0	10	19
1	106	19
2	1422	19

Stop Event

1×	node limit
1×	node limit
1×	saturated

Compiler

Compiled 81 to 53 computations (34.6% saved)

end0.0ms (0%)

preprocess60.0ms (1.9%)

Remove: (negabs d1)
Compiler: Compiled 166 to 106 computations (36.1% saved)

analyze0.0ms (0%)

sample1.1s (34.7%)

preprocess310.0ms (9.7%)

eval1.0ms (0%)

prune1.0ms (0%)

localize36.0ms (1.1%)

series3.0ms (0.1%)

rewrite194.0ms (6.1%)

simplify74.0ms (2.3%)

eval23.0ms (0.7%)

prune13.0ms (0.4%)

localize82.0ms (2.5%)

series12.0ms (0.4%)

rewrite123.0ms (3.8%)

simplify102.0ms (3.2%)

eval48.0ms (1.5%)

prune25.0ms (0.8%)

localize72.0ms (2.2%)

series3.0ms (0.1%)

rewrite115.0ms (3.6%)

simplify134.0ms (4.2%)

eval35.0ms (1.1%)

prune27.0ms (0.8%)

regimes15.0ms (0.5%)

regimes18.0ms (0.6%)

regimes59.0ms (1.8%)

regimes6.0ms (0.2%)

bsearch46.0ms (1.4%)

simplify4.0ms (0.1%)

soundness455.0ms (14.2%)

end0.0ms (0%)

preprocess60.0ms (1.9%)

Profiling