Details

sample103.0ms

Algorithm

intervals

Results

29.0ms	69×	body	10240	exit
21.0ms	48×	body	1280	valid
17.0ms	330×	body	80	valid
11.0ms	43×	body	640	valid
4.0ms	24×	body	320	valid
1.0ms	10×	body	160	valid

simplify2.2s

Counts

1 → 1

Iterations

Useful iterations: 3 (44.0ms)

Iter	Nodes	Cost
0	19	29
1	46	29
2	122	29
3	335	27
4	933	27
5	4084	27
done	5000	27

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.7b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ (/ 1.0 eps) 1.0) (exp (* (- 1.0 eps) x)))
0.0b	(/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x)))
0.0b	(* (+ 1.0 eps) x)
2.9b	(- (/ (+ (/ 1.0 eps) 1.0) (exp (* (- 1.0 eps) x))) (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))))

rewrite298.0ms

Algorithm

rewrite-expression-head

Rules

66×	`*-un-lft-identity`
60×	`add-sqr-sqrt`
46×	`times-frac`
26×	`add-cube-cbrt`
12×	`difference-of-squares`
11×	`distribute-lft-out--`
10×	`add-cbrt-cube` `associate-/l*`
8×	`add-exp-log`
7×	`distribute-lft-out`
6×	`pow1` `associate-/r*` `add-log-exp`
4×	`associate-l` `associate-/l/`
3×	`associate-r`
2×	`cbrt-undiv` `flip3--` `frac-2neg` `flip3-+` `div-sub` `div-exp` `associate-*l/` `clear-num` `flip--` `flip-+` `div-inv`
1×	`sub-neg` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `frac-sub` `cbrt-unprod` `associate--r-` `unswap-sqr`

Counts

4 → 119

Calls

4 calls:

49.0ms	(/ (+ (/ 1.0 eps) 1.0) (exp (* (- 1.0 eps) x)))
45.0ms	(/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x)))
20.0ms	(* (+ 1.0 eps) x)
179.0ms	(- (/ (+ (/ 1.0 eps) 1.0) (exp (* (- 1.0 eps) x))) (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))))

series312.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(/ (+ (/ 1.0 eps) 1.0) (exp (* (- 1.0 eps) x)))
47.0ms	(/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x)))
28.0ms	(* (+ 1.0 eps) x)
191.0ms	(- (/ (+ (/ 1.0 eps) 1.0) (exp (* (- 1.0 eps) x))) (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))))

simplify945.0ms

Counts

131 → 131

Iterations

Useful iterations: done (940.0ms)

Iter	Nodes	Cost
0	245	2879
1	587	2745
2	1603	2586
done	5001	2545

prune376.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ 2.0 (* (* x x) (- (* 0.6666666666666667 x) 1.0)))
0.0b	(- (* 0.6666666666666667 x) 1.0)
0.0b	(* (* x x) (- (* 0.6666666666666667 x) 1.0))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

8×	`pow1` `add-exp-log` `add-cbrt-cube`
7×	`add-log-exp`
5×	`add-sqr-sqrt` `sub-neg`
4×	`distribute-rgt-in` `add-cube-cbrt` `associate-+r+` `*-un-lft-identity` `distribute-lft-in`
3×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`flip3--` `associate-*r/` `flip--`
1×	`+-commutative` `flip3-+` `diff-log` `associate-l` `sum-log` `*-commutative` `flip-+` `unswap-sqr`

Counts

3 → 52

Calls

3 calls:

8.0ms	(+ 2.0 (* (* x x) (- (* 0.6666666666666667 x) 1.0)))
8.0ms	(- (* 0.6666666666666667 x) 1.0)
41.0ms	(* (* x x) (- (* 0.6666666666666667 x) 1.0))

series158.0ms

Counts

3 → 9

Calls

3 calls:

39.0ms	(+ 2.0 (* (* x x) (- (* 0.6666666666666667 x) 1.0)))
40.0ms	(- (* 0.6666666666666667 x) 1.0)
80.0ms	(* (* x x) (- (* 0.6666666666666667 x) 1.0))

simplify2.1s

Counts

61 → 61

Iterations

Useful iterations: 3 (821.0ms)

Iter	Nodes	Cost
0	89	787
1	242	724
2	825	650
3	3536	648
done	5002	648

prune106.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.4b

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (cbrt (- (* 0.6666666666666667 x) 1.0)) (cbrt (- (* 0.6666666666666667 x) 1.0)))
0.1b	(cbrt (- (* 0.6666666666666667 x) 1.0))
0.1b	(cbrt (- (* 0.6666666666666667 x) 1.0))
0.1b	(cbrt (- (* 0.6666666666666667 x) 1.0))

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3--` `pow1/3` `flip--`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

55.0ms	(* (cbrt (- (* 0.6666666666666667 x) 1.0)) (cbrt (- (* 0.6666666666666667 x) 1.0)))
6.0ms	(cbrt (- (* 0.6666666666666667 x) 1.0))
6.0ms	(cbrt (- (* 0.6666666666666667 x) 1.0))
6.0ms	(cbrt (- (* 0.6666666666666667 x) 1.0))

series558.0ms

Counts

4 → 12

Calls

4 calls:

159.0ms	(* (cbrt (- (* 0.6666666666666667 x) 1.0)) (cbrt (- (* 0.6666666666666667 x) 1.0)))
136.0ms	(cbrt (- (* 0.6666666666666667 x) 1.0))
128.0ms	(cbrt (- (* 0.6666666666666667 x) 1.0))
135.0ms	(cbrt (- (* 0.6666666666666667 x) 1.0))

simplify2.1s

Counts

99 → 99

Iterations

Useful iterations: done (2.1s)

Iter	Nodes	Cost
0	183	2139
1	438	2008
2	1309	1905
3	4765	1623
done	5000	1545

prune298.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.4b

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(cbrt (- (* 0.6666666666666667 x) 1.0))
0.1b	(cbrt (- (* 0.6666666666666667 x) 1.0))
0.1b	(* (cbrt (cbrt (- (* 0.6666666666666667 x) 1.0))) (cbrt (cbrt (- (* 0.6666666666666667 x) 1.0))))
0.2b	(pow (cbrt (cbrt (- (* 0.6666666666666667 x) 1.0))) 4)

rewrite92.0ms

Algorithm

rewrite-expression-head

Rules

69×	`cbrt-prod`
40×	`add-sqr-sqrt`
28×	`cbrt-div`
22×	`add-cube-cbrt` `*-un-lft-identity`
12×	`pow1`
9×	`unpow-prod-down` `pow1/3` `swap-sqr` `associate-r` `associate-l` `unswap-sqr`
8×	`flip3--` `flip--`
7×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow`
2×	`pow-pow` `associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-to-exp` `pow-plus` `pow-exp` `prod-exp` `*-commutative` `cbrt-unprod` `sqr-pow`

Counts

4 → 112

Calls

4 calls:

6.0ms	(cbrt (- (* 0.6666666666666667 x) 1.0))
7.0ms	(cbrt (- (* 0.6666666666666667 x) 1.0))
62.0ms	(* (cbrt (cbrt (- (* 0.6666666666666667 x) 1.0))) (cbrt (cbrt (- (* 0.6666666666666667 x) 1.0))))
13.0ms	(pow (cbrt (cbrt (- (* 0.6666666666666667 x) 1.0))) 4)

series921.0ms

Counts

4 → 12

Calls

4 calls:

331.0ms	(cbrt (- (* 0.6666666666666667 x) 1.0))
130.0ms	(cbrt (- (* 0.6666666666666667 x) 1.0))
191.0ms	(* (cbrt (cbrt (- (* 0.6666666666666667 x) 1.0))) (cbrt (cbrt (- (* 0.6666666666666667 x) 1.0))))
268.0ms	(pow (cbrt (cbrt (- (* 0.6666666666666667 x) 1.0))) 4)

simplify909.0ms

Counts

124 → 124

Iterations

Useful iterations: done (903.0ms)

Iter	Nodes	Cost
0	293	2875
1	683	2569
2	2048	2345
done	5001	2165

prune449.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.4b

regimes78.0ms

Accuracy

96.7% (0.5b remaining)

Error of 0.9b against oracle of 0.4b and baseline of 16.4b

bsearch138.0ms

Steps

Iters	Range		Point
9	1.4733657795017903	2551964808.6153555	15.862342613340287

simplify8.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	38	95
1	53	95
2	55	95
done	55	95

end0.0ms

sample2.9s

Algorithm

intervals

Results

773.0ms	1989×	body	10240	exit
718.0ms	1697×	body	1280	valid
522.0ms	10035×	body	80	valid
311.0ms	1292×	body	640	valid
100.0ms	641×	body	320	valid
37.0ms	320×	body	160	valid