Details

sample69.0ms

Algorithm

intervals

Results

24.0ms	257×	body	80	valid
23.0ms	280×	body	80	nan

simplify3.0s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
38	4976
37	4797
36	4674
35	4495
34	4372
33	4193
32	4070
31	3889
30	3766
29	3585
28	3462
27	3283
26	3160
25	2980
24	2857
23	2677
22	2554
21	2375
20	2252
19	2073
18	1950
17	1771
16	1648
15	1469
14	1346
13	1180
12	948
11	602
10	359
9	234
8	162
7	127
6	105
5	73
4	45
3	25
2	18
1	14
0	7

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.0b

localize21.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* x (log (/ x y))) z)
0.3b	(* x (log (/ x y)))
11.2b	(log (/ x y))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

65×	`log-prod`
45×	`times-frac`
43×	`add-sqr-sqrt`
41×	`*-un-lft-identity` `add-cube-cbrt`
26×	`distribute-rgt-in` `distribute-lft-in` `associate--l+`
8×	`add-exp-log`
7×	`pow1`
5×	`add-cbrt-cube` `div-inv` `add-log-exp`
4×	`associate-r`
3×	`expm1-log1p-u` `associate-l` `prod-diff` `insert-posit16` `log1p-expm1-u`
2×	`rem-log-exp` `log-pow`
1×	`log-div` `sub-neg` `flip3--` `fma-neg` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip--` `unswap-sqr`

Counts

3 → 120

Calls

3 calls:

10.0ms	(- (* x (log (/ x y))) z)
11.0ms	(* x (log (/ x y)))
4.0ms	(log (/ x y))

series192.0ms

Counts

3 → 9

Calls

3 calls:

91.0ms	(- (* x (log (/ x y))) z)
59.0ms	(* x (log (/ x y)))
42.0ms	(log (/ x y))

simplify2.9s

Counts

129 → 129

Iterations

Iter	Nodes
done	5012
3	3162
2	1012
1	455
0	218

prune654.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt y)
0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `pow1/3` `add-exp-log` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Counts

4 → 56

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt x)
5.0ms	(cbrt x)
1.0ms	(cbrt x)

series959.0ms

Counts

4 → 12

Calls

4 calls:

295.0ms	(cbrt y)
245.0ms	(cbrt x)
222.0ms	(cbrt x)
198.0ms	(cbrt x)

simplify1.6s

Counts

68 → 68

Iterations

Iter	Nodes
done	5024
5	2489
4	844
3	362
2	176
1	81
0	48

prune560.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize56.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt y)
0.5b	(cbrt y)
0.6b	(+ (* (- x) (log (* (cbrt y) (cbrt y)))) (* x (log (/ x (cbrt y)))))
3.1b	(log (/ x (cbrt y)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

68×	`log-prod`
54×	`times-frac`
45×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
44×	`associate-+r+`
33×	`cbrt-prod`
23×	`distribute-rgt-in` `distribute-lft-in`
7×	`add-exp-log`
6×	`add-log-exp`
5×	`pow1`
4×	`expm1-log1p-u` `add-cbrt-cube` `insert-posit16` `log1p-expm1-u`
3×	`div-inv`
2×	`associate-+l+` `pow1/3` `rem-log-exp`
1×	`+-commutative` `log-div` `sum-log` `fma-def` `flip3-+` `div-exp` `log-pow` `flip-+`

Counts

4 → 125

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
26.0ms	(+ (* (- x) (log (* (cbrt y) (cbrt y)))) (* x (log (/ x (cbrt y)))))
4.0ms	(log (/ x (cbrt y)))

series968.0ms

Counts

4 → 12

Calls

4 calls:

214.0ms	(cbrt y)
212.0ms	(cbrt y)
355.0ms	(+ (* (- x) (log (* (cbrt y) (cbrt y)))) (* x (log (/ x (cbrt y)))))
187.0ms	(log (/ x (cbrt y)))

simplify3.5s

Counts

137 → 137

Iterations

Iter	Nodes
done	5000
3	4553
2	1413
1	596
0	266

prune940.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize62.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt y)
0.6b	(cbrt (* (cbrt y) (cbrt y)))
0.6b	(+ (* (- x) (log (* (cbrt y) (cbrt y)))) (* x (+ (- (log (cbrt (* (cbrt y) (cbrt y))))) (log (/ x (cbrt (cbrt y)))))))
0.6b	(cbrt (cbrt y))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

13×	`cbrt-prod`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`add-log-exp`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `add-exp-log` `insert-posit16` `log1p-expm1-u`
3×	`pow1/3`
2×	`distribute-rgt-in` `associate-+l+` `associate-+r+` `log-prod` `distribute-lft-in`
1×	`+-commutative` `sum-log` `fma-def` `flip3-+` `flip-+`

Counts

4 → 62

Calls

4 calls:

1.0ms	(cbrt y)
15.0ms	(cbrt (* (cbrt y) (cbrt y)))
24.0ms	(+ (* (- x) (log (* (cbrt y) (cbrt y)))) (* x (+ (- (log (cbrt (* (cbrt y) (cbrt y))))) (log (/ x (cbrt (cbrt y)))))))
1.0ms	(cbrt (cbrt y))

series1.7s

Counts

4 → 12

Calls

4 calls:

273.0ms	(cbrt y)
423.0ms	(cbrt (* (cbrt y) (cbrt y)))
652.0ms	(+ (* (- x) (log (* (cbrt y) (cbrt y)))) (* x (+ (- (log (cbrt (* (cbrt y) (cbrt y))))) (log (/ x (cbrt (cbrt y)))))))
361.0ms	(cbrt (cbrt y))

simplify2.2s

Counts

74 → 74

Iterations

Iter	Nodes
done	5000
2	1288
1	379
0	150

prune562.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes310.0ms

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify3.0ms

Iterations

Iter	Nodes
done	15
1	15
0	12

end0.0ms

sample2.2s

Algorithm

intervals

Results

732.0ms	8027×	body	80	valid
619.0ms	7835×	body	80	nan