Details

analyze291.0ms (1.8%)

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)

sample41.0ms (0.3%)

Algorithm

1×

intervals

Results

19.0ms	256×	body	128	valid
6.0ms	256×	pre	128	true

Compiler

Compiled 45 to 35 computations (22.2% saved)

simplify414.0ms (2.6%)

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

prune3.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.1b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.1b	(+.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)

localize37.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))
0.0b	(+.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.3b	(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))))))

rewrite206.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`add-sqr-sqrt_binary32`
18×	`add-cube-cbrt_binary32` `*-un-lft-identity_binary32`
15×	`log-prod_binary32`
13×	`exp-prod_binary32`
9×	`times-frac_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)

series411.0ms (2.5%)

Error

0.0b

Counts

4 → 64

Calls

4 calls:

98.0ms	(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))))))
98.0ms	(+.f32 1 (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
87.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)

simplify127.0ms (0.8%)

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

prune231.0ms (1.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	108	5	113
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	109	5	114

Error

0.0b

Counts

114 → 5

Alt Table

Status	Error	Program
	30.1b	(-.f32 (+.f32 (.f32 2/3 (/.f32 u (pow.f32 v 3))) (+.f32 (.f32 4/3 (/.f32 u (.f32 v v))) (+.f32 (.f32 2 (+.f32 u (/.f32 u v))) (+.f32 (.f32 8 (pow.f32 (/.f32 u v) 3)) (.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v))))))) (+.f32 (.f32 2 (.f32 u (/.f32 u v))) (+.f32 (.f32 14/3 (/.f32 (.f32 u u) (pow.f32 v 3))) (+.f32 1 (.f32 4 (+.f32 (*.f32 (/.f32 u v) (/.f32 u v)) (/.f32 (pow.f32 u 4) (pow.f32 v 3))))))))
▶	0.1b	(+.f32 1 (.f32 v (-.f32 (log.f32 (+.f32 (pow.f32 u 3) (pow.f32 (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) 3))) (log.f32 (+.f32 (.f32 u u) (.f32 (exp.f32 (/.f32 -2 v)) (.f32 (-.f32 1 u) (-.f32 (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) u))))))))
	0.1b	(+.f32 (+.f32 1 (.f32 v (.f32 2 (log.f32 (cbrt.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))))) (.f32 (log.f32 (cbrt.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))) v))
	0.2b	(/.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)))))))
	0.2b	(/.f32 (+.f32 1 (pow.f32 (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))) 3)) (+.f32 1 (.f32 v (.f32 (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))) (+.f32 (.f32 v (log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))) -1)))))

Compiler

Compiled 3203 to 2206 computations (31.1% saved)

localize79.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite841.0ms (5.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

39×	`*-un-lft-identity_binary32`
33×	`add-sqr-sqrt_binary32`
32×	`distribute-rgt-in_binary32` `distribute-lft-in_binary32`
31×	`associate--l+_binary32`
30×	`cancel-sign-sub-inv_binary32`

Counts

4 → 148

Calls

4 calls:

21.0ms	(.f32 v (-.f32 (log.f32 (+.f32 (pow.f32 u 3) (pow.f32 (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) 3))) (log.f32 (+.f32 (.f32 u u) (.f32 (exp.f32 (/.f32 -2 v)) (.f32 (-.f32 1 u) (-.f32 (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) u)))))))
20.0ms	(.f32 (-.f32 1 u) (-.f32 (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) u))
18.0ms	(-.f32 (log.f32 (+.f32 (pow.f32 u 3) (pow.f32 (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) 3))) (log.f32 (+.f32 (.f32 u u) (.f32 (exp.f32 (/.f32 -2 v)) (.f32 (-.f32 1 u) (-.f32 (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) u))))))
4.0ms	(log.f32 (+.f32 (.f32 u u) (.f32 (exp.f32 (/.f32 -2 v)) (.f32 (-.f32 1 u) (-.f32 (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) u)))))

Compiler

Compiled 9048 to 6532 computations (27.8% saved)

series4.0s (24.7%)

Error

0.0b

Counts

4 → 71

Calls

4 calls:

1.5s	(.f32 v (-.f32 (log.f32 (+.f32 (pow.f32 u 3) (pow.f32 (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) 3))) (log.f32 (+.f32 (.f32 u u) (.f32 (exp.f32 (/.f32 -2 v)) (.f32 (-.f32 1 u) (-.f32 (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) u)))))))
1.2s	(-.f32 (log.f32 (+.f32 (pow.f32 u 3) (pow.f32 (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) 3))) (log.f32 (+.f32 (.f32 u u) (.f32 (exp.f32 (/.f32 -2 v)) (.f32 (-.f32 1 u) (-.f32 (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) u))))))
356.0ms	(log.f32 (+.f32 (.f32 u u) (.f32 (exp.f32 (/.f32 -2 v)) (.f32 (-.f32 1 u) (-.f32 (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) u)))))
112.0ms	(.f32 (-.f32 1 u) (-.f32 (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) u))

Compiler

Compiled 34217 to 28246 computations (17.5% saved)

simplify469.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

620×	`+-commutative_binary32`
539×	`associate-+r+_binary32`
359×	`*-commutative_binary32`
226×	`sub-neg_binary32`
208×	`associate-*r/_binary32`

Counts

219 → 154

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1495	33656
1	4570	33097
2	4963	33097

prune1.4s (8.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	154	0	154
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	154	5	159

Error

0.0b

Counts

159 → 5

Alt Table

Status	Error	Program
	30.1b	(-.f32 (+.f32 (.f32 2/3 (/.f32 u (pow.f32 v 3))) (+.f32 (.f32 4/3 (/.f32 u (.f32 v v))) (+.f32 (.f32 2 (+.f32 u (/.f32 u v))) (+.f32 (.f32 8 (pow.f32 (/.f32 u v) 3)) (.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v))))))) (+.f32 (.f32 2 (.f32 u (/.f32 u v))) (+.f32 (.f32 14/3 (/.f32 (.f32 u u) (pow.f32 v 3))) (+.f32 1 (.f32 4 (+.f32 (*.f32 (/.f32 u v) (/.f32 u v)) (/.f32 (pow.f32 u 4) (pow.f32 v 3))))))))
✓	0.1b	(+.f32 1 (.f32 v (-.f32 (log.f32 (+.f32 (pow.f32 u 3) (pow.f32 (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) 3))) (log.f32 (+.f32 (.f32 u u) (.f32 (exp.f32 (/.f32 -2 v)) (.f32 (-.f32 1 u) (-.f32 (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) u))))))))
▶	0.1b	(+.f32 (+.f32 1 (.f32 v (.f32 2 (log.f32 (cbrt.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))))) (.f32 (log.f32 (cbrt.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))) v))
	0.2b	(/.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)))))))
	0.2b	(/.f32 (+.f32 1 (pow.f32 (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))) 3)) (+.f32 1 (.f32 v (.f32 (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))) (+.f32 (.f32 v (log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))) -1)))))

Compiler

Compiled 18216 to 13030 computations (28.5% saved)

localize73.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite465.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

36×	`log-prod_binary32`
24×	`distribute-rgt-in_binary32` `distribute-lft-in_binary32`
21×	`add-sqr-sqrt_binary32`
19×	`add-cube-cbrt_binary32` `*-un-lft-identity_binary32`
18×	`cbrt-prod_binary32`

Counts

4 → 98

Calls

4 calls:

8.0ms	(.f32 v (.f32 2 (log.f32 (cbrt.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))))
4.0ms	(.f32 (log.f32 (cbrt.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))) v)
4.0ms	(log.f32 (cbrt.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))))))
3.0ms	(log.f32 (cbrt.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))

Compiler

Compiled 4260 to 3253 computations (23.6% saved)

series813.0ms (5%)

Error

0.0b

Counts

4 → 72

Calls

4 calls:

159.0ms	(.f32 v (.f32 2 (log.f32 (cbrt.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))))
153.0ms	(.f32 (log.f32 (cbrt.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))) v)
142.0ms	(log.f32 (cbrt.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))
141.0ms	(log.f32 (cbrt.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))))))

Compiler

Compiled 8442 to 6660 computations (21.1% saved)

simplify225.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

394×	`sub-neg_binary32`
271×	`associate-r_binary32`
253×	`+-commutative_binary32`
228×	`*-commutative_binary32`
222×	`associate-+r+_binary32`

Counts

170 → 142

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	466	8044
1	1217	7403
2	4377	7241
3	4956	7241
4	4960	7241

prune428.0ms (2.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	140	2	142
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	140	7	147

Error

0.0b

Counts

147 → 7

Alt Table

Status	Error	Program
	0.1b	(+.f32 (+.f32 1 (.f32 v (.f32 2 (+.f32 (.f32 2 (log.f32 (cbrt.f32 (cbrt.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))))) (log.f32 (cbrt.f32 (cbrt.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))))))) (.f32 (log.f32 (cbrt.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))) v))
▶	0.1b	(+.f32 (+.f32 1 (.f32 v (.f32 2 (log.f32 (cbrt.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))))) (.f32 (+.f32 (log.f32 (cbrt.f32 (sqrt.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))) (log.f32 (cbrt.f32 (sqrt.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))))) v))
	30.1b	(-.f32 (+.f32 (.f32 2/3 (/.f32 u (pow.f32 v 3))) (+.f32 (.f32 4/3 (/.f32 u (.f32 v v))) (+.f32 (.f32 2 (+.f32 u (/.f32 u v))) (+.f32 (.f32 8 (pow.f32 (/.f32 u v) 3)) (.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v))))))) (+.f32 (.f32 2 (.f32 u (/.f32 u v))) (+.f32 (.f32 14/3 (/.f32 (.f32 u u) (pow.f32 v 3))) (+.f32 1 (.f32 4 (+.f32 (*.f32 (/.f32 u v) (/.f32 u v)) (/.f32 (pow.f32 u 4) (pow.f32 v 3))))))))
✓	0.1b	(+.f32 1 (.f32 v (-.f32 (log.f32 (+.f32 (pow.f32 u 3) (pow.f32 (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) 3))) (log.f32 (+.f32 (.f32 u u) (.f32 (exp.f32 (/.f32 -2 v)) (.f32 (-.f32 1 u) (-.f32 (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) u))))))))
✓	0.1b	(+.f32 (+.f32 1 (.f32 v (.f32 2 (log.f32 (cbrt.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))))) (.f32 (log.f32 (cbrt.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))) v))
	0.2b	(/.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)))))))
	0.2b	(/.f32 (+.f32 1 (pow.f32 (.f32 v (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))) 3)) (+.f32 1 (.f32 v (.f32 (log.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))) (+.f32 (.f32 v (log.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))) -1)))))

Compiler

Compiled 5879 to 4251 computations (27.7% saved)

localize75.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite572.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

48×	`log-prod_binary32`
27×	`cbrt-prod_binary32`
24×	`distribute-rgt-in_binary32` `distribute-lft-in_binary32`
21×	`add-cube-cbrt_binary32` `add-sqr-sqrt_binary32` `*-un-lft-identity_binary32`
12×	`pow1_binary32` `add-exp-log_binary32`

Counts

4 → 102

Calls

4 calls:

8.0ms	(.f32 v (.f32 2 (log.f32 (cbrt.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))))
4.0ms	(log.f32 (cbrt.f32 (sqrt.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))))
4.0ms	(log.f32 (cbrt.f32 (sqrt.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))))
3.0ms	(log.f32 (cbrt.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))

Compiler

Compiled 5866 to 4552 computations (22.4% saved)

series949.0ms (5.9%)

Error

0.0b

Counts

4 → 72

Calls

4 calls:

178.0ms	(.f32 v (.f32 2 (log.f32 (cbrt.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))))
161.0ms	(log.f32 (cbrt.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))
160.0ms	(log.f32 (cbrt.f32 (sqrt.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))))
160.0ms	(log.f32 (cbrt.f32 (sqrt.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))))

Compiler

Compiled 10608 to 8403 computations (20.8% saved)

simplify234.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

393×	`sub-neg_binary32`
246×	`+-commutative_binary32`
222×	`associate-+r+_binary32`
218×	`associate-r_binary32` `*-commutative_binary32`
199×	`times-frac_binary32`

Counts

174 → 135

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	465	8462
1	1236	7812
2	4358	7550
3	4907	7550
4	4970	7550

prune466.0ms (2.9%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	134	1	135
Fresh	1	3	4
Picked	1	0	1
Done	0	2	2
Total	136	6	142

Error

0.0b

Counts

142 → 6

Alt Table

Status	Error	Program
	0.1b	(+.f32 (+.f32 1 (log.f32 (pow.f32 (cbrt.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))) (.f32 v 2)))) (.f32 (+.f32 (log.f32 (cbrt.f32 (sqrt.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))) (log.f32 (cbrt.f32 (sqrt.f32 (+.f32 u (*.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))))) v))
	0.1b	(+.f32 (+.f32 1 (.f32 v (.f32 2 (+.f32 (.f32 2 (log.f32 (cbrt.f32 (cbrt.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u))))))) (log.f32 (cbrt.f32 (cbrt.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))))))) (.f32 (log.f32 (cbrt.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))) v))
	30.1b	(-.f32 (+.f32 (.f32 2/3 (/.f32 u (pow.f32 v 3))) (+.f32 (.f32 4/3 (/.f32 u (.f32 v v))) (+.f32 (.f32 2 (+.f32 u (/.f32 u v))) (+.f32 (.f32 8 (pow.f32 (/.f32 u v) 3)) (.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v))))))) (+.f32 (.f32 2 (.f32 u (/.f32 u v))) (+.f32 (.f32 14/3 (/.f32 (.f32 u u) (pow.f32 v 3))) (+.f32 1 (.f32 4 (+.f32 (*.f32 (/.f32 u v) (/.f32 u v)) (/.f32 (pow.f32 u 4) (pow.f32 v 3))))))))
	0.1b	(+.f32 1 (.f32 v (-.f32 (log.f32 (+.f32 (pow.f32 u 3) (pow.f32 (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) 3))) (log.f32 (+.f32 (.f32 u u) (.f32 (exp.f32 (/.f32 -2 v)) (.f32 (-.f32 1 u) (-.f32 (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)) u))))))))
	0.1b	(+.f32 (+.f32 1 (.f32 v (.f32 2 (log.f32 (cbrt.f32 (+.f32 u (.f32 (exp.f32 (/.f32 -2 v)) (-.f32 1 u)))))))) (.f32 (log.f32 (cbrt.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))) v))
	0.2b	(/.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)))))))

Compiler

Compiled 6467 to 4779 computations (26.1% saved)

regimes1.4s (8.6%)

Accuracy

Total 0.1b remaining (71.4%)

Threshold costs 0.1b (71.4%)

Compiler

Compiled 16845 to 12841 computations (23.8% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	46
1	23	46
2	27	46
3	29	46
4	30	46
5	29	46

end4.0ms (0%)

Compiler: Compiled 31 to 24 computations (22.6% saved)

sample1.9s (11.7%)

Algorithm

1×

intervals

Results

602.0ms	8000×	body	128	valid
179.0ms	8000×	pre	128	true

Compiler

Compiled 370 to 274 computations (25.9% saved)

Details

analyze291.0ms (1.8%)

sample41.0ms (0.3%)

simplify414.0ms (2.6%)

prune3.0ms (0%)

localize37.0ms (0.2%)

rewrite206.0ms (1.3%)

series411.0ms (2.5%)

simplify127.0ms (0.8%)

prune231.0ms (1.4%)

localize79.0ms (0.5%)

rewrite841.0ms (5.2%)

series4.0s (24.7%)

simplify469.0ms (2.9%)

prune1.4s (8.9%)

localize73.0ms (0.4%)

rewrite465.0ms (2.9%)

series813.0ms (5%)

simplify225.0ms (1.4%)

prune428.0ms (2.6%)

localize75.0ms (0.5%)

rewrite572.0ms (3.5%)

series949.0ms (5.9%)

simplify234.0ms (1.4%)

prune466.0ms (2.9%)

regimes1.4s (8.6%)

simplify4.0ms (0%)

end4.0ms (0%)

sample1.9s (11.7%)

Profiling