Details

analyze298.0ms (2.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0.9%	99.1%	0
0%	0.9%	99.1%	1
0%	0.9%	99.1%	2
0.4%	0.4%	99.1%	3
0.4%	0.4%	99.1%	4
0.6%	0.2%	99.1%	5
0.6%	0.2%	99.1%	6
0.7%	0.1%	99.1%	7
0.7%	0.1%	99.1%	8
0.8%	0.1%	99.1%	9
0.8%	0.1%	99.1%	10
0.8%	0%	99.1%	11
0.8%	0%	99.1%	12
0.8%	0%	99.1%	13
0.8%	0%	99.1%	14

Compiler

Compiled 26 to 20 computations (23.1% saved)

sample39.0ms (0.3%)

Algorithm

1×

intervals

Results

18.0ms	256×	body	128	valid
5.0ms	256×	pre	128	true

Compiler

Compiled 45 to 35 computations (22.2% saved)

simplify418.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

19592×	`associate-+l+_binary32`
1784×	`distribute-rgt-out_binary32`
836×	`+-commutative_binary32`
671×	`distribute-rgt-in_binary32`
337×	`associate-r_binary32`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	23
1	21	23
2	31	23
3	47	23
4	92	23
5	127	23
6	160	23
7	279	23
8	314	23
9	330	23
10	338	23
11	351	23
12	379	23
13	471	23
14	566	23
15	660	23
16	755	23
17	761	23
18	753	23
19	1101	23
20	1318	23
21	1413	23
22	1512	23
23	1480	23
24	1480	23
25	1480	23
26	1480	23
27	3103	23
28	3070	23
29	3100	23
30	3104	23
31	3104	23
32	3521	23
33	3811	23
34	3812	23
35	3819	23
36	3819	23
37	3797	23
38	3797	23
39	3667	23
40	4115	23
41	4077	23
42	4077	23
43	4077	23
44	4077	23
45	9889	23

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	0	0
Total	1	1

Error

0.2b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.2b	(+.f32 1 (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))

Compiler

Compiled 34 to 26 computations (23.5% saved)

localize33.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.1b	(+.f32 1 (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
0.1b	(exp.f32 (/.f32 -2 v))
0.1b	(log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))
0.3b	(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))))))

rewrite262.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

20×	`add-sqr-sqrt_binary32`
18×	`*-un-lft-identity_binary32`
18×	`add-cube-cbrt_binary32`
15×	`log-prod_binary32`
13×	`exp-prod_binary32`

Counts

4 → 77

Calls

4 calls:

6.0ms	(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))))))
5.0ms	(+.f32 1 (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
3.0ms	(exp.f32 (/.f32 -2 v))
2.0ms	(log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))

Compiler

Compiled 1963 to 1463 computations (25.5% saved)

series424.0ms (3.6%)

Error

0.0b

Counts

4 → 64

Calls

4 calls:

100.0ms	(+.f32 1 (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
98.0ms	(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))))))
90.0ms	(log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))
18.0ms	(exp.f32 (/.f32 -2 v))

Compiler

Compiled 4553 to 3539 computations (22.3% saved)

simplify131.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

676×	`cancel-sign-sub-inv_binary32`
447×	`sub-neg_binary32`
240×	`+-commutative_binary32`
188×	`associate-+r+_binary32`
183×	`associate--l+_binary32`

Counts

141 → 113

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	372	5088
1	1013	4817
2	3757	4724
3	5034	4724

prune232.0ms (2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	107	6	113
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	108	6	114

Error

0.0b

Counts

114 → 6

Alt Table

Status	Error	Program
	29.1b	(+.f32 1 (.f32 v (+.f32 (+.f32 (+.f32 (.f32 2 (+.f32 (/.f32 u v) (/.f32 u (.f32 v v)))) (.f32 8/3 (pow.f32 (/.f32 u v) 3))) (+.f32 (.f32 2/3 (/.f32 u (pow.f32 v 4))) (.f32 8 (/.f32 (pow.f32 u 3) (pow.f32 v 4))))) (-.f32 (.f32 4/3 (/.f32 u (pow.f32 v 3))) (+.f32 (.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 4))) (+.f32 (/.f32 2 v) (+.f32 (+.f32 (.f32 2 (.f32 (/.f32 u v) (/.f32 u v))) (.f32 4 (/.f32 (.f32 u u) (pow.f32 v 3)))) (.f32 14/3 (/.f32 (.f32 u u) (pow.f32 v 4))))))))))
	0.3b	(/.f32 (-.f32 1 (.f32 (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))) (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))))) (-.f32 1 (.f32 v (log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))))
	29.9b	(-.f32 (+.f32 (/.f32 (.f32 v (pow.f32 u 3)) (exp.f32 (/.f32 -2 v))) (+.f32 (.f32 1/3 (/.f32 v (pow.f32 (/.f32 (exp.f32 (/.f32 -2 v)) u) 3))) (+.f32 (/.f32 (.f32 v (.f32 u u)) (exp.f32 (/.f32 -2 v))) (+.f32 (/.f32 (.f32 v u) (exp.f32 (/.f32 -2 v))) (+.f32 (.f32 v (/.f32 -2 v)) 1))))) (+.f32 (/.f32 (.f32 v (pow.f32 u 3)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (+.f32 (.f32 v u) (+.f32 (.f32 (.f32 v (pow.f32 u 3)) 1/3) (.f32 1/2 (+.f32 (.f32 v (.f32 u u)) (/.f32 (.f32 v (*.f32 u u)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2))))))))
▶	0.2b	(+.f32 1 (.f32 (sqrt.f32 v) (.f32 (log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))) (sqrt.f32 v))))
	1.0b	(log.f32 (.f32 (pow.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))) v) E.f32))
	28.4b	(+.f32 (+.f32 (+.f32 (+.f32 (.f32 4/3 (/.f32 u (.f32 v v))) (.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v)))) (.f32 2 (-.f32 (+.f32 u (/.f32 u v)) (.f32 u (/.f32 u v))))) (.f32 -4 (.f32 (/.f32 u v) (/.f32 u v)))) -1)

Compiler

Compiled 3331 to 2266 computations (32% saved)

localize40.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.1b	(exp.f32 (/.f32 -2 v))
0.1b	(log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))
0.3b	(.f32 (sqrt.f32 v) (.f32 (log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))) (sqrt.f32 v)))
0.4b	(.f32 (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))) (sqrt.f32 v))

rewrite180.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

21×	`add-sqr-sqrt_binary32`
17×	`*-un-lft-identity_binary32`
17×	`add-cube-cbrt_binary32`
13×	`exp-prod_binary32`
13×	`pow1_binary32`

Counts

4 → 79

Calls

4 calls:

7.0ms	(.f32 (sqrt.f32 v) (.f32 (log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))) (sqrt.f32 v)))
5.0ms	(.f32 (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))) (sqrt.f32 v))
5.0ms	(exp.f32 (/.f32 -2 v))
2.0ms	(log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))

Compiler

Compiled 2030 to 1326 computations (34.7% saved)

series396.0ms (3.4%)

Error

0.0b

Counts

4 → 54

Calls

4 calls:

94.0ms	(log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))
90.0ms	(.f32 (sqrt.f32 v) (.f32 (log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))) (sqrt.f32 v)))
76.0ms	(.f32 (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))) (sqrt.f32 v))
22.0ms	(exp.f32 (/.f32 -2 v))

Compiler

Compiled 4510 to 3368 computations (25.3% saved)

simplify122.0ms (1%)

Algorithm

1×	egg-herbie

Rules

666×	`cancel-sign-sub-inv_binary32`
402×	`sub-neg_binary32`
225×	`+-commutative_binary32`
206×	`times-frac_binary32`
188×	`associate-r_binary32`

Counts

133 → 93

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	389	4651
1	1094	4203
2	3985	4108
3	5386	4108

prune196.0ms (1.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	93	6	99

Error

0.0b

Counts

99 → 6

Alt Table

Status	Error	Program
	29.1b	(+.f32 1 (.f32 v (+.f32 (+.f32 (+.f32 (.f32 2 (+.f32 (/.f32 u v) (/.f32 u (.f32 v v)))) (.f32 8/3 (pow.f32 (/.f32 u v) 3))) (+.f32 (.f32 2/3 (/.f32 u (pow.f32 v 4))) (.f32 8 (/.f32 (pow.f32 u 3) (pow.f32 v 4))))) (-.f32 (.f32 4/3 (/.f32 u (pow.f32 v 3))) (+.f32 (.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 4))) (+.f32 (/.f32 2 v) (+.f32 (+.f32 (.f32 2 (.f32 (/.f32 u v) (/.f32 u v))) (.f32 4 (/.f32 (.f32 u u) (pow.f32 v 3)))) (.f32 14/3 (/.f32 (.f32 u u) (pow.f32 v 4))))))))))
▶	0.3b	(/.f32 (-.f32 1 (.f32 (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))) (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))))) (-.f32 1 (.f32 v (log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))))
	29.9b	(-.f32 (+.f32 (/.f32 (.f32 v (pow.f32 u 3)) (exp.f32 (/.f32 -2 v))) (+.f32 (.f32 1/3 (/.f32 v (pow.f32 (/.f32 (exp.f32 (/.f32 -2 v)) u) 3))) (+.f32 (/.f32 (.f32 v (.f32 u u)) (exp.f32 (/.f32 -2 v))) (+.f32 (/.f32 (.f32 v u) (exp.f32 (/.f32 -2 v))) (+.f32 (.f32 v (/.f32 -2 v)) 1))))) (+.f32 (/.f32 (.f32 v (pow.f32 u 3)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (+.f32 (.f32 v u) (+.f32 (.f32 (.f32 v (pow.f32 u 3)) 1/3) (.f32 1/2 (+.f32 (.f32 v (.f32 u u)) (/.f32 (.f32 v (*.f32 u u)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2))))))))
✓	0.2b	(+.f32 1 (.f32 (sqrt.f32 v) (.f32 (log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))) (sqrt.f32 v))))
	1.0b	(log.f32 (.f32 (pow.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))) v) E.f32))
	28.4b	(+.f32 (+.f32 (+.f32 (+.f32 (.f32 4/3 (/.f32 u (.f32 v v))) (.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v)))) (.f32 2 (-.f32 (+.f32 u (/.f32 u v)) (.f32 u (/.f32 u v))))) (.f32 -4 (.f32 (/.f32 u v) (/.f32 u v)))) -1)

Compiler

Compiled 3000 to 1967 computations (34.4% saved)

localize52.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.2b	(.f32 (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))) (.f32 v (log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))))
0.3b	(.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))
0.3b	(.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))
0.3b	(.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))

rewrite532.0ms (4.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

52×	`pow1_binary32`
30×	`log-prod_binary32`
26×	`add-sqr-sqrt_binary32`
22×	`add-cbrt-cube_binary32`
22×	`add-exp-log_binary32`

Counts

4 → 121

Calls

4 calls:

9.0ms	(.f32 (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))) (.f32 v (log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))))
6.0ms	(.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))
6.0ms	(.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))
5.0ms	(.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))

Compiler

Compiled 6090 to 4458 computations (26.8% saved)

series931.0ms (7.9%)

Error

0.0b

Counts

4 → 72

Calls

4 calls:

220.0ms	(.f32 (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))) (.f32 v (log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))))
137.0ms	(.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))
136.0ms	(.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))
133.0ms	(.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))

Compiler

Compiled 11236 to 8657 computations (23% saved)

simplify167.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

348×	`associate-+r+_binary32`
329×	`associate-r_binary32`
322×	`times-frac_binary32`
290×	`associate-l_binary32`
261×	`associate-+l+_binary32`

Counts

193 → 143

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	408	9864
1	1223	8829
2	5163	8829

prune441.0ms (3.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	141	2	143
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	142	7	149

Error

0.0b

Counts

149 → 7

Alt Table

Status	Error	Program
	29.1b	(+.f32 1 (.f32 v (+.f32 (+.f32 (+.f32 (.f32 2 (+.f32 (/.f32 u v) (/.f32 u (.f32 v v)))) (.f32 8/3 (pow.f32 (/.f32 u v) 3))) (+.f32 (.f32 2/3 (/.f32 u (pow.f32 v 4))) (.f32 8 (/.f32 (pow.f32 u 3) (pow.f32 v 4))))) (-.f32 (.f32 4/3 (/.f32 u (pow.f32 v 3))) (+.f32 (.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 4))) (+.f32 (/.f32 2 v) (+.f32 (+.f32 (.f32 2 (.f32 (/.f32 u v) (/.f32 u v))) (.f32 4 (/.f32 (.f32 u u) (pow.f32 v 3)))) (.f32 14/3 (/.f32 (.f32 u u) (pow.f32 v 4))))))))))
	0.3b	(/.f32 (-.f32 1 (.f32 (.f32 v v) (pow.f32 (log.f32 (-.f32 (+.f32 (exp.f32 (/.f32 -2 v)) u) (.f32 (exp.f32 (/.f32 -2 v)) u))) 2))) (-.f32 1 (.f32 v (log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))))
▶	0.3b	(/.f32 (-.f32 1 (.f32 (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))) (log.f32 (pow.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))) v)))) (-.f32 1 (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))))
✓	0.3b	(/.f32 (-.f32 1 (.f32 (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))) (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))))) (-.f32 1 (.f32 v (log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))))
	29.9b	(-.f32 (+.f32 (/.f32 (.f32 v (pow.f32 u 3)) (exp.f32 (/.f32 -2 v))) (+.f32 (.f32 1/3 (/.f32 v (pow.f32 (/.f32 (exp.f32 (/.f32 -2 v)) u) 3))) (+.f32 (/.f32 (.f32 v (.f32 u u)) (exp.f32 (/.f32 -2 v))) (+.f32 (/.f32 (.f32 v u) (exp.f32 (/.f32 -2 v))) (+.f32 (.f32 v (/.f32 -2 v)) 1))))) (+.f32 (/.f32 (.f32 v (pow.f32 u 3)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (+.f32 (.f32 v u) (+.f32 (.f32 (.f32 v (pow.f32 u 3)) 1/3) (.f32 1/2 (+.f32 (.f32 v (.f32 u u)) (/.f32 (.f32 v (*.f32 u u)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2))))))))
✓	0.2b	(+.f32 1 (.f32 (sqrt.f32 v) (.f32 (log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))) (sqrt.f32 v))))
	28.4b	(+.f32 (+.f32 (+.f32 (+.f32 (.f32 4/3 (/.f32 u (.f32 v v))) (.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v)))) (.f32 2 (-.f32 (+.f32 u (/.f32 u v)) (.f32 u (/.f32 u v))))) (.f32 -4 (.f32 (/.f32 u v) (/.f32 u v)))) -1)

Compiler

Compiled 6827 to 4669 computations (31.6% saved)

localize64.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.2b	(.f32 (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))) (log.f32 (pow.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))) v)))
0.3b	(.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))
0.3b	(.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))
22.9b	(log.f32 (pow.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))) v))

rewrite511.0ms (4.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

33×	`log-prod_binary32`
23×	`add-sqr-sqrt_binary32`
19×	`*-un-lft-identity_binary32`
19×	`add-cube-cbrt_binary32`
15×	`add-exp-log_binary32`

Counts

4 → 102

Calls

4 calls:

9.0ms	(.f32 (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))) (log.f32 (pow.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))) v)))
6.0ms	(.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))
6.0ms	(.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))
4.0ms	(log.f32 (pow.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))) v))

Compiler

Compiled 5711 to 4195 computations (26.5% saved)

series1.3s (10.7%)

Error

0.0b

Counts

4 → 72

Calls

4 calls:

453.0ms	(.f32 (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))) (log.f32 (pow.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))) v)))
179.0ms	(log.f32 (pow.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))) v))
136.0ms	(.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))
134.0ms	(.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))

Compiler

Compiled 13215 to 10247 computations (22.5% saved)

simplify178.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

492×	`times-frac_binary32`
421×	`associate-r_binary32`
362×	`associate-/l*_binary32`
343×	`associate-l_binary32`
312×	`associate-/r*_binary32`

Counts

174 → 133

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	523	11169
1	1544	10284
2	4981	10284

prune501.0ms (4.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	133	0	133
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	133	7	140

Error

0.0b

Counts

140 → 7

Alt Table

Status	Error	Program
	29.1b	(+.f32 1 (.f32 v (+.f32 (+.f32 (+.f32 (.f32 2 (+.f32 (/.f32 u v) (/.f32 u (.f32 v v)))) (.f32 8/3 (pow.f32 (/.f32 u v) 3))) (+.f32 (.f32 2/3 (/.f32 u (pow.f32 v 4))) (.f32 8 (/.f32 (pow.f32 u 3) (pow.f32 v 4))))) (-.f32 (.f32 4/3 (/.f32 u (pow.f32 v 3))) (+.f32 (.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 4))) (+.f32 (/.f32 2 v) (+.f32 (+.f32 (.f32 2 (.f32 (/.f32 u v) (/.f32 u v))) (.f32 4 (/.f32 (.f32 u u) (pow.f32 v 3)))) (.f32 14/3 (/.f32 (.f32 u u) (pow.f32 v 4))))))))))
	0.3b	(/.f32 (-.f32 1 (.f32 (.f32 v v) (pow.f32 (log.f32 (-.f32 (+.f32 (exp.f32 (/.f32 -2 v)) u) (.f32 (exp.f32 (/.f32 -2 v)) u))) 2))) (-.f32 1 (.f32 v (log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))))
	0.3b	(/.f32 (-.f32 1 (.f32 (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))) (log.f32 (pow.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))) v)))) (-.f32 1 (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))))
	0.3b	(/.f32 (-.f32 1 (.f32 (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))) (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))))) (-.f32 1 (.f32 v (log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))))
	29.9b	(-.f32 (+.f32 (/.f32 (.f32 v (pow.f32 u 3)) (exp.f32 (/.f32 -2 v))) (+.f32 (.f32 1/3 (/.f32 v (pow.f32 (/.f32 (exp.f32 (/.f32 -2 v)) u) 3))) (+.f32 (/.f32 (.f32 v (.f32 u u)) (exp.f32 (/.f32 -2 v))) (+.f32 (/.f32 (.f32 v u) (exp.f32 (/.f32 -2 v))) (+.f32 (.f32 v (/.f32 -2 v)) 1))))) (+.f32 (/.f32 (.f32 v (pow.f32 u 3)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (+.f32 (.f32 v u) (+.f32 (.f32 (.f32 v (pow.f32 u 3)) 1/3) (.f32 1/2 (+.f32 (.f32 v (.f32 u u)) (/.f32 (.f32 v (*.f32 u u)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2))))))))
	0.2b	(+.f32 1 (.f32 (sqrt.f32 v) (.f32 (log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))) (sqrt.f32 v))))
	28.4b	(+.f32 (+.f32 (+.f32 (+.f32 (.f32 4/3 (/.f32 u (.f32 v v))) (.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v)))) (.f32 2 (-.f32 (+.f32 u (/.f32 u v)) (.f32 u (/.f32 u v))))) (.f32 -4 (.f32 (/.f32 u v) (/.f32 u v)))) -1)

Compiler

Compiled 7670 to 5303 computations (30.9% saved)

regimes2.2s (18.9%)

Accuracy

Total 0.1b remaining (67.8%)

Threshold costs 0.1b (67.8%)

Compiler

Compiled 27233 to 19897 computations (26.9% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary32`
4×	`+-commutative_binary32`
2×	`sub-neg_binary32`
1×	`neg-sub0_binary32`
1×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	69
1	28	69
2	32	69
3	34	69
4	35	69
5	34	69

end3.0ms (0%)

Compiler: Compiled 46 to 34 computations (26.1% saved)

sample2.2s (18.3%)

Algorithm

1×

intervals

Results

582.0ms	8000×	body	128	valid
170.0ms	8000×	pre	128	true

Compiler

Compiled 468 to 325 computations (30.6% saved)

Details

analyze298.0ms (2.5%)

sample39.0ms (0.3%)

simplify418.0ms (3.5%)

prune4.0ms (0%)

localize33.0ms (0.3%)

rewrite262.0ms (2.2%)

series424.0ms (3.6%)

simplify131.0ms (1.1%)

prune232.0ms (2%)

localize40.0ms (0.3%)

rewrite180.0ms (1.5%)

series396.0ms (3.4%)

simplify122.0ms (1%)

prune196.0ms (1.7%)

localize52.0ms (0.4%)

rewrite532.0ms (4.5%)

series931.0ms (7.9%)

simplify167.0ms (1.4%)

prune441.0ms (3.7%)

localize64.0ms (0.5%)

rewrite511.0ms (4.3%)

series1.3s (10.7%)

simplify178.0ms (1.5%)

prune501.0ms (4.2%)

regimes2.2s (18.9%)

simplify5.0ms (0%)

end3.0ms (0%)

sample2.2s (18.3%)

Profiling