Metrics for Disney BSSRDF, sample scattering profile, upper

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze30.0ms (1.9%)

Memory

-10.5MiB live, 38.3MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0.1%	99.9%	0%	0%	0%	0
0%	0%	0.1%	99.9%	0%	0%	0%	1
0%	0%	0.1%	99.9%	0%	0%	0%	2
50%	0.1%	0.1%	99.9%	0%	0%	0%	3
50%	0.1%	0.1%	99.9%	0%	0%	0%	4
75%	0.1%	0%	99.9%	0%	0%	0%	5
75%	0.1%	0%	99.9%	0%	0%	0%	6
87.5%	0.1%	0%	99.9%	0%	0%	0%	7
87.5%	0.1%	0%	99.9%	0%	0%	0%	8
93.8%	0.1%	0%	99.9%	0%	0%	0%	9
93.8%	0.1%	0%	99.9%	0%	0%	0%	10
96.9%	0.1%	0%	99.9%	0%	0%	0%	11
96.9%	0.1%	0%	99.9%	0%	0%	0%	12

Compiler

Compiled 30 to 23 computations (23.3% saved)

sample1.1s (70.6%)

Memory

-11.8MiB live, 1 960.6MiB allocated

Samples

776.0ms

8 256×

valid

Precisions

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

ival-div: 122.0ms (21.2% of total)

ival-mult: 122.0ms (21.2% of total)

ival-log: 107.0ms (18.6% of total)

ival-sub: 89.0ms (15.5% of total)

ival-<=: 89.0ms (15.5% of total)

exact: 23.0ms (4% of total)

ival-and: 20.0ms (3.5% of total)

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

Bogosity

explain130.0ms (8.1%)

Memory

-17.3MiB live, 176.5MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
6	0	-	3	(1.6826537992814528e-12 0.26662248373031616)	`(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32)))))`
3	1	(1.7779498992980951e-31 0.9990031123161316)	0	-	`(-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32)))`
0	0	-	0	-	`#s(literal 1/4 binary32)`
0	0	-	0	-	`#s(literal 1 binary32)`
0	0	-	0	-	`(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))`
0	0	-	0	-	`(*.f32 #s(literal 3 binary32) s)`
0	0	-	0	-	`(-.f32 u #s(literal 1/4 binary32))`
0	0	-	0	-	`u`
0	0	-	0	-	`s`
0	0	-	0	-	`(/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))`
0	0	-	0	-	`#s(literal 3/4 binary32)`
0	0	-	0	-	`(.f32 (.f32 #s(literal 3 binary32) s) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))))`
0	0	-	0	-	`#s(literal 3 binary32)`

Explanations

Click to see full explanations table

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

Confusion

	Predicted +	Predicted -
+	4	4
-	3	245

Precision

0.5714285714285714

Recall

0.5

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	4	3	1
-	3	4	241

Precision?

0.5

Recall?

0.875

Freqs

test

number	freq
0	249
1	7

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

39.0ms

512×

valid

Compiler

Compiled 189 to 56 computations (70.4% saved)

Precisions

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

ival-div: 7.0ms (28.6% of total)

ival-mult: 6.0ms (24.5% of total)

ival-sub: 5.0ms (20.5% of total)

ival-log: 5.0ms (20.5% of total)

exact: 1.0ms (4.1% of total)

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

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

preprocess3.0ms (0.2%)

Memory

5.1MiB live, 5.1MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

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

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

Compiler

Compiled 14 to 13 computations (7.1% 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
▶	95.9%	(.f32 (.f32 #s(literal 3 binary32) s) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))))

Compiler

Compiled 14 to 13 computations (7.1% saved)

simplify1.0ms (0%)

Memory

0.9MiB live, 0.9MiB 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 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))
cost-diff	0	(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32)))))
cost-diff	0	(*.f32 #s(literal 3 binary32) s)
cost-diff	0	(.f32 (.f32 #s(literal 3 binary32) s) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))))

Calls

Call 1

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

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

localize31.0ms (1.9%)

Memory

2.9MiB live, 39.4MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.15625	(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))
accuracy	0.3359375	(.f32 (.f32 #s(literal 3 binary32) s) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))))
accuracy	0.5270378056753189	(-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32)))
accuracy	0.948466594154779	(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32)))))

Samples

23.0ms

256×

valid

Compiler

Compiled 116 to 28 computations (75.9% saved)

Precisions

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

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

ival-div: 3.0ms (18.7% of total)

ival-log: 3.0ms (18.7% of total)

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

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

exact: 0.0ms (0% of total)

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

series69.0ms (4.3%)

Memory

9.0MiB live, 87.3MiB allocated

Counts

5 → 41

Calls

Call 1

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

Outputs
(* 3 (* s (log (/ 1 (- 1 (* 4/3 (- u 1/4)))))))
(* 3 s)
(* 3 (* s (log 3/4)))
(+ (* 3 (* s u)) (* 3 (* s (log 3/4))))
(+ (* 3 (* s (log 3/4))) (* u (+ (* 3/2 (* s u)) (* 3 s))))
(+ (* 3 (* s (log 3/4))) (* u (+ (* 3 s) (* u (+ (* 3/2 s) (* s u))))))
(log 3/4)
(+ u (log 3/4))
(+ (log 3/4) (* u (+ 1 (* 1/2 u))))
(+ (log 3/4) (* u (+ 1 (* u (+ 1/2 (* 1/3 u))))))
3/4
(+ 3/4 (* 3/4 u))
(+ 3/4 (* u (+ 3/4 (* 3/4 u))))
(+ 3/4 (* u (+ 3/4 (* u (+ 3/4 (* 3/4 u))))))
4/3
(+ 4/3 (* -4/3 u))
(* 3 (* s (+ (log -3/4) (log (/ 1 u)))))
(+ (* 3 (* s (+ (log -3/4) (log (/ 1 u))))) (* 3 (/ s u)))
(+ (* 3/2 (/ s (pow u 2))) (+ (* 3 (* s (+ (log -3/4) (log (/ 1 u))))) (* 3 (/ s u))))
(+ (* 3/2 (/ s (pow u 2))) (+ (* 3 (* s (+ (log -3/4) (log (/ 1 u))))) (+ (* 3 (/ s u)) (/ s (pow u 3)))))
(+ (log -3/4) (log (/ 1 u)))
(+ (log -3/4) (+ (log (/ 1 u)) (/ 1 u)))
(+ (log -3/4) (+ (log (/ 1 u)) (+ (/ 1/2 (pow u 2)) (/ 1 u))))
(+ (log -3/4) (+ (log (/ 1 u)) (+ (/ 1/2 (pow u 2)) (+ (/ 1 u) (* 1/3 (/ 1 (pow u 3)))))))
(/ -3/4 u)
(* -1 (/ (+ 3/4 (* 3/4 (/ 1 u))) u))
(/ (- (* -1 (/ (+ 3/4 (* 3/4 (/ 1 u))) u)) 3/4) u)
(/ (- (* -1 (/ (+ 3/4 (* 3/4 (/ 1 u))) (pow u 2))) (+ 3/4 (* 3/4 (/ 1 u)))) u)
(* -4/3 u)
(* u (- (* 4/3 (/ 1 u)) 4/3))
(* 3 (* s (+ (log 3/4) (log (/ -1 u)))))
(+ (* 3 (* s (+ (log 3/4) (log (/ -1 u))))) (* 3 (/ s u)))
(+ (* -1 (/ (+ (* -3 s) (* -3/2 (/ s u))) u)) (* 3 (* s (+ (log 3/4) (log (/ -1 u))))))
(+ (* -1 (/ (+ (* -3 s) (* -1 (/ (+ (* 3/2 s) (/ s u)) u))) u)) (* 3 (* s (+ (log 3/4) (log (/ -1 u))))))
(+ (log 3/4) (log (/ -1 u)))
(+ (log 3/4) (+ (log (/ -1 u)) (/ 1 u)))
(+ (log 3/4) (+ (log (/ -1 u)) (+ (/ 1/2 (pow u 2)) (/ 1 u))))
(+ (log 3/4) (+ (log (/ -1 u)) (* -1 (/ (- (* -1 (/ (+ 1/2 (* 1/3 (/ 1 u))) u)) 1) u))))
(* -1 (/ (+ 3/4 (+ (/ 3/4 (pow u 2)) (* 3/4 (/ 1 u)))) u))
(* -1 (/ (+ 3/4 (* -1 (/ (- (* -1 (/ (+ 3/4 (* 3/4 (/ 1 u))) u)) 3/4) u))) u))
(* -1 (* u (- 4/3 (* 4/3 (/ 1 u)))))

Calls

6 calls:

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

simplify1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Algorithm

1×	egg-herbie

Counts

41 → 5

Calls

Call 1

Inputs
(* 3 (* s (log (/ 1 (- 1 (* 4/3 (- u 1/4)))))))
(* 3 s)
(* 3 (* s (log 3/4)))
(+ (* 3 (* s u)) (* 3 (* s (log 3/4))))
(+ (* 3 (* s (log 3/4))) (* u (+ (* 3/2 (* s u)) (* 3 s))))
(+ (* 3 (* s (log 3/4))) (* u (+ (* 3 s) (* u (+ (* 3/2 s) (* s u))))))
(log 3/4)
(+ u (log 3/4))
(+ (log 3/4) (* u (+ 1 (* 1/2 u))))
(+ (log 3/4) (* u (+ 1 (* u (+ 1/2 (* 1/3 u))))))
3/4
(+ 3/4 (* 3/4 u))
(+ 3/4 (* u (+ 3/4 (* 3/4 u))))
(+ 3/4 (* u (+ 3/4 (* u (+ 3/4 (* 3/4 u))))))
4/3
(+ 4/3 (* -4/3 u))
(* 3 (* s (+ (log -3/4) (log (/ 1 u)))))
(+ (* 3 (* s (+ (log -3/4) (log (/ 1 u))))) (* 3 (/ s u)))
(+ (* 3/2 (/ s (pow u 2))) (+ (* 3 (* s (+ (log -3/4) (log (/ 1 u))))) (* 3 (/ s u))))
(+ (* 3/2 (/ s (pow u 2))) (+ (* 3 (* s (+ (log -3/4) (log (/ 1 u))))) (+ (* 3 (/ s u)) (/ s (pow u 3)))))
(+ (log -3/4) (log (/ 1 u)))
(+ (log -3/4) (+ (log (/ 1 u)) (/ 1 u)))
(+ (log -3/4) (+ (log (/ 1 u)) (+ (/ 1/2 (pow u 2)) (/ 1 u))))
(+ (log -3/4) (+ (log (/ 1 u)) (+ (/ 1/2 (pow u 2)) (+ (/ 1 u) (* 1/3 (/ 1 (pow u 3)))))))
(/ -3/4 u)
(* -1 (/ (+ 3/4 (* 3/4 (/ 1 u))) u))
(/ (- (* -1 (/ (+ 3/4 (* 3/4 (/ 1 u))) u)) 3/4) u)
(/ (- (* -1 (/ (+ 3/4 (* 3/4 (/ 1 u))) (pow u 2))) (+ 3/4 (* 3/4 (/ 1 u)))) u)
(* -4/3 u)
(* u (- (* 4/3 (/ 1 u)) 4/3))
(* 3 (* s (+ (log 3/4) (log (/ -1 u)))))
(+ (* 3 (* s (+ (log 3/4) (log (/ -1 u))))) (* 3 (/ s u)))
(+ (* -1 (/ (+ (* -3 s) (* -3/2 (/ s u))) u)) (* 3 (* s (+ (log 3/4) (log (/ -1 u))))))
(+ (* -1 (/ (+ (* -3 s) (* -1 (/ (+ (* 3/2 s) (/ s u)) u))) u)) (* 3 (* s (+ (log 3/4) (log (/ -1 u))))))
(+ (log 3/4) (log (/ -1 u)))
(+ (log 3/4) (+ (log (/ -1 u)) (/ 1 u)))
(+ (log 3/4) (+ (log (/ -1 u)) (+ (/ 1/2 (pow u 2)) (/ 1 u))))
(+ (log 3/4) (+ (log (/ -1 u)) (* -1 (/ (- (* -1 (/ (+ 1/2 (* 1/3 (/ 1 u))) u)) 1) u))))
(* -1 (/ (+ 3/4 (+ (/ 3/4 (pow u 2)) (* 3/4 (/ 1 u)))) u))
(* -1 (/ (+ 3/4 (* -1 (/ (- (* -1 (/ (+ 3/4 (* 3/4 (/ 1 u))) u)) 3/4) u))) u))
(* -1 (* u (- 4/3 (* 4/3 (/ 1 u)))))

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

rewrite0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Counts

5 → 5

Calls

Call 1

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

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

eval1.0ms (0.1%)

Memory: 1.2MiB live, 1.2MiB allocated
Compiler: Compiled 188 to 30 computations (84% saved)

prune2.0ms (0.1%)

Memory

3.1MiB live, 3.1MiB allocated

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	7	3	10
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	7	4	11

Accuracy

95.9%

Counts

11 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	95.9%	(.f32 (.f32 #s(literal 3 binary32) s) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))))
▶	11.7%	#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32)))))
▶	11.8%	#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))
▶	11.9%	#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))))

Compiler

Compiled 85 to 76 computations (10.6% saved)

simplify1.0ms (0.1%)

Memory

1.3MiB live, 1.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 12 expressions of interest:

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

Calls

Call 1

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

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

localize34.0ms (2.1%)

Memory

-1.1MiB live, 36.1MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f32 u #s(literal 1/4 binary32))
accuracy	0.15625	(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))
accuracy	0.5270378056753189	(-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32)))
accuracy	28.262919412614348	#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32)))))
accuracy	0.0	(/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))
accuracy	0.0	(-.f32 u #s(literal 1/4 binary32))
accuracy	0.5270378056753189	(-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32)))
accuracy	28.21781246763267	#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))
accuracy	0.15625	(/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))
accuracy	0.5270378056753189	(-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32)))
accuracy	0.948466594154779	(log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32)))))
accuracy	28.18041618666722	#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))))

Samples

21.0ms

256×

valid

Compiler

Compiled 285 to 39 computations (86.3% saved)

Precisions

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

ival-div: 3.0ms (25.1% of total)

ival-log: 3.0ms (25.1% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series27.0ms (1.7%)

Memory

6.1MiB live, 43.7MiB allocated

Counts

8 → 50

Calls

Call 1

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

Outputs
(* 3 (* s (log (/ 1 (- 1 (* 4/3 (- u 1/4)))))))
(* 3 (* s (log 3/4)))
(+ (* 3 (* s u)) (* 3 (* s (log 3/4))))
(+ (* 3 (* s (log 3/4))) (* u (+ (* 3/2 (* s u)) (* 3 s))))
(+ (* 3 (* s (log 3/4))) (* u (+ (* 3 s) (* u (+ (* 3/2 s) (* s u))))))
(log 3/4)
(+ u (log 3/4))
(+ (log 3/4) (* u (+ 1 (* 1/2 u))))
(+ (log 3/4) (* u (+ 1 (* u (+ 1/2 (* 1/3 u))))))
3/4
(+ 3/4 (* 3/4 u))
(+ 3/4 (* u (+ 3/4 (* 3/4 u))))
(+ 3/4 (* u (+ 3/4 (* u (+ 3/4 (* 3/4 u))))))
4/3
(+ 4/3 (* -4/3 u))
-1/3
(- (* 4/3 u) 1/3)
-1/4
(- u 1/4)
(* 3 (* s (+ (log -3/4) (log (/ 1 u)))))
(+ (* 3 (* s (+ (log -3/4) (log (/ 1 u))))) (* 3 (/ s u)))
(+ (* 3/2 (/ s (pow u 2))) (+ (* 3 (* s (+ (log -3/4) (log (/ 1 u))))) (* 3 (/ s u))))
(+ (* 3/2 (/ s (pow u 2))) (+ (* 3 (* s (+ (log -3/4) (log (/ 1 u))))) (+ (* 3 (/ s u)) (/ s (pow u 3)))))
(+ (log -3/4) (log (/ 1 u)))
(+ (log -3/4) (+ (log (/ 1 u)) (/ 1 u)))
(+ (log -3/4) (+ (log (/ 1 u)) (+ (/ 1/2 (pow u 2)) (/ 1 u))))
(+ (log -3/4) (+ (log (/ 1 u)) (+ (/ 1/2 (pow u 2)) (+ (/ 1 u) (* 1/3 (/ 1 (pow u 3)))))))
(/ -3/4 u)
(* -1 (/ (+ 3/4 (* 3/4 (/ 1 u))) u))
(/ (- (* -1 (/ (+ 3/4 (* 3/4 (/ 1 u))) u)) 3/4) u)
(/ (- (* -1 (/ (+ 3/4 (* 3/4 (/ 1 u))) (pow u 2))) (+ 3/4 (* 3/4 (/ 1 u)))) u)
(* -4/3 u)
(* u (- (* 4/3 (/ 1 u)) 4/3))
(* 4/3 u)
(* u (- 4/3 (* 1/3 (/ 1 u))))
u
(* u (- 1 (* 1/4 (/ 1 u))))
(* 3 (* s (+ (log 3/4) (log (/ -1 u)))))
(+ (* 3 (* s (+ (log 3/4) (log (/ -1 u))))) (* 3 (/ s u)))
(+ (* -1 (/ (+ (* -3 s) (* -3/2 (/ s u))) u)) (* 3 (* s (+ (log 3/4) (log (/ -1 u))))))
(+ (* -1 (/ (+ (* -3 s) (* -1 (/ (+ (* 3/2 s) (/ s u)) u))) u)) (* 3 (* s (+ (log 3/4) (log (/ -1 u))))))
(+ (log 3/4) (log (/ -1 u)))
(+ (log 3/4) (+ (log (/ -1 u)) (/ 1 u)))
(+ (log 3/4) (+ (log (/ -1 u)) (+ (/ 1/2 (pow u 2)) (/ 1 u))))
(+ (log 3/4) (+ (log (/ -1 u)) (* -1 (/ (- (* -1 (/ (+ 1/2 (* 1/3 (/ 1 u))) u)) 1) u))))
(* -1 (/ (+ 3/4 (+ (/ 3/4 (pow u 2)) (* 3/4 (/ 1 u)))) u))
(* -1 (/ (+ 3/4 (* -1 (/ (- (* -1 (/ (+ 3/4 (* 3/4 (/ 1 u))) u)) 3/4) u))) u))
(* -1 (* u (- 4/3 (* 4/3 (/ 1 u)))))
(* -1 (* u (- (* 1/3 (/ 1 u)) 4/3)))
(* -1 (* u (- (* 1/4 (/ 1 u)) 1)))

Calls

6 calls:

Time	Variable		Point	Expression
9.0ms	s	@	inf	((* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (/ 1 (- 1 (/ (- u 1/4) 3/4))) (- 1 (/ (- u 1/4) 3/4)) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (/ (- u 1/4) 3/4) (- u 1/4) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))))
9.0ms	s	@	0	((* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (/ 1 (- 1 (/ (- u 1/4) 3/4))) (- 1 (/ (- u 1/4) 3/4)) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (/ (- u 1/4) 3/4) (- u 1/4) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))))
7.0ms	s	@	-inf	((* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (/ 1 (- 1 (/ (- u 1/4) 3/4))) (- 1 (/ (- u 1/4) 3/4)) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (/ (- u 1/4) 3/4) (- u 1/4) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))))
0.0ms	u	@	-inf	((* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (/ 1 (- 1 (/ (- u 1/4) 3/4))) (- 1 (/ (- u 1/4) 3/4)) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (/ (- u 1/4) 3/4) (- u 1/4) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))))
0.0ms	u	@	inf	((* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (/ 1 (- 1 (/ (- u 1/4) 3/4))) (- 1 (/ (- u 1/4) 3/4)) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (/ (- u 1/4) 3/4) (- u 1/4) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))))

simplify1.0ms (0%)

Memory

1.3MiB live, 1.3MiB allocated

Algorithm

1×	egg-herbie

Counts

50 → 8

Calls

Call 1

Inputs
(* 3 (* s (log (/ 1 (- 1 (* 4/3 (- u 1/4)))))))
(* 3 (* s (log 3/4)))
(+ (* 3 (* s u)) (* 3 (* s (log 3/4))))
(+ (* 3 (* s (log 3/4))) (* u (+ (* 3/2 (* s u)) (* 3 s))))
(+ (* 3 (* s (log 3/4))) (* u (+ (* 3 s) (* u (+ (* 3/2 s) (* s u))))))
(log 3/4)
(+ u (log 3/4))
(+ (log 3/4) (* u (+ 1 (* 1/2 u))))
(+ (log 3/4) (* u (+ 1 (* u (+ 1/2 (* 1/3 u))))))
3/4
(+ 3/4 (* 3/4 u))
(+ 3/4 (* u (+ 3/4 (* 3/4 u))))
(+ 3/4 (* u (+ 3/4 (* u (+ 3/4 (* 3/4 u))))))
4/3
(+ 4/3 (* -4/3 u))
-1/3
(- (* 4/3 u) 1/3)
-1/4
(- u 1/4)
(* 3 (* s (+ (log -3/4) (log (/ 1 u)))))
(+ (* 3 (* s (+ (log -3/4) (log (/ 1 u))))) (* 3 (/ s u)))
(+ (* 3/2 (/ s (pow u 2))) (+ (* 3 (* s (+ (log -3/4) (log (/ 1 u))))) (* 3 (/ s u))))
(+ (* 3/2 (/ s (pow u 2))) (+ (* 3 (* s (+ (log -3/4) (log (/ 1 u))))) (+ (* 3 (/ s u)) (/ s (pow u 3)))))
(+ (log -3/4) (log (/ 1 u)))
(+ (log -3/4) (+ (log (/ 1 u)) (/ 1 u)))
(+ (log -3/4) (+ (log (/ 1 u)) (+ (/ 1/2 (pow u 2)) (/ 1 u))))
(+ (log -3/4) (+ (log (/ 1 u)) (+ (/ 1/2 (pow u 2)) (+ (/ 1 u) (* 1/3 (/ 1 (pow u 3)))))))
(/ -3/4 u)
(* -1 (/ (+ 3/4 (* 3/4 (/ 1 u))) u))
(/ (- (* -1 (/ (+ 3/4 (* 3/4 (/ 1 u))) u)) 3/4) u)
(/ (- (* -1 (/ (+ 3/4 (* 3/4 (/ 1 u))) (pow u 2))) (+ 3/4 (* 3/4 (/ 1 u)))) u)
(* -4/3 u)
(* u (- (* 4/3 (/ 1 u)) 4/3))
(* 4/3 u)
(* u (- 4/3 (* 1/3 (/ 1 u))))
u
(* u (- 1 (* 1/4 (/ 1 u))))
(* 3 (* s (+ (log 3/4) (log (/ -1 u)))))
(+ (* 3 (* s (+ (log 3/4) (log (/ -1 u))))) (* 3 (/ s u)))
(+ (* -1 (/ (+ (* -3 s) (* -3/2 (/ s u))) u)) (* 3 (* s (+ (log 3/4) (log (/ -1 u))))))
(+ (* -1 (/ (+ (* -3 s) (* -1 (/ (+ (* 3/2 s) (/ s u)) u))) u)) (* 3 (* s (+ (log 3/4) (log (/ -1 u))))))
(+ (log 3/4) (log (/ -1 u)))
(+ (log 3/4) (+ (log (/ -1 u)) (/ 1 u)))
(+ (log 3/4) (+ (log (/ -1 u)) (+ (/ 1/2 (pow u 2)) (/ 1 u))))
(+ (log 3/4) (+ (log (/ -1 u)) (* -1 (/ (- (* -1 (/ (+ 1/2 (* 1/3 (/ 1 u))) u)) 1) u))))
(* -1 (/ (+ 3/4 (+ (/ 3/4 (pow u 2)) (* 3/4 (/ 1 u)))) u))
(* -1 (/ (+ 3/4 (* -1 (/ (- (* -1 (/ (+ 3/4 (* 3/4 (/ 1 u))) u)) 3/4) u))) u))
(* -1 (* u (- 4/3 (* 4/3 (/ 1 u)))))
(* -1 (* u (- (* 1/3 (/ 1 u)) 4/3)))
(* -1 (* u (- (* 1/4 (/ 1 u)) 1)))

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

rewrite1.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Counts

8 → 8

Calls

Call 1

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

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

eval1.0ms (0.1%)

Memory: 2.4MiB live, 2.4MiB allocated
Compiler: Compiled 545 to 32 computations (94.1% saved)

prune3.0ms (0.2%)

Memory

5.2MiB live, 5.2MiB allocated

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	18	2	20
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	18	6	24

Accuracy

95.9%

Counts

24 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	95.9%	(.f32 (.f32 #s(literal 3 binary32) s) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))))
✓	11.7%	#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32)))))
✓	11.8%	#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))
✓	11.9%	#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))))
▶	12.0%	#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) #s(approx (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))
▶	12.1%	#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) #s(approx (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (-.f32 u #s(literal 1/4 binary32))))

Compiler

Compiled 145 to 112 computations (22.8% saved)

simplify1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 7 expressions of interest:

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

Calls

Call 1

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

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

localize31.0ms (1.9%)

Memory

-34.5MiB live, 47.9MiB allocated

Localize:

Found 7 expressions of interest:

New	Metric	Score
accuracy	0.0	(/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))
accuracy	0.0	(-.f32 u #s(literal 1/4 binary32))
accuracy	21.057108472897067	#s(approx (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32)))
accuracy	28.18041618666722	#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) #s(approx (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))
accuracy	0.0	(-.f32 u #s(literal 1/4 binary32))
accuracy	22.639281028229462	#s(approx (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (-.f32 u #s(literal 1/4 binary32)))
accuracy	28.18041618666722	#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) #s(approx (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (-.f32 u #s(literal 1/4 binary32))))

Samples

23.0ms

256×

valid

Compiler

Compiled 172 to 36 computations (79.1% saved)

Precisions

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

ival-sub: 6.0ms (38.5% of total)

ival-div: 3.0ms (19.3% of total)

ival-log: 3.0ms (19.3% of total)

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

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

exact: 0.0ms (0% of total)

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

series27.0ms (1.7%)

Memory

15.8MiB live, 53.7MiB allocated

Counts

6 → 35

Calls

Call 1

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

Outputs
(* 3 (* s (log (/ 1 (- 1 (* 4/3 (- u 1/4)))))))
(* 3 (* s (log 3/4)))
(+ (* 3 (* s u)) (* 3 (* s (log 3/4))))
(+ (* 3 (* s (log 3/4))) (* u (+ (* 3/2 (* s u)) (* 3 s))))
(+ (* 3 (* s (log 3/4))) (* u (+ (* 3 s) (* u (+ (* 3/2 s) (* s u))))))
(log 3/4)
(+ u (log 3/4))
(+ (log 3/4) (* u (+ 1 (* 1/2 u))))
(+ (log 3/4) (* u (+ 1 (* u (+ 1/2 (* 1/3 u))))))
-1/4
(- u 1/4)
-1/3
(- (* 4/3 u) 1/3)
(* 3 (* s (+ (log -3/4) (log (/ 1 u)))))
(+ (* 3 (* s (+ (log -3/4) (log (/ 1 u))))) (* 3 (/ s u)))
(+ (* 3/2 (/ s (pow u 2))) (+ (* 3 (* s (+ (log -3/4) (log (/ 1 u))))) (* 3 (/ s u))))
(+ (* 3/2 (/ s (pow u 2))) (+ (* 3 (* s (+ (log -3/4) (log (/ 1 u))))) (+ (* 3 (/ s u)) (/ s (pow u 3)))))
(+ (log -3/4) (log (/ 1 u)))
(+ (log -3/4) (+ (log (/ 1 u)) (/ 1 u)))
(+ (log -3/4) (+ (log (/ 1 u)) (+ (/ 1/2 (pow u 2)) (/ 1 u))))
(+ (log -3/4) (+ (log (/ 1 u)) (+ (/ 1/2 (pow u 2)) (+ (/ 1 u) (* 1/3 (/ 1 (pow u 3)))))))
u
(* u (- 1 (* 1/4 (/ 1 u))))
(* 4/3 u)
(* u (- 4/3 (* 1/3 (/ 1 u))))
(* 3 (* s (+ (log 3/4) (log (/ -1 u)))))
(+ (* 3 (* s (+ (log 3/4) (log (/ -1 u))))) (* 3 (/ s u)))
(+ (* -1 (/ (+ (* -3 s) (* -3/2 (/ s u))) u)) (* 3 (* s (+ (log 3/4) (log (/ -1 u))))))
(+ (* -1 (/ (+ (* -3 s) (* -1 (/ (+ (* 3/2 s) (/ s u)) u))) u)) (* 3 (* s (+ (log 3/4) (log (/ -1 u))))))
(+ (log 3/4) (log (/ -1 u)))
(+ (log 3/4) (+ (log (/ -1 u)) (/ 1 u)))
(+ (log 3/4) (+ (log (/ -1 u)) (+ (/ 1/2 (pow u 2)) (/ 1 u))))
(+ (log 3/4) (+ (log (/ -1 u)) (* -1 (/ (- (* -1 (/ (+ 1/2 (* 1/3 (/ 1 u))) u)) 1) u))))
(* -1 (* u (- (* 1/4 (/ 1 u)) 1)))
(* -1 (* u (- (* 1/3 (/ 1 u)) 4/3)))

Calls

6 calls:

Time	Variable		Point	Expression
9.0ms	s	@	0	((* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (- u 1/4) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (/ (- u 1/4) 3/4))
9.0ms	s	@	inf	((* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (- u 1/4) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (/ (- u 1/4) 3/4))
7.0ms	s	@	-inf	((* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (- u 1/4) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (/ (- u 1/4) 3/4))
0.0ms	u	@	inf	((* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (- u 1/4) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (/ (- u 1/4) 3/4))
0.0ms	u	@	-inf	((* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (- u 1/4) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (/ (- u 1/4) 3/4))

simplify1.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Algorithm

1×	egg-herbie

Counts

35 → 6

Calls

Call 1

Inputs
(* 3 (* s (log (/ 1 (- 1 (* 4/3 (- u 1/4)))))))
(* 3 (* s (log 3/4)))
(+ (* 3 (* s u)) (* 3 (* s (log 3/4))))
(+ (* 3 (* s (log 3/4))) (* u (+ (* 3/2 (* s u)) (* 3 s))))
(+ (* 3 (* s (log 3/4))) (* u (+ (* 3 s) (* u (+ (* 3/2 s) (* s u))))))
(log 3/4)
(+ u (log 3/4))
(+ (log 3/4) (* u (+ 1 (* 1/2 u))))
(+ (log 3/4) (* u (+ 1 (* u (+ 1/2 (* 1/3 u))))))
-1/4
(- u 1/4)
-1/3
(- (* 4/3 u) 1/3)
(* 3 (* s (+ (log -3/4) (log (/ 1 u)))))
(+ (* 3 (* s (+ (log -3/4) (log (/ 1 u))))) (* 3 (/ s u)))
(+ (* 3/2 (/ s (pow u 2))) (+ (* 3 (* s (+ (log -3/4) (log (/ 1 u))))) (* 3 (/ s u))))
(+ (* 3/2 (/ s (pow u 2))) (+ (* 3 (* s (+ (log -3/4) (log (/ 1 u))))) (+ (* 3 (/ s u)) (/ s (pow u 3)))))
(+ (log -3/4) (log (/ 1 u)))
(+ (log -3/4) (+ (log (/ 1 u)) (/ 1 u)))
(+ (log -3/4) (+ (log (/ 1 u)) (+ (/ 1/2 (pow u 2)) (/ 1 u))))
(+ (log -3/4) (+ (log (/ 1 u)) (+ (/ 1/2 (pow u 2)) (+ (/ 1 u) (* 1/3 (/ 1 (pow u 3)))))))
u
(* u (- 1 (* 1/4 (/ 1 u))))
(* 4/3 u)
(* u (- 4/3 (* 1/3 (/ 1 u))))
(* 3 (* s (+ (log 3/4) (log (/ -1 u)))))
(+ (* 3 (* s (+ (log 3/4) (log (/ -1 u))))) (* 3 (/ s u)))
(+ (* -1 (/ (+ (* -3 s) (* -3/2 (/ s u))) u)) (* 3 (* s (+ (log 3/4) (log (/ -1 u))))))
(+ (* -1 (/ (+ (* -3 s) (* -1 (/ (+ (* 3/2 s) (/ s u)) u))) u)) (* 3 (* s (+ (log 3/4) (log (/ -1 u))))))
(+ (log 3/4) (log (/ -1 u)))
(+ (log 3/4) (+ (log (/ -1 u)) (/ 1 u)))
(+ (log 3/4) (+ (log (/ -1 u)) (+ (/ 1/2 (pow u 2)) (/ 1 u))))
(+ (log 3/4) (+ (log (/ -1 u)) (* -1 (/ (- (* -1 (/ (+ 1/2 (* 1/3 (/ 1 u))) u)) 1) u))))
(* -1 (* u (- (* 1/4 (/ 1 u)) 1)))
(* -1 (* u (- (* 1/3 (/ 1 u)) 4/3)))

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

rewrite0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Counts

6 → 6

Calls

Call 1

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

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

eval1.0ms (0%)

Memory: 1.3MiB live, 1.3MiB allocated
Compiler: Compiled 319 to 24 computations (92.5% saved)

prune4.0ms (0.3%)

Memory

7.1MiB live, 7.1MiB allocated

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	10	0	10
Fresh	0	0	0
Picked	0	2	2
Done	0	4	4
Total	10	6	16

Accuracy

95.9%

Counts

16 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	95.9%	(.f32 (.f32 #s(literal 3 binary32) s) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))))
✓	11.7%	#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32)))))
✓	11.8%	#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))
✓	11.9%	#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))))
✓	12.0%	#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) #s(approx (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (/.f32 (-.f32 u #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))
✓	12.1%	#s(approx (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) #s(approx (log (/ 1 (- 1 (/ (- u 1/4) 3/4)))) (-.f32 u #s(literal 1/4 binary32))))

Compiler

Compiled 290 to 143 computations (50.7% saved)

regimes30.0ms (1.9%)

Memory

-33.4MiB live, 51.8MiB allocated

Counts

6 → 1

Calls

Call 1

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

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

Calls

9 calls:

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

Results

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

Compiler

Compiled 53 to 58 computations (-9.4% saved)

regimes19.0ms (1.2%)

Memory

37.2MiB live, 37.2MiB allocated

Accuracy

Total -0.2b remaining (-0.9%)

Threshold costs -0.2b (-0.9%)

Counts

5 → 1

Calls

Call 1

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

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

Calls

9 calls:

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

Results

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

Compiler

Compiled 53 to 58 computations (-9.4% saved)

simplify6.0ms (0.4%)

Memory

-29.2MiB live, 9.4MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs

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

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

Outputs

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

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

soundness0.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Stop Event

1×

done

Compiler

Compiled 43 to 26 computations (39.5% saved)

preprocess17.0ms (1%)

Memory: 28.6MiB live, 28.6MiB allocated
Compiler: Compiled 114 to 78 computations (31.6% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze30.0ms (1.9%)

sample1.1s (70.6%)

explain130.0ms (8.1%)

preprocess3.0ms (0.2%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify1.0ms (0%)

localize31.0ms (1.9%)

series69.0ms (4.3%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune2.0ms (0.1%)

simplify1.0ms (0.1%)

localize34.0ms (2.1%)

series27.0ms (1.7%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval1.0ms (0.1%)

prune3.0ms (0.2%)

simplify1.0ms (0%)

localize31.0ms (1.9%)

series27.0ms (1.7%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0%)

prune4.0ms (0.3%)

regimes30.0ms (1.9%)

regimes19.0ms (1.2%)

simplify6.0ms (0.4%)

soundness0.0ms (0%)

preprocess17.0ms (1%)

end0.0ms (0%)

Profiling