Metrics for Disney BSSRDF, sample scattering profile, lower

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze51.0ms (3.2%)

Memory

-1.2MiB live, 75.1MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	1.5%	98.5%	0%	0%	0%	0
0%	0%	1.5%	98.5%	0%	0%	0%	1
0%	0%	1.5%	98.5%	0%	0%	0%	2
0%	0%	1.5%	98.5%	0%	0%	0%	3
0%	0%	1.5%	98.5%	0%	0%	0%	4
50%	0.8%	0.8%	98.5%	0%	0%	0%	5
50%	0.8%	0.8%	98.5%	0%	0%	0%	6
75%	1.2%	0.4%	98.5%	0%	0%	0%	7
75%	1.2%	0.4%	98.5%	0%	0%	0%	8
87.5%	1.4%	0.2%	98.5%	0%	0%	0%	9
87.5%	1.4%	0.2%	98.5%	0%	0%	0%	10
93.7%	1.4%	0.1%	98.5%	0%	0%	0%	11
93.7%	1.4%	0.1%	98.5%	0%	0%	0%	12

Compiler

Compiled 26 to 21 computations (19.2% saved)

sample1.2s (75.8%)

Memory

62.1MiB live, 1 765.1MiB allocated

Samples

866.0ms

8 256×

valid

Precisions

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

const: 164.0ms (24.2% of total)

ival-log: 134.0ms (19.8% of total)

ival-mult: 118.0ms (17.4% of total)

ival-<=: 112.0ms (16.6% of total)

ival-div: 63.0ms (9.3% of total)

ival-sub: 39.0ms (5.8% of total)

ival-and: 23.0ms (3.4% of total)

exact: 21.0ms (3.1% of total)

ival-assert: 3.0ms (0.4% of total)

Bogosity

explain100.0ms (6.2%)

Memory

-2.6MiB live, 153.7MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
203	3	(4.099517830779588e-14 0.0018669285345822573)	5	(3.6157866277464557e-19 0.003770768642425537)	`(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))`
0	0	-	0	-	`(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))`
0	0	-	0	-	`#s(literal 1 binary32)`
0	0	-	0	-	`(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))`
0	0	-	0	-	`u`
0	0	-	0	-	`#s(literal 4 binary32)`
0	0	-	0	-	`(*.f32 #s(literal 4 binary32) u)`
0	0	-	0	-	`s`
0	0	-	0	-	`(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f32`	`(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))`	sensitivity	201	6

Confusion

	Predicted +	Predicted -
+	186	6
-	15	49

Precision

0.9253731343283582

Recall

0.96875

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	186	5	1
-	15	1	48

Precision?

0.9227053140096618

Recall?

0.9947916666666666

Freqs

test

number	freq
0	55
1	201

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

35.0ms

512×

valid

Compiler

Compiled 125 to 40 computations (68% saved)

Precisions

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

ival-log: 8.0ms (37.1% of total)

ival-mult: 7.0ms (32.5% of total)

ival-div: 4.0ms (18.6% of total)

ival-sub: 2.0ms (9.3% of total)

exact: 1.0ms (4.6% of total)

ival-true: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

preprocess3.0ms (0.2%)

Memory

5.0MiB live, 5.0MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))

Outputs
(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))

Compiler

Compiled 10 to 9 computations (10% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	59.8%	(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))

Compiler

Compiled 10 to 9 computations (10% saved)

simplify0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
cost-diff	0	(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
cost-diff	0	(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
cost-diff	0	(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))

Calls

Call 1

Inputs
(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))
s
(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
#s(literal 1 binary32)
(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
(*.f32 #s(literal 4 binary32) u)
#s(literal 4 binary32)
u

Outputs
(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))
s
(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
#s(literal 1 binary32)
(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
(*.f32 #s(literal 4 binary32) u)
#s(literal 4 binary32)
u

localize26.0ms (1.6%)

Memory

-1.1MiB live, 35.9MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(*.f32 #s(literal 4 binary32) u)
accuracy	0.1875	(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
accuracy	0.19921875	(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))
accuracy	14.640796265741498	(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))

Samples

19.0ms

256×

valid

Compiler

Compiled 76 to 20 computations (73.7% saved)

Precisions

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

ival-log: 6.0ms (47% of total)

ival-mult: 3.0ms (23.5% of total)

ival-div: 2.0ms (15.7% of total)

ival-sub: 1.0ms (7.8% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series78.0ms (4.8%)

Memory

-16.5MiB live, 91.7MiB allocated

Counts

5 → 39

Calls

Call 1

Inputs
(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))
(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
(*.f32 #s(literal 4 binary32) u)

Outputs
(* s (log (/ 1 (- 1 (* 4 u)))))
(* 4 (* s u))
(* u (+ (* 4 s) (* 8 (* s u))))
(* u (+ (* 4 s) (* u (+ (* 8 s) (* 64/3 (* s u))))))
(* u (+ (* 4 s) (* u (+ (* 8 s) (* u (+ (* 64/3 s) (* 64 (* s u))))))))
(* 4 u)
(* u (+ 4 (* 8 u)))
(* u (+ 4 (* u (+ 8 (* 64/3 u)))))
(* u (+ 4 (* u (+ 8 (* u (+ 64/3 (* 64 u)))))))
1
(+ 1 (* 4 u))
(+ 1 (* u (+ 4 (* 16 u))))
(+ 1 (* u (+ 4 (* u (+ 16 (* 64 u))))))
(+ 1 (* -4 u))
(* s (+ (log -1/4) (log (/ 1 u))))
(+ (* 1/4 (/ s u)) (* s (+ (log -1/4) (log (/ 1 u)))))
(+ (* 1/32 (/ s (pow u 2))) (+ (* 1/4 (/ s u)) (* s (+ (log -1/4) (log (/ 1 u))))))
(+ (* 1/192 (/ s (pow u 3))) (+ (* 1/32 (/ s (pow u 2))) (+ (* 1/4 (/ s u)) (* s (+ (log -1/4) (log (/ 1 u)))))))
(+ (log -1/4) (log (/ 1 u)))
(+ (log -1/4) (+ (log (/ 1 u)) (* 1/4 (/ 1 u))))
(+ (log -1/4) (+ (log (/ 1 u)) (+ (/ 1/32 (pow u 2)) (* 1/4 (/ 1 u)))))
(+ (log -1/4) (+ (log (/ 1 u)) (+ (/ 1/32 (pow u 2)) (+ (* 1/4 (/ 1 u)) (* 1/192 (/ 1 (pow u 3)))))))
(/ -1/4 u)
(* -1 (/ (+ 1/4 (* 1/16 (/ 1 u))) u))
(/ (- (* -1 (/ (+ 1/16 (* 1/64 (/ 1 u))) u)) 1/4) u)
(/ (- (* -1 (/ (+ 1/64 (* 1/256 (/ 1 u))) (pow u 2))) (+ 1/4 (* 1/16 (/ 1 u)))) u)
(* -4 u)
(* u (- (/ 1 u) 4))
(* s (+ (log 1/4) (log (/ -1 u))))
(+ (* 1/4 (/ s u)) (* s (+ (log 1/4) (log (/ -1 u)))))
(+ (* -1 (/ (+ (* -1/4 s) (* -1/32 (/ s u))) u)) (* s (+ (log 1/4) (log (/ -1 u)))))
(+ (* -1 (/ (+ (* -1 (/ (+ (* 1/192 (/ s u)) (* 1/32 s)) u)) (* -1/4 s)) u)) (* s (+ (log 1/4) (log (/ -1 u)))))
(+ (log 1/4) (log (/ -1 u)))
(+ (log 1/4) (+ (log (/ -1 u)) (* 1/4 (/ 1 u))))
(+ (log 1/4) (+ (log (/ -1 u)) (+ (/ 1/32 (pow u 2)) (* 1/4 (/ 1 u)))))
(+ (log 1/4) (+ (log (/ -1 u)) (* -1 (/ (- (* -1 (/ (+ 1/32 (* 1/192 (/ 1 u))) u)) 1/4) u))))
(* -1 (/ (+ 1/4 (+ (/ 1/64 (pow u 2)) (* 1/16 (/ 1 u)))) u))
(* -1 (/ (+ 1/4 (* -1 (/ (- (* -1 (/ (+ 1/64 (* 1/256 (/ 1 u))) u)) 1/16) u))) u))
(* -1 (* u (- 4 (/ 1 u))))

Calls

6 calls:

Time	Variable		Point	Expression
52.0ms	s	@	0	((* s (log (/ 1 (- 1 (* 4 u))))) (log (/ 1 (- 1 (* 4 u)))) (/ 1 (- 1 (* 4 u))) (- 1 (* 4 u)) (* 4 u))
15.0ms	s	@	inf	((* s (log (/ 1 (- 1 (* 4 u))))) (log (/ 1 (- 1 (* 4 u)))) (/ 1 (- 1 (* 4 u))) (- 1 (* 4 u)) (* 4 u))
7.0ms	s	@	-inf	((* s (log (/ 1 (- 1 (* 4 u))))) (log (/ 1 (- 1 (* 4 u)))) (/ 1 (- 1 (* 4 u))) (- 1 (* 4 u)) (* 4 u))
1.0ms	u	@	inf	((* s (log (/ 1 (- 1 (* 4 u))))) (log (/ 1 (- 1 (* 4 u)))) (/ 1 (- 1 (* 4 u))) (- 1 (* 4 u)) (* 4 u))
1.0ms	u	@	-inf	((* s (log (/ 1 (- 1 (* 4 u))))) (log (/ 1 (- 1 (* 4 u)))) (/ 1 (- 1 (* 4 u))) (- 1 (* 4 u)) (* 4 u))

simplify1.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Algorithm

1×	egg-herbie

Counts

39 → 5

Calls

Call 1

Inputs
(* s (log (/ 1 (- 1 (* 4 u)))))
(* 4 (* s u))
(* u (+ (* 4 s) (* 8 (* s u))))
(* u (+ (* 4 s) (* u (+ (* 8 s) (* 64/3 (* s u))))))
(* u (+ (* 4 s) (* u (+ (* 8 s) (* u (+ (* 64/3 s) (* 64 (* s u))))))))
(* 4 u)
(* u (+ 4 (* 8 u)))
(* u (+ 4 (* u (+ 8 (* 64/3 u)))))
(* u (+ 4 (* u (+ 8 (* u (+ 64/3 (* 64 u)))))))
1
(+ 1 (* 4 u))
(+ 1 (* u (+ 4 (* 16 u))))
(+ 1 (* u (+ 4 (* u (+ 16 (* 64 u))))))
(+ 1 (* -4 u))
(* s (+ (log -1/4) (log (/ 1 u))))
(+ (* 1/4 (/ s u)) (* s (+ (log -1/4) (log (/ 1 u)))))
(+ (* 1/32 (/ s (pow u 2))) (+ (* 1/4 (/ s u)) (* s (+ (log -1/4) (log (/ 1 u))))))
(+ (* 1/192 (/ s (pow u 3))) (+ (* 1/32 (/ s (pow u 2))) (+ (* 1/4 (/ s u)) (* s (+ (log -1/4) (log (/ 1 u)))))))
(+ (log -1/4) (log (/ 1 u)))
(+ (log -1/4) (+ (log (/ 1 u)) (* 1/4 (/ 1 u))))
(+ (log -1/4) (+ (log (/ 1 u)) (+ (/ 1/32 (pow u 2)) (* 1/4 (/ 1 u)))))
(+ (log -1/4) (+ (log (/ 1 u)) (+ (/ 1/32 (pow u 2)) (+ (* 1/4 (/ 1 u)) (* 1/192 (/ 1 (pow u 3)))))))
(/ -1/4 u)
(* -1 (/ (+ 1/4 (* 1/16 (/ 1 u))) u))
(/ (- (* -1 (/ (+ 1/16 (* 1/64 (/ 1 u))) u)) 1/4) u)
(/ (- (* -1 (/ (+ 1/64 (* 1/256 (/ 1 u))) (pow u 2))) (+ 1/4 (* 1/16 (/ 1 u)))) u)
(* -4 u)
(* u (- (/ 1 u) 4))
(* s (+ (log 1/4) (log (/ -1 u))))
(+ (* 1/4 (/ s u)) (* s (+ (log 1/4) (log (/ -1 u)))))
(+ (* -1 (/ (+ (* -1/4 s) (* -1/32 (/ s u))) u)) (* s (+ (log 1/4) (log (/ -1 u)))))
(+ (* -1 (/ (+ (* -1 (/ (+ (* 1/192 (/ s u)) (* 1/32 s)) u)) (* -1/4 s)) u)) (* s (+ (log 1/4) (log (/ -1 u)))))
(+ (log 1/4) (log (/ -1 u)))
(+ (log 1/4) (+ (log (/ -1 u)) (* 1/4 (/ 1 u))))
(+ (log 1/4) (+ (log (/ -1 u)) (+ (/ 1/32 (pow u 2)) (* 1/4 (/ 1 u)))))
(+ (log 1/4) (+ (log (/ -1 u)) (* -1 (/ (- (* -1 (/ (+ 1/32 (* 1/192 (/ 1 u))) u)) 1/4) u))))
(* -1 (/ (+ 1/4 (+ (/ 1/64 (pow u 2)) (* 1/16 (/ 1 u)))) u))
(* -1 (/ (+ 1/4 (* -1 (/ (- (* -1 (/ (+ 1/64 (* 1/256 (/ 1 u))) u)) 1/16) u))) u))
(* -1 (* u (- 4 (/ 1 u))))

Outputs
(* s (log (/ 1 (- 1 (* 4 u)))))
(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))
(* 4 (* s u))
(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
(* u (+ (* 4 s) (* 8 (* s u))))
(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
(* u (+ (* 4 s) (* u (+ (* 8 s) (* 64/3 (* s u))))))
(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
(* u (+ (* 4 s) (* u (+ (* 8 s) (* u (+ (* 64/3 s) (* 64 (* s u))))))))
(*.f32 #s(literal 4 binary32) u)

rewrite0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Counts

5 → 5

Calls

Call 1

Inputs
(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))
(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
(*.f32 #s(literal 4 binary32) u)

Outputs
(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))
(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
(*.f32 #s(literal 4 binary32) u)

eval1.0ms (0%)

Memory: 1.4MiB live, 1.4MiB allocated
Compiler: Compiled 138 to 21 computations (84.8% saved)

prune2.0ms (0.1%)

Memory

3.6MiB live, 3.6MiB allocated

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	6	4	10
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	6	5	11

Accuracy

60.4%

Counts

11 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	59.8%	(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))
▶	9.4%	#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
▶	9.5%	#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
▶	11.2%	#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 #s(literal 4 binary32) u))
▶	13.1%	#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))

Compiler

Compiled 77 to 66 computations (14.3% saved)

simplify1.0ms (0%)

Memory

1.4MiB live, 1.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 13 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f32 #s(literal 4 binary32) u)
cost-diff	0	(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
cost-diff	0	(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
cost-diff	0	#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
cost-diff	0	(*.f32 #s(literal 4 binary32) u)
cost-diff	0	(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
cost-diff	0	#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
cost-diff	0	(*.f32 #s(literal 4 binary32) u)
cost-diff	0	#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 #s(literal 4 binary32) u))
cost-diff	0	(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
cost-diff	0	(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
cost-diff	0	(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
cost-diff	0	#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))

Calls

Call 1

Inputs
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))
(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
#s(literal 1 binary32)
(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
(*.f32 #s(literal 4 binary32) u)
#s(literal 4 binary32)
u
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 #s(literal 4 binary32) u))
(*.f32 #s(literal 4 binary32) u)
#s(literal 4 binary32)
u
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
#s(literal 1 binary32)
(*.f32 #s(literal 4 binary32) u)
#s(literal 4 binary32)
u
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
#s(literal 1 binary32)
(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
(*.f32 #s(literal 4 binary32) u)
#s(literal 4 binary32)
u

Outputs
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))
(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
#s(literal 1 binary32)
(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
(*.f32 #s(literal 4 binary32) u)
#s(literal 4 binary32)
u
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 #s(literal 4 binary32) u))
(*.f32 #s(literal 4 binary32) u)
#s(literal 4 binary32)
u
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
#s(literal 1 binary32)
(*.f32 #s(literal 4 binary32) u)
#s(literal 4 binary32)
u
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
#s(literal 1 binary32)
(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
(*.f32 #s(literal 4 binary32) u)
#s(literal 4 binary32)
u

localize31.0ms (1.9%)

Memory

7.4MiB live, 43.9MiB allocated

Localize:

Found 13 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
accuracy	0.0	(*.f32 #s(literal 4 binary32) u)
accuracy	0.1875	(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
accuracy	28.978773906738187	#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
accuracy	0.0	(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
accuracy	0.0	(*.f32 #s(literal 4 binary32) u)
accuracy	28.9571770679824	#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
accuracy	0.0	(*.f32 #s(literal 4 binary32) u)
accuracy	28.400910948663988	#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 #s(literal 4 binary32) u))
accuracy	0.0	(*.f32 #s(literal 4 binary32) u)
accuracy	0.1875	(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
accuracy	14.640796265741498	(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
accuracy	28.395276085095098	#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))

Samples

20.0ms

256×

valid

Compiler

Compiled 229 to 30 computations (86.9% saved)

Precisions

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

ival-log: 4.0ms (37.2% of total)

ival-mult: 3.0ms (27.9% of total)

ival-div: 2.0ms (18.6% of total)

ival-sub: 1.0ms (9.3% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

ival-assert: 0.0ms (0% of total)

series25.0ms (1.6%)

Memory

9.0MiB live, 46.5MiB allocated

Counts

8 → 39

Calls

Call 1

Inputs
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))
(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 #s(literal 4 binary32) u))
(*.f32 #s(literal 4 binary32) u)
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))

Outputs
(* s (log (/ 1 (- 1 (* 4 u)))))
(* 4 (* s u))
(* u (+ (* 4 s) (* 8 (* s u))))
(* u (+ (* 4 s) (* u (+ (* 8 s) (* 64/3 (* s u))))))
(* u (+ (* 4 s) (* u (+ (* 8 s) (* u (+ (* 64/3 s) (* 64 (* s u))))))))
(* 4 u)
(* u (+ 4 (* 8 u)))
(* u (+ 4 (* u (+ 8 (* 64/3 u)))))
(* u (+ 4 (* u (+ 8 (* u (+ 64/3 (* 64 u)))))))
1
(+ 1 (* 4 u))
(+ 1 (* u (+ 4 (* 16 u))))
(+ 1 (* u (+ 4 (* u (+ 16 (* 64 u))))))
(+ 1 (* -4 u))
(* s (+ (log -1/4) (log (/ 1 u))))
(+ (* 1/4 (/ s u)) (* s (+ (log -1/4) (log (/ 1 u)))))
(+ (* 1/32 (/ s (pow u 2))) (+ (* 1/4 (/ s u)) (* s (+ (log -1/4) (log (/ 1 u))))))
(+ (* 1/192 (/ s (pow u 3))) (+ (* 1/32 (/ s (pow u 2))) (+ (* 1/4 (/ s u)) (* s (+ (log -1/4) (log (/ 1 u)))))))
(+ (log -1/4) (log (/ 1 u)))
(+ (log -1/4) (+ (log (/ 1 u)) (* 1/4 (/ 1 u))))
(+ (log -1/4) (+ (log (/ 1 u)) (+ (/ 1/32 (pow u 2)) (* 1/4 (/ 1 u)))))
(+ (log -1/4) (+ (log (/ 1 u)) (+ (/ 1/32 (pow u 2)) (+ (* 1/4 (/ 1 u)) (* 1/192 (/ 1 (pow u 3)))))))
(/ -1/4 u)
(* -1 (/ (+ 1/4 (* 1/16 (/ 1 u))) u))
(/ (- (* -1 (/ (+ 1/16 (* 1/64 (/ 1 u))) u)) 1/4) u)
(/ (- (* -1 (/ (+ 1/64 (* 1/256 (/ 1 u))) (pow u 2))) (+ 1/4 (* 1/16 (/ 1 u)))) u)
(* -4 u)
(* u (- (/ 1 u) 4))
(* s (+ (log 1/4) (log (/ -1 u))))
(+ (* 1/4 (/ s u)) (* s (+ (log 1/4) (log (/ -1 u)))))
(+ (* -1 (/ (+ (* -1/4 s) (* -1/32 (/ s u))) u)) (* s (+ (log 1/4) (log (/ -1 u)))))
(+ (* -1 (/ (+ (* -1 (/ (+ (* 1/192 (/ s u)) (* 1/32 s)) u)) (* -1/4 s)) u)) (* s (+ (log 1/4) (log (/ -1 u)))))
(+ (log 1/4) (log (/ -1 u)))
(+ (log 1/4) (+ (log (/ -1 u)) (* 1/4 (/ 1 u))))
(+ (log 1/4) (+ (log (/ -1 u)) (+ (/ 1/32 (pow u 2)) (* 1/4 (/ 1 u)))))
(+ (log 1/4) (+ (log (/ -1 u)) (* -1 (/ (- (* -1 (/ (+ 1/32 (* 1/192 (/ 1 u))) u)) 1/4) u))))
(* -1 (/ (+ 1/4 (+ (/ 1/64 (pow u 2)) (* 1/16 (/ 1 u)))) u))
(* -1 (/ (+ 1/4 (* -1 (/ (- (* -1 (/ (+ 1/64 (* 1/256 (/ 1 u))) u)) 1/16) u))) u))
(* -1 (* u (- 4 (/ 1 u))))

Calls

6 calls:

Time	Variable		Point	Expression
10.0ms	s	@	0	((* s (log (/ 1 (- 1 (* 4 u))))) (log (/ 1 (- 1 (* 4 u)))) (/ 1 (- 1 (* 4 u))) (- 1 (* 4 u)) (* s (log (/ 1 (- 1 (* 4 u))))) (* 4 u) (* s (log (/ 1 (- 1 (* 4 u))))) (* s (log (/ 1 (- 1 (* 4 u))))))
7.0ms	s	@	inf	((* s (log (/ 1 (- 1 (* 4 u))))) (log (/ 1 (- 1 (* 4 u)))) (/ 1 (- 1 (* 4 u))) (- 1 (* 4 u)) (* s (log (/ 1 (- 1 (* 4 u))))) (* 4 u) (* s (log (/ 1 (- 1 (* 4 u))))) (* s (log (/ 1 (- 1 (* 4 u))))))
6.0ms	s	@	-inf	((* s (log (/ 1 (- 1 (* 4 u))))) (log (/ 1 (- 1 (* 4 u)))) (/ 1 (- 1 (* 4 u))) (- 1 (* 4 u)) (* s (log (/ 1 (- 1 (* 4 u))))) (* 4 u) (* s (log (/ 1 (- 1 (* 4 u))))) (* s (log (/ 1 (- 1 (* 4 u))))))
1.0ms	u	@	inf	((* s (log (/ 1 (- 1 (* 4 u))))) (log (/ 1 (- 1 (* 4 u)))) (/ 1 (- 1 (* 4 u))) (- 1 (* 4 u)) (* s (log (/ 1 (- 1 (* 4 u))))) (* 4 u) (* s (log (/ 1 (- 1 (* 4 u))))) (* s (log (/ 1 (- 1 (* 4 u))))))
1.0ms	u	@	-inf	((* s (log (/ 1 (- 1 (* 4 u))))) (log (/ 1 (- 1 (* 4 u)))) (/ 1 (- 1 (* 4 u))) (- 1 (* 4 u)) (* s (log (/ 1 (- 1 (* 4 u))))) (* 4 u) (* s (log (/ 1 (- 1 (* 4 u))))) (* s (log (/ 1 (- 1 (* 4 u))))))

simplify4.0ms (0.2%)

Memory

-40.5MiB live, 1.1MiB allocated

Algorithm

1×	egg-herbie

Counts

39 → 8

Calls

Call 1

Inputs
(* s (log (/ 1 (- 1 (* 4 u)))))
(* 4 (* s u))
(* u (+ (* 4 s) (* 8 (* s u))))
(* u (+ (* 4 s) (* u (+ (* 8 s) (* 64/3 (* s u))))))
(* u (+ (* 4 s) (* u (+ (* 8 s) (* u (+ (* 64/3 s) (* 64 (* s u))))))))
(* 4 u)
(* u (+ 4 (* 8 u)))
(* u (+ 4 (* u (+ 8 (* 64/3 u)))))
(* u (+ 4 (* u (+ 8 (* u (+ 64/3 (* 64 u)))))))
1
(+ 1 (* 4 u))
(+ 1 (* u (+ 4 (* 16 u))))
(+ 1 (* u (+ 4 (* u (+ 16 (* 64 u))))))
(+ 1 (* -4 u))
(* s (+ (log -1/4) (log (/ 1 u))))
(+ (* 1/4 (/ s u)) (* s (+ (log -1/4) (log (/ 1 u)))))
(+ (* 1/32 (/ s (pow u 2))) (+ (* 1/4 (/ s u)) (* s (+ (log -1/4) (log (/ 1 u))))))
(+ (* 1/192 (/ s (pow u 3))) (+ (* 1/32 (/ s (pow u 2))) (+ (* 1/4 (/ s u)) (* s (+ (log -1/4) (log (/ 1 u)))))))
(+ (log -1/4) (log (/ 1 u)))
(+ (log -1/4) (+ (log (/ 1 u)) (* 1/4 (/ 1 u))))
(+ (log -1/4) (+ (log (/ 1 u)) (+ (/ 1/32 (pow u 2)) (* 1/4 (/ 1 u)))))
(+ (log -1/4) (+ (log (/ 1 u)) (+ (/ 1/32 (pow u 2)) (+ (* 1/4 (/ 1 u)) (* 1/192 (/ 1 (pow u 3)))))))
(/ -1/4 u)
(* -1 (/ (+ 1/4 (* 1/16 (/ 1 u))) u))
(/ (- (* -1 (/ (+ 1/16 (* 1/64 (/ 1 u))) u)) 1/4) u)
(/ (- (* -1 (/ (+ 1/64 (* 1/256 (/ 1 u))) (pow u 2))) (+ 1/4 (* 1/16 (/ 1 u)))) u)
(* -4 u)
(* u (- (/ 1 u) 4))
(* s (+ (log 1/4) (log (/ -1 u))))
(+ (* 1/4 (/ s u)) (* s (+ (log 1/4) (log (/ -1 u)))))
(+ (* -1 (/ (+ (* -1/4 s) (* -1/32 (/ s u))) u)) (* s (+ (log 1/4) (log (/ -1 u)))))
(+ (* -1 (/ (+ (* -1 (/ (+ (* 1/192 (/ s u)) (* 1/32 s)) u)) (* -1/4 s)) u)) (* s (+ (log 1/4) (log (/ -1 u)))))
(+ (log 1/4) (log (/ -1 u)))
(+ (log 1/4) (+ (log (/ -1 u)) (* 1/4 (/ 1 u))))
(+ (log 1/4) (+ (log (/ -1 u)) (+ (/ 1/32 (pow u 2)) (* 1/4 (/ 1 u)))))
(+ (log 1/4) (+ (log (/ -1 u)) (* -1 (/ (- (* -1 (/ (+ 1/32 (* 1/192 (/ 1 u))) u)) 1/4) u))))
(* -1 (/ (+ 1/4 (+ (/ 1/64 (pow u 2)) (* 1/16 (/ 1 u)))) u))
(* -1 (/ (+ 1/4 (* -1 (/ (- (* -1 (/ (+ 1/64 (* 1/256 (/ 1 u))) u)) 1/16) u))) u))
(* -1 (* u (- 4 (/ 1 u))))

Outputs
(* s (log (/ 1 (- 1 (* 4 u)))))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))
(* 4 (* s u))
(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
(* u (+ (* 4 s) (* 8 (* s u))))
(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
(* u (+ (* 4 s) (* u (+ (* 8 s) (* 64/3 (* s u))))))
(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
(* u (+ (* 4 s) (* u (+ (* 8 s) (* u (+ (* 64/3 s) (* 64 (* s u))))))))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 #s(literal 4 binary32) u))
(* 4 u)
(*.f32 #s(literal 4 binary32) u)
(* u (+ 4 (* 8 u)))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
(* u (+ 4 (* u (+ 8 (* 64/3 u)))))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))

rewrite1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Counts

8 → 8

Calls

Call 1

Inputs
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))
(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 #s(literal 4 binary32) u))
(*.f32 #s(literal 4 binary32) u)
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))

Outputs
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))
(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 #s(literal 4 binary32) u))
(*.f32 #s(literal 4 binary32) u)
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))

eval1.0ms (0.1%)

Memory: 2.4MiB live, 2.4MiB allocated
Compiler: Compiled 395 to 27 computations (93.2% saved)

prune3.0ms (0.2%)

Memory

6.3MiB live, 6.3MiB allocated

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	19	0	19
Fresh	0	0	0
Picked	0	4	4
Done	0	1	1
Total	19	5	24

Accuracy

60.4%

Counts

24 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	59.8%	(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))
✓	9.4%	#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
✓	9.5%	#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
✓	11.2%	#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 #s(literal 4 binary32) u))
✓	13.1%	#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))

Compiler

Compiled 154 to 86 computations (44.2% saved)

regimes15.0ms (0.9%)

Memory

29.1MiB live, 29.1MiB allocated

Counts

5 → 1

Calls

Call 1

Inputs
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 #s(literal 4 binary32) u))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))
(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))

Outputs
(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))

Calls

7 calls:

2.0ms	(*.f32 #s(literal 4 binary32) u)
2.0ms	(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
2.0ms	s
2.0ms	u
2.0ms	(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))

Results

Accuracy	Segments	Branch
59.8%	1	`s`
59.8%	1	`u`
59.8%	1	`(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))`
59.8%	1	`(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))`
59.8%	1	`(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))`
59.8%	1	`(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))`
59.8%	1	`(*.f32 #s(literal 4 binary32) u)`

Compiler

Compiled 35 to 38 computations (-8.6% saved)

regimes14.0ms (0.9%)

Memory

-12.2MiB live, 25.9MiB allocated

Counts

4 → 1

Calls

Call 1

Inputs
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 #s(literal 4 binary32) u))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))

Outputs
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))

Calls

7 calls:

3.0ms	(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
2.0ms	(*.f32 #s(literal 4 binary32) u)
2.0ms	u
2.0ms	s
2.0ms	(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))

Results

Accuracy	Segments	Branch
13.1%	1	`(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))`
13.1%	1	`s`
13.1%	1	`u`
13.1%	1	`(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))`
13.1%	1	`(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))`
13.1%	1	`(*.f32 #s(literal 4 binary32) u)`
13.1%	1	`(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))`

Compiler

Compiled 35 to 38 computations (-8.6% saved)

regimes12.0ms (0.7%)

Memory

-14.7MiB live, 23.6MiB allocated

Accuracy

Total -0.6b remaining (-2.1%)

Threshold costs -0.6b (-2.1%)

Counts

3 → 1

Calls

Call 1

Inputs

#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 #s(literal 4 binary32) u))

#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))

#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))

Outputs
#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 #s(literal 4 binary32) u))

Calls

7 calls:

3.0ms	(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))
2.0ms	(*.f32 #s(literal 4 binary32) u)
2.0ms	(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))
1.0ms	s
1.0ms	u

Results

Accuracy	Segments	Branch
11.2%	1	`(-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))`
11.2%	1	`s`
11.2%	1	`(.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (.f32 #s(literal 4 binary32) u)))))`
11.2%	1	`u`
11.2%	1	`(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u))))`
11.2%	1	`(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))`
11.2%	1	`(*.f32 #s(literal 4 binary32) u)`

Compiler

Compiled 35 to 38 computations (-8.6% saved)

simplify4.0ms (0.3%)

Memory

9.2MiB live, 9.2MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs

(*.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))

#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))

#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 #s(literal 4 binary32) u))

Outputs

(*.f32 s (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))

#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (*.f32 #s(literal 4 binary32) u)))))

#s(approx (* s (log (/ 1 (- 1 (* 4 u))))) (*.f32 #s(literal 4 binary32) u))

soundness0.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Stop Event

1×

done

Compiler

Compiled 43 to 18 computations (58.1% saved)

preprocess17.0ms (1%)

Memory: -8.7MiB live, 28.9MiB allocated
Compiler: Compiled 106 to 54 computations (49.1% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze51.0ms (3.2%)

sample1.2s (75.8%)

explain100.0ms (6.2%)

preprocess3.0ms (0.2%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

localize26.0ms (1.6%)

series78.0ms (4.8%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0%)

prune2.0ms (0.1%)

simplify1.0ms (0%)

localize31.0ms (1.9%)

series25.0ms (1.6%)

simplify4.0ms (0.2%)

rewrite1.0ms (0%)

eval1.0ms (0.1%)

prune3.0ms (0.2%)

regimes15.0ms (0.9%)

regimes14.0ms (0.9%)

regimes12.0ms (0.7%)

simplify4.0ms (0.3%)

soundness0.0ms (0%)

preprocess17.0ms (1%)

end0.0ms (0%)

Profiling