Details

sample178.0ms

Algorithm

intervals

Results

37.0ms	52×	body	1280	valid
35.0ms	118×	body	80	valid
35.0ms	49×	body	10240	exit
18.0ms	42×	body	640	valid
8.0ms	30×	body	320	valid
5.0ms	89×	body	80	nan
3.0ms	15×	body	160	valid
2.0ms	1×	body	2560	valid
2.0ms	9×	body	320	nan
1.0ms	3×	body	640	nan
1.0ms	2×	body	1280	nan
0.0ms	1×	body	160	nan

simplify192.0ms

Counts: 1 → 1

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.6b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
0.0b	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
1.9b	(log (+ (- 1.0 y) (* y (exp z))))
2.8b	(+ (- 1.0 y) (* y (exp z)))

rewrite460.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
14×	`add-cube-cbrt`
13×	`times-frac`
11×	`add-log-exp`
9×	`pow1`
7×	`add-exp-log`
6×	`log-div` `add-cbrt-cube`
5×	`log-pow`
4×	`flip3-+` `div-sub` `flip-+` `associate-/l*`
3×	`log-prod` `associate-/r*`
2×	`sub-neg` `associate-+l+` `diff-log` `sum-log` `associate--r-` `difference-of-squares`
1×	`cbrt-undiv` `+-commutative` `associate-+l-` `flip3--` `frac-2neg` `div-exp` `rem-log-exp` `clear-num` `flip--` `div-inv` `distribute-lft-out--`

Counts

4 → 79

Calls

4 calls:

22.0ms	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
80.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
319.0ms	(log (+ (- 1.0 y) (* y (exp z))))
36.0ms	(+ (- 1.0 y) (* y (exp z)))

series511.0ms

Counts

4 → 12

Calls

4 calls:

122.0ms	(- x (/ (log (+ (- 1.0 y) (* y (exp z)))) t))
226.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
110.0ms	(log (+ (- 1.0 y) (* y (exp z))))
53.0ms	(+ (- 1.0 y) (* y (exp z)))

simplify48.0ms

Counts: 91 → 91

prune395.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.9b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- 1 (exp z)) y)
0.0b	(/ (log (- 1.0 (* (- 1 (exp z)) y))) t)
1.6b	(log (- 1.0 (* (- 1 (exp z)) y)))
2.8b	(- 1 (exp z))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
22×	`*-un-lft-identity`
16×	`add-cube-cbrt`
12×	`times-frac`
11×	`pow1`
9×	`add-exp-log`
8×	`add-cbrt-cube`
6×	`associate-l` `add-log-exp`
5×	`log-pow`
4×	`log-div` `flip3--` `flip--` `associate-/l*` `difference-of-squares`
3×	`log-prod` `associate-r` `associate-/r*`
2×	`div-sub` `associate-*l/` `distribute-lft-out--`
1×	`cbrt-undiv` `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 → 85

Calls

4 calls:

29.0ms	(* (- 1 (exp z)) y)
19.0ms	(/ (log (- 1.0 (* (- 1 (exp z)) y))) t)
4.0ms	(log (- 1.0 (* (- 1 (exp z)) y)))
7.0ms	(- 1 (exp z))

series290.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(* (- 1 (exp z)) y)
160.0ms	(/ (log (- 1.0 (* (- 1 (exp z)) y))) t)
66.0ms	(log (- 1.0 (* (- 1 (exp z)) y)))
15.0ms	(- 1 (exp z))

simplify39.0ms

Counts: 97 → 97

prune397.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.9b

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b	(cbrt (pow (log (- 1.0 (* (- 1 (exp z)) y))) 3))
0.1b	(pow (log (- 1.0 (* (- 1 (exp z)) y))) 3)
1.6b	(log (- 1.0 (* (- 1 (exp z)) y)))
2.8b	(- 1 (exp z))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

14×	`cbrt-prod` `add-sqr-sqrt` `*-un-lft-identity`
11×	`add-cube-cbrt`
10×	`pow1`
8×	`unpow-prod-down` `cube-prod`
6×	`add-exp-log` `add-log-exp`
5×	`log-pow` `add-cbrt-cube`
3×	`pow-unpow` `log-prod`
2×	`cube-mult` `log-div` `flip3--` `unpow3` `flip--` `difference-of-squares` `sqr-pow`
1×	`pow-to-exp` `sub-neg` `pow-pow` `pow1/3` `diff-log` `rem-log-exp` `pow-exp` `rem-cbrt-cube` `distribute-lft-out--` `rem-cube-cbrt`

Counts

4 → 77

Calls

4 calls:

4.0ms	(cbrt (pow (log (- 1.0 (* (- 1 (exp z)) y))) 3))
3.0ms	(pow (log (- 1.0 (* (- 1 (exp z)) y))) 3)
4.0ms	(log (- 1.0 (* (- 1 (exp z)) y)))
8.0ms	(- 1 (exp z))

series386.0ms

Counts

4 → 12

Calls

4 calls:

88.0ms	(cbrt (pow (log (- 1.0 (* (- 1 (exp z)) y))) 3))
194.0ms	(pow (log (- 1.0 (* (- 1 (exp z)) y))) 3)
85.0ms	(log (- 1.0 (* (- 1 (exp z)) y)))
19.0ms	(- 1 (exp z))

simplify59.0ms

Counts: 89 → 89

prune305.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.9b

localize32.0ms

Local error

Found 4 expressions with local error:

1.6b	(log (- 1.0 (* (- 1 (exp z)) y)))
2.8b	(- 1 (exp z))
2.8b	(- 1 (exp z))
2.8b	(- 1 (exp z))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-log-exp`
6×	`difference-of-squares`
5×	`pow1` `add-exp-log` `add-cube-cbrt`
4×	`flip3--` `add-cbrt-cube` `flip--`
3×	`sub-neg` `log-prod` `diff-log` `distribute-lft-out--`
2×	`log-div`
1×	`rem-log-exp` `log-pow`

Counts

4 → 59

Calls

4 calls:

4.0ms	(log (- 1.0 (* (- 1 (exp z)) y)))
7.0ms	(- 1 (exp z))
8.0ms	(- 1 (exp z))
8.0ms	(- 1 (exp z))

series109.0ms

Counts

4 → 12

Calls

4 calls:

65.0ms	(log (- 1.0 (* (- 1 (exp z)) y)))
14.0ms	(- 1 (exp z))
14.0ms	(- 1 (exp z))
15.0ms	(- 1 (exp z))

simplify58.0ms

Counts: 71 → 71

prune382.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 3.9b

regimes858.0ms

Accuracy

57.9% (4.3b remaining)

Error of 8.6b against oracle of 4.4b and baseline of 14.5b

bsearch164.0ms

Steps

Iters	Range		Point
4	2.3462801444332742e-108	4.424730156700853e-108	3.3761128403185448e-108
9	-9.396834165835983e-43	-1.9131144300082597e-50	-1.3353218113296246e-46

simplify64.0ms

end0.0ms

sample5.8s

Algorithm

intervals

Results

1.6s	1534×	body	10240	exit
1.1s	1428×	body	1280	valid
975.0ms	1542×	body	640	valid
398.0ms	3545×	body	80	valid
296.0ms	920×	body	320	valid
233.0ms	2628×	body	80	nan
144.0ms	89×	body	2560	valid
108.0ms	257×	body	640	nan
76.0ms	500×	body	160	valid
54.0ms	121×	body	1280	nan
42.0ms	210×	body	320	nan
13.0ms	105×	body	160	nan