Metrics for Disney BSSRDF, sample scattering profile, upper

analyze26.0ms (1.1%)

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 62 to 44 computations (29% saved)

sample2.0s (89%)

Results

970.0ms	8256×	0	valid-tuning
932.0ms	8256×	0	valid-baseline

Bogosity

preprocess198.0ms (8.6%)

Algorithm

1×	egg-herbie

Rules

1598×	`fma-define`
1028×	`fma-neg`
342×	`distribute-lft-neg-in`
234×	`distribute-lft-in`
230×	`unsub-neg`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	38	331
1	101	261
2	254	245
3	586	229
4	1104	217
5	1930	217
6	2676	217
7	3249	217
8	3570	217
9	3682	217
10	3732	217
11	3775	217
12	3795	217

Stop Event

1×

saturated

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 (.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 (.f32 #s(literal 3 binary32) (neg.f32 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 (.f32 #s(literal 3 binary32) s) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 (neg.f32 u) #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))))
(neg.f32 (.f32 (.f32 #s(literal 3 binary32) (neg.f32 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)))))))
(neg.f32 (.f32 (.f32 #s(literal 3 binary32) s) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 (neg.f32 u) #s(literal 1/4 binary32)) #s(literal 3/4 binary32)))))))
(.f32 (.f32 #s(literal 3 binary32) u) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 s #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) (.f32 s (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) (-.f32 (/.f32 u #s(literal 3/4 binary32)) #s(literal 1/3 binary32)))))))
(.f32 (.f32 s #s(literal -3 binary32)) (log1p.f32 (/.f32 (+.f32 u #s(literal -1/4 binary32)) #s(literal -3/4 binary32))))
(.f32 (.f32 s #s(literal -3 binary32)) (log1p.f32 (+.f32 (*.f32 u #s(literal -4/3 binary32)) #s(literal 1/3 binary32))))
(.f32 (.f32 s #s(literal -3 binary32)) (log1p.f32 (fma.f32 u #s(literal -4/3 binary32) #s(literal 1/3 binary32))))
(.f32 (.f32 s #s(literal -3 binary32)) (log.f32 (fma.f32 u #s(literal -4/3 binary32) #s(literal 4/3 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))))))
(.f32 #s(literal 3 binary32) (.f32 s (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) (-.f32 (/.f32 u #s(literal 3/4 binary32)) #s(literal 1/3 binary32)))))))
(.f32 (.f32 s #s(literal -3 binary32)) (log1p.f32 (/.f32 (+.f32 u #s(literal -1/4 binary32)) #s(literal -3/4 binary32))))
(.f32 (.f32 s #s(literal -3 binary32)) (log1p.f32 (+.f32 (*.f32 u #s(literal -4/3 binary32)) #s(literal 1/3 binary32))))
(.f32 (.f32 s #s(literal -3 binary32)) (log1p.f32 (fma.f32 u #s(literal -4/3 binary32) #s(literal 1/3 binary32))))
(.f32 (.f32 s #s(literal -3 binary32)) (log.f32 (fma.f32 u #s(literal -4/3 binary32) #s(literal 4/3 binary32))))
(.f32 (.f32 #s(literal 3 binary32) (neg.f32 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) (.f32 (neg.f32 s) (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) (-.f32 (/.f32 u #s(literal 3/4 binary32)) #s(literal 1/3 binary32)))))))
(.f32 (neg.f32 (log1p.f32 (/.f32 (+.f32 u #s(literal -1/4 binary32)) #s(literal -3/4 binary32)))) (.f32 s #s(literal -3 binary32)))
(.f32 #s(literal 3 binary32) (.f32 s (log1p.f32 (+.f32 (*.f32 u #s(literal -4/3 binary32)) #s(literal 1/3 binary32)))))
(.f32 #s(literal 3 binary32) (.f32 s (log1p.f32 (fma.f32 u #s(literal -4/3 binary32) #s(literal 1/3 binary32)))))
(.f32 #s(literal 3 binary32) (.f32 s (log.f32 (fma.f32 u #s(literal -4/3 binary32) #s(literal 4/3 binary32)))))
(.f32 (.f32 #s(literal 3 binary32) s) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 (neg.f32 u) #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))))
(.f32 (.f32 #s(literal 3 binary32) s) (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) (/.f32 (+.f32 (neg.f32 u) #s(literal -1/4 binary32)) #s(literal 3/4 binary32))))))
(.f32 (.f32 #s(literal 3 binary32) s) (neg.f32 (log1p.f32 (/.f32 (fma.f32 #s(literal -1 binary32) u #s(literal -1/4 binary32)) #s(literal -3/4 binary32)))))
(.f32 s (.f32 #s(literal -3 binary32) (log1p.f32 (/.f32 (-.f32 #s(literal -1/4 binary32) u) #s(literal -3/4 binary32)))))
(.f32 s (.f32 (log.f32 (+.f32 (*.f32 u #s(literal 4/3 binary32)) #s(literal 4/3 binary32))) #s(literal -3 binary32)))
(.f32 s (.f32 (log1p.f32 (fma.f32 u #s(literal 4/3 binary32) #s(literal 1/3 binary32))) #s(literal -3 binary32)))
(neg.f32 (.f32 (.f32 #s(literal 3 binary32) (neg.f32 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) (.f32 s (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) (-.f32 (/.f32 u #s(literal 3/4 binary32)) #s(literal 1/3 binary32)))))))
(.f32 (.f32 s #s(literal -3 binary32)) (log1p.f32 (/.f32 (+.f32 u #s(literal -1/4 binary32)) #s(literal -3/4 binary32))))
(.f32 (.f32 s #s(literal -3 binary32)) (log1p.f32 (+.f32 (*.f32 u #s(literal -4/3 binary32)) #s(literal 1/3 binary32))))
(.f32 (.f32 s #s(literal -3 binary32)) (log1p.f32 (fma.f32 u #s(literal -4/3 binary32) #s(literal 1/3 binary32))))
(.f32 (.f32 s #s(literal -3 binary32)) (log.f32 (fma.f32 u #s(literal -4/3 binary32) #s(literal 4/3 binary32))))
(neg.f32 (.f32 (.f32 #s(literal 3 binary32) s) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 (neg.f32 u) #s(literal 1/4 binary32)) #s(literal 3/4 binary32)))))))
(.f32 (.f32 #s(literal 3 binary32) (neg.f32 s)) (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) (/.f32 (+.f32 (neg.f32 u) #s(literal -1/4 binary32)) #s(literal 3/4 binary32))))))
(.f32 (.f32 #s(literal 3 binary32) s) (log1p.f32 (/.f32 (fma.f32 #s(literal -1 binary32) u #s(literal -1/4 binary32)) #s(literal -3/4 binary32))))
(.f32 (.f32 #s(literal 3 binary32) s) (log1p.f32 (/.f32 (-.f32 #s(literal -1/4 binary32) u) #s(literal -3/4 binary32))))
(.f32 (.f32 #s(literal 3 binary32) s) (log.f32 (+.f32 (*.f32 u #s(literal 4/3 binary32)) #s(literal 4/3 binary32))))
(.f32 #s(literal 3 binary32) (.f32 s (log1p.f32 (fma.f32 u #s(literal 4/3 binary32) #s(literal 1/3 binary32)))))
(.f32 (.f32 #s(literal 3 binary32) u) (log.f32 (/.f32 #s(literal 1 binary32) (-.f32 #s(literal 1 binary32) (/.f32 (-.f32 s #s(literal 1/4 binary32)) #s(literal 3/4 binary32))))))
(.f32 #s(literal 3 binary32) (.f32 u (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) (/.f32 (+.f32 s #s(literal -1/4 binary32)) #s(literal 3/4 binary32)))))))
(.f32 #s(literal 3 binary32) (.f32 u (neg.f32 (log1p.f32 (/.f32 (+.f32 s #s(literal -1/4 binary32)) #s(literal -3/4 binary32))))))
(.f32 u (.f32 #s(literal -3 binary32) (log1p.f32 (-.f32 (/.f32 s #s(literal -3/4 binary32)) #s(literal -1/3 binary32)))))
(.f32 u (.f32 (log.f32 (+.f32 (*.f32 s #s(literal -4/3 binary32)) #s(literal 4/3 binary32))) #s(literal -3 binary32)))
(.f32 u (.f32 (log.f32 (fma.f32 s #s(literal -4/3 binary32) #s(literal 4/3 binary32))) #s(literal -3 binary32)))

Symmetry

(negabs s)

Compiler

Compiled 16 to 13 computations (18.8% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

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 32 to 26 computations (18.8% saved)

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

132×	`unsub-neg`
74×	`neg-mul-1`
38×	`distribute-neg-out`
34×	`distribute-lft-neg-in`
26×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	47
1	30	47
2	41	47
3	53	47
4	74	47
5	82	47
6	88	47
7	117	47
8	159	47
9	163	47
10	180	47
11	232	47
12	281	47
13	282	47

Stop Event

1×

saturated

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

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

soundness0.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 16 to 13 computations (18.8% saved)

preprocess19.0ms (0.8%)

Remove: (negabs s)
Compiler: Compiled 128 to 104 computations (18.8% saved)

Disney BSSRDF, sample scattering profile, upper

analyze26.0ms (1.1%)

sample2.0s (89%)

preprocess198.0ms (8.6%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify8.0ms (0.3%)

soundness0.0ms (0%)

preprocess19.0ms (0.8%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	19	47
1	30	47
2	41	47
3	53	47
4	74	47
5	82	47
6	88	47
7	117	47
8	159	47
9	163	47
10	180	47
11	232	47
12	281	47
13	282	47

Iter	Nodes	Cost
0	19	47
1	30	47
2	41	47
3	53	47
4	74	47
5	82	47
6	88	47
7	117	47
8	159	47
9	163	47
10	180	47
11	232	47
12	281	47
13	282	47

Iter	Nodes	Cost
0	19	47
1	30	47
2	41	47
3	53	47
4	74	47
5	82	47
6	88	47
7	117	47
8	159	47
9	163	47
10	180	47
11	232	47
12	281	47
13	282	47