Details

sample147.0ms

Algorithm

intervals

Results

35.0ms	58×	body	10240	exit
23.0ms	91×	body	80	nan
22.0ms	39×	body	1280	valid
16.0ms	50×	body	640	valid
9.0ms	120×	body	80	valid
6.0ms	30×	body	320	valid
3.0ms	12×	body	640	nan
3.0ms	2×	body	2560	valid
2.0ms	17×	body	160	valid
2.0ms	6×	body	1280	nan
1.0ms	4×	body	320	nan
0.0ms	2×	body	160	nan

simplify222.0ms

Counts: 1 → 1

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.1b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite190.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:

21.0ms	(* y (exp z))
76.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
49.0ms	(log (+ (- 1.0 y) (* y (exp z))))
40.0ms	(+ (- 1.0 y) (* y (exp z)))

series416.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* y (exp z))
203.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
126.0ms	(log (+ (- 1.0 y) (* y (exp z))))
62.0ms	(+ (- 1.0 y) (* y (exp z)))

simplify55.0ms

Counts: 92 → 92

prune404.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 4.3b

localize35.0ms

Local error

Found 4 expressions with local error:

0.4b	(cbrt (* y (exp z)))
0.4b	(cbrt (* y (exp z)))
2.4b	(log (+ (- 1.0 y) (* (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z))))))
11.6b	(+ (- 1.0 y) (* (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z)))))

rewrite181.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
5×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-cbrt-cube`
3×	`log-prod`
2×	`cbrt-prod` `log-div` `associate-+l+` `flip3-+` `pow1/3` `sum-log` `flip-+`
1×	`+-commutative` `associate-+l-` `sub-neg` `diff-log` `rem-log-exp` `log-pow`

Counts

4 → 47

Calls

4 calls:

13.0ms	(cbrt (* y (exp z)))
11.0ms	(cbrt (* y (exp z)))
80.0ms	(log (+ (- 1.0 y) (* (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z))))))
76.0ms	(+ (- 1.0 y) (* (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z)))))

series382.0ms

Counts

4 → 12

Calls

4 calls:

75.0ms	(cbrt (* y (exp z)))
90.0ms	(cbrt (* y (exp z)))
137.0ms	(log (+ (- 1.0 y) (* (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z))))))
80.0ms	(+ (- 1.0 y) (* (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z)))))

simplify95.0ms

Counts: 59 → 59

prune235.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 4.3b

localize37.0ms

Local error

Found 4 expressions with local error:

0.4b	(cbrt (* y (exp z)))
0.4b	(cbrt (* y (exp z)))
2.4b	(log (+ (- 1.0 y) (* (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z))))))
11.6b	(+ (- 1.0 y) (* (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z)))))

rewrite177.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
5×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-cbrt-cube`
3×	`log-prod`
2×	`cbrt-prod` `log-div` `associate-+l+` `flip3-+` `pow1/3` `sum-log` `flip-+`
1×	`+-commutative` `associate-+l-` `sub-neg` `diff-log` `rem-log-exp` `log-pow`

Counts

4 → 47

Calls

4 calls:

10.0ms	(cbrt (* y (exp z)))
10.0ms	(cbrt (* y (exp z)))
82.0ms	(log (+ (- 1.0 y) (* (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z))))))
75.0ms	(+ (- 1.0 y) (* (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z)))))

series383.0ms

Counts

4 → 12

Calls

4 calls:

78.0ms	(cbrt (* y (exp z)))
97.0ms	(cbrt (* y (exp z)))
126.0ms	(log (+ (- 1.0 y) (* (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z))))))
82.0ms	(+ (- 1.0 y) (* (* (cbrt (* y (exp z))) (cbrt (* y (exp z)))) (cbrt (* y (exp z)))))

simplify96.0ms

Counts: 59 → 59

prune371.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 4.3b

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (/ 1.0 2.0) (pow z 2))
0.0b	(- x (/ (+ (log 1.0) (* y (+ (* (/ 1.0 2.0) (pow z 2)) (* 1.0 z)))) t))
4.5b	(* y (+ (* (/ 1.0 2.0) (pow z 2)) (* 1.0 z)))
5.9b	(/ (+ (log 1.0) (* y (+ (* (/ 1.0 2.0) (pow z 2)) (* 1.0 z)))) t)

rewrite191.0ms

Algorithm

rewrite-expression-head

Rules

46×	`add-sqr-sqrt`
25×	`*-un-lft-identity`
23×	`add-cube-cbrt` `times-frac`
21×	`add-exp-log`
16×	`associate-l`
13×	`add-cbrt-cube`
11×	`associate-r`
9×	`unswap-sqr`
7×	`prod-exp`
6×	`pow1` `add-log-exp`
5×	`unpow-prod-down`
4×	`div-exp`
3×	`associate-/r` `cbrt-unprod` `associate-/l` `unpow2` `sqr-pow`
2×	`cbrt-undiv` `pow-to-exp` `flip3-+` `associate-r/` `pow-exp` `-commutative` `flip-+` `div-inv` `associate-/l/` `difference-of-squares`
1×	`distribute-rgt-in` `sub-neg` `flip3--` `frac-2neg` `distribute-lft-in` `diff-log` `pow-prod-down` `associate-*l/` `clear-num` `flip--` `distribute-lft-out--`

Counts

4 → 112

Calls

4 calls:

33.0ms	(* (/ 1.0 2.0) (pow z 2))
35.0ms	(- x (/ (+ (log 1.0) (* y (+ (* (/ 1.0 2.0) (pow z 2)) (* 1.0 z)))) t))
51.0ms	(* y (+ (* (/ 1.0 2.0) (pow z 2)) (* 1.0 z)))
65.0ms	(/ (+ (log 1.0) (* y (+ (* (/ 1.0 2.0) (pow z 2)) (* 1.0 z)))) t)

series495.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(* (/ 1.0 2.0) (pow z 2))
170.0ms	(- x (/ (+ (log 1.0) (* y (+ (* (/ 1.0 2.0) (pow z 2)) (* 1.0 z)))) t))
106.0ms	(* y (+ (* (/ 1.0 2.0) (pow z 2)) (* 1.0 z)))
179.0ms	(/ (+ (log 1.0) (* y (+ (* (/ 1.0 2.0) (pow z 2)) (* 1.0 z)))) t)

simplify65.0ms

Counts: 124 → 124

prune467.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 4.2b

regimes794.0ms

Accuracy

67.6% (4.2b remaining)

Error of 8.5b against oracle of 4.3b and baseline of 17.2b

bsearch2.0ms

simplify108.0ms

end0.0ms

sample5.8s

Algorithm

intervals

Results

1.6s	1461×	body	10240	exit
1.5s	1386×	body	1280	valid
699.0ms	1593×	body	640	valid
373.0ms	3570×	body	80	valid
306.0ms	910×	body	320	valid
161.0ms	79×	body	2560	valid
149.0ms	2526×	body	80	nan
78.0ms	490×	body	160	valid
75.0ms	261×	body	640	nan
67.0ms	186×	body	320	nan
49.0ms	116×	body	1280	nan
13.0ms	104×	body	160	nan