Details

sample106.0ms

Algorithm

intervals

Results

24.0ms	46×	body	10240	exit
22.0ms	44×	body	1280	valid
18.0ms	53×	body	640	valid
7.0ms	110×	body	80	valid
5.0ms	25×	body	320	valid
3.0ms	81×	body	80	nan
2.0ms	23×	body	160	valid
2.0ms	1×	body	2560	valid
2.0ms	10×	body	640	nan
1.0ms	5×	body	1280	nan
1.0ms	4×	body	320	nan
0.0ms	2×	body	160	nan

simplify285.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	13
1	20	13
2	33	13
3	47	13
4	67	13
5	89	13
6	111	13
7	146	13
8	179	13
9	232	13
10	383	13
11	422	13
done	422	13

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.6b

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.0b	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
2.5b	(log (+ (- 1.0 y) (* y (exp z))))
5.1b	(+ (- 1.0 y) (* y (exp z)))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
16×	`add-cube-cbrt` `*-un-lft-identity`
12×	`times-frac`
11×	`pow1`
9×	`add-log-exp`
8×	`add-exp-log` `add-cbrt-cube`
5×	`log-pow`
4×	`log-div` `associate-/l*`
3×	`log-prod` `flip3-+` `associate-r` `associate-l` `associate-/r*` `flip-+`
2×	`associate-+l+` `div-sub` `sum-log`
1×	`cbrt-undiv` `+-commutative` `associate-+l-` `sub-neg` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

4 → 80

Calls

4 calls:

5.0ms	(* y (exp z))
24.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
8.0ms	(log (+ (- 1.0 y) (* y (exp z))))
13.0ms	(+ (- 1.0 y) (* y (exp z)))

series331.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* y (exp z))
179.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
85.0ms	(log (+ (- 1.0 y) (* y (exp z))))
41.0ms	(+ (- 1.0 y) (* y (exp z)))

simplify1.8s

Counts

92 → 92

Iterations

Useful iterations: 3 (825.0ms)

Iter	Nodes	Cost
0	203	1436
1	449	1388
2	1279	1269
3	4161	1266
done	5000	1266

prune294.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 4.6b

localize17.0ms

Local error

Found 4 expressions with local error:

4.4b	(/ (* z y) t)
5.0b	(/ (* (pow z 2) y) t)
5.3b	(+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
8.5b	(* (pow z 2) y)

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-exp-log`
17×	`add-sqr-sqrt`
16×	`add-cbrt-cube`
11×	`add-cube-cbrt` `*-un-lft-identity`
9×	`add-log-exp`
8×	`associate-l`
7×	`prod-exp`
6×	`times-frac` `div-exp` `associate-/r*`
4×	`pow1` `cbrt-undiv` `unpow-prod-down` `associate-*r/` `frac-add` `unswap-sqr`
3×	`associate-r` `sum-log` `cbrt-unprod`
2×	`pow-to-exp` `frac-2neg` `flip3-+` `pow-exp` `clear-num` `flip-+` `div-inv` `associate-/l*` `unpow2` `sqr-pow`
1×	`+-commutative` `associate-+r+` `*-commutative`

Counts

4 → 87

Calls

4 calls:

3.0ms	(/ (* z y) t)
4.0ms	(/ (* (pow z 2) y) t)
32.0ms	(+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
6.0ms	(* (pow z 2) y)

series165.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(/ (* z y) t)
22.0ms	(/ (* (pow z 2) y) t)
100.0ms	(+ (* 1.0 (/ (* z y) t)) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
21.0ms	(* (pow z 2) y)

simplify858.0ms

Counts

99 → 99

Iterations

Useful iterations: 2 (302.0ms)

Iter	Nodes	Cost
0	171	1403
1	494	1310
2	2011	1169
done	5000	1169

prune339.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 4.5b

localize22.0ms

Local error

Found 4 expressions with local error:

4.4b	(* (* z y) (/ 1 t))
5.0b	(/ (* (pow z 2) y) t)
5.3b	(+ (* 1.0 (* (* z y) (/ 1 t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
8.5b	(* (pow z 2) y)

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-exp-log`
23×	`add-cbrt-cube`
22×	`add-sqr-sqrt`
18×	`prod-exp`
16×	`add-cube-cbrt` `-un-lft-identity` `associate-r*`
12×	`times-frac` `associate-*r/`
9×	`pow1` `associate-l` `add-log-exp`
8×	`div-exp` `frac-add` `cbrt-unprod`
4×	`cbrt-undiv` `unpow-prod-down` `un-div-inv` `unswap-sqr`
3×	`flip3-+` `pow-prod-down` `associate-/r*` `sum-log` `flip-+`
2×	`pow-to-exp` `rec-exp` `1-exp` `pow-exp` `*-commutative` `div-inv` `unpow2` `sqr-pow`
1×	`+-commutative` `associate-+r+` `frac-2neg` `clear-num` `associate-/l*`

Counts

4 → 107

Calls

4 calls:

13.0ms	(* (* z y) (/ 1 t))
4.0ms	(/ (* (pow z 2) y) t)
43.0ms	(+ (* 1.0 (* (* z y) (/ 1 t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
6.0ms	(* (pow z 2) y)

series163.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(* (* z y) (/ 1 t))
22.0ms	(/ (* (pow z 2) y) t)
99.0ms	(+ (* 1.0 (* (* z y) (/ 1 t))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
20.0ms	(* (pow z 2) y)

simplify1.0s

Counts

119 → 119

Iterations

Useful iterations: 2 (375.0ms)

Iter	Nodes	Cost
0	220	1890
1	672	1631
2	2512	1450
done	5001	1450

prune384.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 4.5b

localize22.0ms

Local error

Found 4 expressions with local error:

3.5b	(* (* z y) (* (cbrt (/ 1 t)) (cbrt (/ 1 t))))
5.0b	(/ (* (pow z 2) y) t)
5.3b	(+ (* 1.0 (* (* (* z y) (* (cbrt (/ 1 t)) (cbrt (/ 1 t)))) (cbrt (/ 1 t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
8.5b	(* (pow z 2) y)

rewrite290.0ms

Algorithm

rewrite-expression-head

Rules

59×	`associate-*r/`
40×	`cbrt-div`
31×	`add-exp-log`
28×	`frac-add`
19×	`add-cbrt-cube`
16×	`pow1` `frac-times` `associate-*l/`
15×	`add-sqr-sqrt`
14×	`prod-exp`
10×	`cbrt-unprod`
9×	`add-cube-cbrt` `-un-lft-identity` `associate-l*` `add-log-exp`
8×	`flip3-+` `pow-prod-down` `flip-+`
4×	`unpow-prod-down` `div-exp` `associate-r` `unswap-sqr`
3×	`times-frac` `associate-/r*` `sum-log`
2×	`cbrt-undiv` `pow-to-exp` `pow-exp` `*-commutative` `unpow2` `sqr-pow`
1×	`+-commutative` `associate-+r+` `frac-2neg` `clear-num` `div-inv` `associate-/l*`

Counts

4 → 109

Calls

4 calls:

21.0ms	(* (* z y) (* (cbrt (/ 1 t)) (cbrt (/ 1 t))))
4.0ms	(/ (* (pow z 2) y) t)
254.0ms	(+ (* 1.0 (* (* (* z y) (* (cbrt (/ 1 t)) (cbrt (/ 1 t)))) (cbrt (/ 1 t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
6.0ms	(* (pow z 2) y)

series285.0ms

Counts

4 → 12

Calls

4 calls:

115.0ms	(* (* z y) (* (cbrt (/ 1 t)) (cbrt (/ 1 t))))
21.0ms	(/ (* (pow z 2) y) t)
128.0ms	(+ (* 1.0 (* (* (* z y) (* (cbrt (/ 1 t)) (cbrt (/ 1 t)))) (cbrt (/ 1 t)))) (+ (/ (log 1.0) t) (* 0.5 (/ (* (pow z 2) y) t))))
21.0ms	(* (pow z 2) y)

simplify1.6s

Counts

121 → 121

Iterations

Useful iterations: done (1.6s)

Iter	Nodes	Cost
0	260	3612
1	824	3355
2	3260	2878
done	5000	2874

prune410.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 4.5b

regimes696.0ms

Accuracy

71.1% (5.0b remaining)

Error of 8.8b against oracle of 3.8b and baseline of 21.2b

bsearch258.0ms

Steps

Iters	Range		Point
10	5.595112303613655e-18	3.1829129060004216e-05	1.4286153485566265e-08
6	8.075171960992006e-125	4.005351970408988e-124	1.9140204121911595e-124
8	-0.027284897573252434	-1.1893147564346013e-06	-0.0002414644961119137

simplify6.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	58	161
1	77	161
done	77	161

end0.0ms

sample3.3s

Algorithm

intervals

Results

827.0ms	1619×	body	10240	exit
788.0ms	1457×	body	1280	valid
453.0ms	1531×	body	640	valid
227.0ms	3529×	body	80	valid
179.0ms	928×	body	320	valid
105.0ms	83×	body	2560	valid
97.0ms	2516×	body	80	nan
63.0ms	298×	body	640	nan
57.0ms	504×	body	160	valid
38.0ms	129×	body	1280	nan
27.0ms	181×	body	320	nan
8.0ms	96×	body	160	nan