Details

sample97.0ms

Algorithm

intervals

Results

28.0ms	275×	body	80	nan
25.0ms	296×	body	80	valid

simplify3.1s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
5	4493
4	1075
3	279
2	88
1	30
0	15

prune24.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize39.0ms

Local error

Found 3 expressions with local error:

0.0b	(fma b (- a 0.5) x)
0.0b	(- 1 (log t))
0.1b	(fma (- 1 (log t)) z (+ (fma b (- a 0.5) x) y))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

16×	`*-un-lft-identity`
15×	`add-sqr-sqrt`
12×	`prod-diff` `add-cube-cbrt`
7×	`pow1`
4×	`log-pow` `add-log-exp`
3×	`expm1-log1p-u` `log-prod` `add-cbrt-cube` `fma-neg` `add-exp-log` `log1p-expm1-u` `associate--r+`
2×	`fma-udef` `distribute-lft-out--` `difference-of-squares`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

3 → 56

Calls

3 calls:

0.0ms	(fma b (- a 0.5) x)
9.0ms	(- 1 (log t))
1.0ms	(fma (- 1 (log t)) z (+ (fma b (- a 0.5) x) y))

series528.0ms

Counts

3 → 9

Calls

3 calls:

39.0ms	(fma b (- a 0.5) x)
192.0ms	(- 1 (log t))
297.0ms	(fma (- 1 (log t)) z (+ (fma b (- a 0.5) x) y))

simplify1.0s

Counts

65 → 65

Iterations

Iter	Nodes
done	5001
2	761
1	235
0	115

prune545.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize70.0ms

Local error

Found 4 expressions with local error:

0.3b	(- (- (- 1 (log (cbrt t))) (log (cbrt t))) (log (cbrt t)))
0.6b	(cbrt t)
0.6b	(cbrt t)
0.6b	(cbrt t)

rewrite323.0ms

Algorithm

rewrite-expression-head

Rules

162×	`*-un-lft-identity`
104×	`distribute-lft-out--`
100×	`prod-diff`
92×	`log-pow`
76×	`pow1`
74×	`add-sqr-sqrt`
71×	`associate--l+`
45×	`add-cube-cbrt`
23×	`pow1/3`
17×	`difference-of-squares`
12×	`cbrt-prod`
10×	`fma-neg`
7×	`add-log-exp`
6×	`log-prod` `diff-log` `associate--r+`
4×	`expm1-log1p-u` `add-cbrt-cube` `add-exp-log` `log1p-expm1-u`
3×	`sub-neg`
1×	`associate--l-` `flip3--` `flip--`

Counts

4 → 191

Calls

4 calls:

312.0ms	(- (- (- 1 (log (cbrt t))) (log (cbrt t))) (log (cbrt t)))
1.0ms	(cbrt t)
1.0ms	(cbrt t)
1.0ms	(cbrt t)

series1.0s

Counts

4 → 12

Calls

4 calls:

353.0ms	(- (- (- 1 (log (cbrt t))) (log (cbrt t))) (log (cbrt t)))
236.0ms	(cbrt t)
195.0ms	(cbrt t)
220.0ms	(cbrt t)

simplify2.4s

Counts

203 → 203

Iterations

Iter	Nodes
done	5000
2	1655
1	328
0	134

prune1.4s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize87.0ms

Local error

Found 4 expressions with local error:

0.2b	(- (- 1 (fma 2/3 (log t) (log (sqrt (cbrt t))))) (log (sqrt (cbrt t))))
0.3b	(fma 2/3 (log t) (log (sqrt (cbrt t))))
0.6b	(cbrt t)
0.6b	(cbrt t)

rewrite101.0ms

Algorithm

rewrite-expression-head

Rules

61×	`*-un-lft-identity`
55×	`add-sqr-sqrt`
51×	`prod-diff`
29×	`add-cube-cbrt`
26×	`log-pow`
18×	`pow1`
17×	`difference-of-squares`
14×	`distribute-lft-out--`
12×	`sqrt-pow1`
11×	`associate--l+`
9×	`cbrt-prod` `log-prod` `associate--r+`
8×	`pow1/3`
7×	`add-log-exp`
6×	`pow1/2` `fma-neg` `sqrt-prod`
4×	`expm1-log1p-u` `add-cbrt-cube` `add-exp-log` `log1p-expm1-u`
3×	`diff-log`
2×	`sub-neg`
1×	`associate--l-` `flip3--` `fma-udef` `flip--`

Counts

4 → 125

Calls

4 calls:

89.0ms	(- (- 1 (fma 2/3 (log t) (log (sqrt (cbrt t))))) (log (sqrt (cbrt t))))
1.0ms	(fma 2/3 (log t) (log (sqrt (cbrt t))))
1.0ms	(cbrt t)
2.0ms	(cbrt t)

series2.2s

Counts

4 → 12

Calls

4 calls:

1.0s	(- (- 1 (fma 2/3 (log t) (log (sqrt (cbrt t))))) (log (sqrt (cbrt t))))
638.0ms	(fma 2/3 (log t) (log (sqrt (cbrt t))))
297.0ms	(cbrt t)
296.0ms	(cbrt t)

simplify2.3s

Counts

137 → 137

Iterations

Iter	Nodes
done	5000
2	1638
1	452
0	205

prune1.2s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize93.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (sqrt (cbrt t)))
0.6b	(cbrt t)
0.6b	(cbrt t)
0.6b	(cbrt t)

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

21×	`cbrt-prod`
10×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`sqrt-prod`
4×	`expm1-log1p-u` `pow1` `add-cbrt-cube` `pow1/3` `add-exp-log` `log1p-expm1-u` `add-log-exp`

Counts

4 → 58

Calls

4 calls:

2.0ms	(cbrt (sqrt (cbrt t)))
1.0ms	(cbrt t)
1.0ms	(cbrt t)
1.0ms	(cbrt t)

series1.2s

Counts

4 → 12

Calls

4 calls:

353.0ms	(cbrt (sqrt (cbrt t)))
282.0ms	(cbrt t)
277.0ms	(cbrt t)
266.0ms	(cbrt t)

simplify1.1s

Counts

70 → 70

Iterations

Iter	Nodes
done	5000
4	1692
3	612
2	207
1	95
0	59

prune935.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes1.5s

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations

Iter	Nodes
done	23
1	23
0	20

end0.0ms

sample3.1s

Algorithm

intervals

Results

1.4s	9160×	body	80	valid
780.0ms	9255×	body	80	nan
0.0ms	1×	body	640	valid