Details

sample145.0ms

Algorithm

intervals

Results

29.0ms	46×	body	1280	valid
29.0ms	37×	body	10240	exit
23.0ms	62×	body	640	valid
9.0ms	110×	body	80	valid
6.0ms	25×	body	320	valid
5.0ms	80×	body	80	nan
4.0ms	14×	body	640	nan
3.0ms	1×	body	2560	valid
2.0ms	14×	body	160	valid
1.0ms	6×	body	320	nan
1.0ms	3×	body	1280	nan
0.0ms	4×	body	160	nan

simplify2.9s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
7	3550
6	735
5	195
4	73
3	48
2	33
1	20
0	12

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.7b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.0b	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
1.1b	(log (+ (- 1.0 y) (* y (exp z))))
3.4b	(+ (- 1.0 y) (* y (exp z)))

rewrite133.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 80

Calls

4 calls:

18.0ms	(* y (exp z))
55.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
28.0ms	(log (+ (- 1.0 y) (* y (exp z))))
29.0ms	(+ (- 1.0 y) (* y (exp z)))

series528.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(* y (exp z))
271.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
160.0ms	(log (+ (- 1.0 y) (* y (exp z))))
50.0ms	(+ (- 1.0 y) (* y (exp z)))

simplify1.3s

Counts

92 → 92

Iterations

Iter	Nodes
done	5000
2	1816
1	464
0	197

prune704.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 6.0b

localize49.0ms

Local error

Found 4 expressions with local error:

4.0b	(+ (+ (* (/ (* y z) t) 1.0) (/ (log 1.0) t)) (/ (* y (* z z)) (/ t 0.5)))
4.1b	(/ (* y z) t)
5.7b	(* y (* z z))
7.3b	(/ (* y (* z z)) (/ t 0.5))

rewrite259.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-cbrt-cube` `add-exp-log`
34×	`times-frac`
23×	`*-un-lft-identity`
22×	`add-sqr-sqrt`
21×	`add-cube-cbrt`
16×	`associate-/r*`
11×	`cbrt-undiv` `div-exp`
10×	`prod-exp` `cbrt-unprod`
9×	`pow1` `add-log-exp`
4×	`frac-add` `div-inv`
3×	`sum-log` `associate-l` `pow-prod-down`
2×	`clear-num` `frac-2neg` `flip3-+` `flip-+` `associate-/l*`
1×	`+-commutative` `associate-+l+` `associate-r` `associate-l/` `associate-/r/` `-commutative` `distribute-lft-out` `unswap-sqr`

Counts

4 → 107

Calls

4 calls:

173.0ms	(+ (+ (* (/ (* y z) t) 1.0) (/ (log 1.0) t)) (/ (* y (* z z)) (/ t 0.5)))
15.0ms	(/ (* y z) t)
26.0ms	(* y (* z z))
38.0ms	(/ (* y (* z z)) (/ t 0.5))

series377.0ms

Counts

4 → 12

Calls

4 calls:

210.0ms	(+ (+ (* (/ (* y z) t) 1.0) (/ (log 1.0) t)) (/ (* y (* z z)) (/ t 0.5)))
39.0ms	(/ (* y z) t)
59.0ms	(* y (* z z))
70.0ms	(/ (* y (* z z)) (/ t 0.5))

simplify2.7s

Counts

119 → 119

Iterations

Iter	Nodes
done	5001
2	4627
1	734
0	232

prune844.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 4.9b

localize32.0ms

Local error

Found 4 expressions with local error:

4.0b	(+ (+ (* (* y (/ z t)) 1.0) (/ (log 1.0) t)) (/ (* y (* z z)) (/ t 0.5)))
4.7b	(* y (/ z t))
5.7b	(* y (* z z))
7.3b	(/ (* y (* z z)) (/ t 0.5))

rewrite319.0ms

Algorithm

rewrite-expression-head

Rules

41×	`times-frac`
35×	`add-cbrt-cube` `add-exp-log`
33×	`add-sqr-sqrt`
29×	`*-un-lft-identity`
27×	`add-cube-cbrt`
14×	`associate-r`
13×	`associate-/r*`
11×	`pow1` `prod-exp` `cbrt-unprod`
10×	`cbrt-undiv` `div-exp`
9×	`add-log-exp`
6×	`associate-l`
4×	`pow-prod-down` `frac-add` `div-inv`
3×	`sum-log` `unswap-sqr`
2×	`flip3-+` `associate-r/` `-commutative` `flip-+`
1×	`+-commutative` `associate-+l+` `clear-num` `frac-2neg` `associate-l/` `associate-/r/` `distribute-lft-out` `associate-/l`

Counts

4 → 118

Calls

4 calls:

240.0ms	(+ (+ (* (* y (/ z t)) 1.0) (/ (log 1.0) t)) (/ (* y (* z z)) (/ t 0.5)))
11.0ms	(* y (/ z t))
21.0ms	(* y (* z z))
43.0ms	(/ (* y (* z z)) (/ t 0.5))

series354.0ms

Counts

4 → 12

Calls

4 calls:

182.0ms	(+ (+ (* (* y (/ z t)) 1.0) (/ (log 1.0) t)) (/ (* y (* z z)) (/ t 0.5)))
33.0ms	(* y (/ z t))
47.0ms	(* y (* z z))
91.0ms	(/ (* y (* z z)) (/ t 0.5))

simplify2.9s

Counts

130 → 130

Iterations

Iter	Nodes
done	5000
2	4667
1	787
0	250

prune1.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 4.9b

localize89.0ms

Local error

Found 4 expressions with local error:

3.2b	(* (* y (* (cbrt z) (cbrt z))) (/ (cbrt z) t))
4.0b	(+ (+ (* (* (* y (* (cbrt z) (cbrt z))) (/ (cbrt z) t)) 1.0) (/ (log 1.0) t)) (/ (* y (* z z)) (/ t 0.5)))
5.7b	(* y (* z z))
7.3b	(/ (* y (* z z)) (/ t 0.5))

rewrite2.6s

Algorithm

rewrite-expression-head

Rules

51×	`add-exp-log`
49×	`times-frac`
44×	`add-cbrt-cube`
34×	`*-un-lft-identity`
33×	`add-sqr-sqrt`
32×	`add-cube-cbrt`
23×	`associate-r`
21×	`prod-exp` `cbrt-unprod`
18×	`pow1`
13×	`associate-/r*`
12×	`cbrt-undiv` `div-exp`
9×	`cbrt-prod` `pow-prod-down` `add-log-exp`
4×	`associate-l` `frac-add` `div-inv`
3×	`sum-log`
2×	`flip3-+` `associate-r/` `-commutative` `flip-+`
1×	`+-commutative` `associate-+l+` `clear-num` `frac-2neg` `associate-l/` `associate-/r/` `distribute-lft-out` `associate-/l` `unswap-sqr`

Counts

4 → 133

Calls

4 calls:

87.0ms	(* (* y (* (cbrt z) (cbrt z))) (/ (cbrt z) t))
2.4s	(+ (+ (* (* (* y (* (cbrt z) (cbrt z))) (/ (cbrt z) t)) 1.0) (/ (log 1.0) t)) (/ (* y (* z z)) (/ t 0.5)))
21.0ms	(* y (* z z))
40.0ms	(/ (* y (* z z)) (/ t 0.5))

series406.0ms

Counts

4 → 12

Calls

4 calls:

67.0ms	(* (* y (* (cbrt z) (cbrt z))) (/ (cbrt z) t))
213.0ms	(+ (+ (* (* (* y (* (cbrt z) (cbrt z))) (/ (cbrt z) t)) 1.0) (/ (log 1.0) t)) (/ (* y (* z z)) (/ t 0.5)))
49.0ms	(* y (* z z))
76.0ms	(/ (* y (* z z)) (/ t 0.5))

simplify1.3s

Counts

145 → 145

Iterations

Iter	Nodes
done	5000
1	975
0	293

prune1.2s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 4.9b

regimes923.0ms

Accuracy

74.6% (4.2b remaining)

Error of 8.1b against oracle of 3.9b and baseline of 20.3b

bsearch3.0ms

simplify8.0ms

Iterations

Iter	Nodes
done	39
1	39
0	31

end0.0ms

sample7.6s

Algorithm

intervals

Results

1.8s	1461×	body	1280	valid
1.5s	1538×	body	10240	exit
1.1s	1587×	body	640	valid
737.0ms	913×	body	320	valid
514.0ms	3462×	body	80	valid
238.0ms	104×	body	2560	valid
228.0ms	286×	body	640	nan
182.0ms	2528×	body	80	nan
150.0ms	114×	body	1280	nan
103.0ms	500×	body	160	valid
54.0ms	218×	body	320	nan
16.0ms	95×	body	160	nan