Details

sample46.0ms

Algorithm

intervals

Results

19.0ms

261×

body

valid

simplify56.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	17
1	26	17
2	38	17
3	47	17
4	49	17
done	49	17

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 18.5b

localize45.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ (* y z) t))
5.0b	(/ (* y z) t)
5.7b	(/ (* y b) t)
12.4b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite141.0ms

Algorithm

rewrite-expression-head

Rules

58×	`*-un-lft-identity`
26×	`times-frac`
22×	`distribute-lft-out`
19×	`add-sqr-sqrt` `add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube`
11×	`associate-/r*`
6×	`associate-/l*` `add-log-exp`
5×	`cbrt-undiv` `div-exp`
4×	`pow1` `flip3-+` `associate-/r/` `flip-+`
3×	`frac-2neg` `clear-num` `div-inv`
2×	`frac-add` `prod-exp` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `sum-log`

Counts

4 → 101

Calls

4 calls:

9.0ms	(+ x (/ (* y z) t))
11.0ms	(/ (* y z) t)
10.0ms	(/ (* y b) t)
107.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series260.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(+ x (/ (* y z) t))
24.0ms	(/ (* y z) t)
29.0ms	(/ (* y b) t)
158.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify1.2s

Counts

113 → 113

Iterations

Useful iterations: done (1.2s)

Iter	Nodes	Cost
0	179	1803
1	476	1721
2	2229	1609
done	5001	1599

prune355.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 12.5b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ y (/ t z)))
5.7b	(/ (* y b) t)
6.0b	(/ y (/ t z))
12.4b	(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite201.0ms

Algorithm

rewrite-expression-head

Rules

98×	`*-un-lft-identity` `times-frac`
59×	`add-sqr-sqrt` `add-cube-cbrt`
22×	`distribute-lft-out`
21×	`associate-/r*`
16×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/l*`
7×	`div-inv`
6×	`cbrt-undiv` `div-exp` `add-log-exp`
5×	`associate-/r/`
4×	`pow1` `flip3-+` `flip-+`
3×	`frac-2neg` `clear-num`
2×	`frac-add` `associate-/l/`
1×	`+-commutative` `prod-exp` `sum-log` `cbrt-unprod`

Counts

4 → 150

Calls

4 calls:

23.0ms	(+ x (/ y (/ t z)))
10.0ms	(/ (* y b) t)
9.0ms	(/ y (/ t z))
153.0ms	(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ (* y b) t)))

series397.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(+ x (/ y (/ t z)))
30.0ms	(/ (* y b) t)
25.0ms	(/ y (/ t z))
286.0ms	(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ (* y b) t)))

simplify1.3s

Counts

162 → 162

Iterations

Useful iterations: done (1.3s)

Iter	Nodes	Cost
0	278	2491
1	727	2367
2	3333	2225
done	5000	2221

prune556.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 11.3b

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ y (/ t z)))
5.1b	(* y (/ b t))
6.0b	(/ y (/ t z))
12.4b	(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (* y (/ b t))))

rewrite166.0ms

Algorithm

rewrite-expression-head

Rules

97×	`times-frac`
73×	`*-un-lft-identity`
68×	`add-sqr-sqrt`
63×	`add-cube-cbrt`
16×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
13×	`associate-r`
7×	`div-inv` `associate-/l*`
6×	`pow1` `add-log-exp`
5×	`cbrt-undiv` `div-exp` `associate-/r/` `distribute-lft-out`
4×	`flip3-+` `flip-+`
3×	`associate-r/` `associate-l*`
2×	`frac-2neg` `frac-add` `prod-exp` `clear-num` `cbrt-unprod` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `pow-prod-down` `sum-log` `*-commutative`

Counts

4 → 151

Calls

4 calls:

21.0ms	(+ x (/ y (/ t z)))
15.0ms	(* y (/ b t))
9.0ms	(/ y (/ t z))
116.0ms	(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (* y (/ b t))))

series390.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(+ x (/ y (/ t z)))
31.0ms	(* y (/ b t))
25.0ms	(/ y (/ t z))
276.0ms	(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (* y (/ b t))))

simplify1.7s

Counts

163 → 163

Iterations

Useful iterations: 2 (520.0ms)

Iter	Nodes	Cost
0	298	2354
1	785	2244
2	3439	2094
done	5000	2094

prune607.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 11.3b

localize28.0ms

Local error

Found 4 expressions with local error:

0.3b	(/ 1 (/ (+ (+ a 1.0) (* y (/ b t))) (+ x (/ y (/ t z)))))
5.1b	(* y (/ b t))
6.0b	(/ y (/ t z))
12.4b	(/ (+ (+ a 1.0) (* y (/ b t))) (+ x (/ y (/ t z))))

rewrite302.0ms

Algorithm

rewrite-expression-head

Rules

199×	`times-frac`
146×	`*-un-lft-identity`
119×	`add-sqr-sqrt`
114×	`add-cube-cbrt`
35×	`associate-/r*`
27×	`add-exp-log`
21×	`add-cbrt-cube`
16×	`distribute-lft-out`
13×	`associate-r`
12×	`div-exp` `associate-/r/` `div-inv`
9×	`associate-/l*`
8×	`cbrt-undiv`
7×	`pow1` `flip3-+` `flip-+`
4×	`associate-/l/` `add-log-exp`
3×	`frac-2neg` `associate-r/` `associate-l*` `clear-num`
2×	`rec-exp` `1-exp` `frac-add` `prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`pow-flip` `pow-prod-down` `*-commutative` `inv-pow`

Counts

4 → 235

Calls

4 calls:

119.0ms	(/ 1 (/ (+ (+ a 1.0) (* y (/ b t))) (+ x (/ y (/ t z)))))
21.0ms	(* y (/ b t))
14.0ms	(/ y (/ t z))
132.0ms	(/ (+ (+ a 1.0) (* y (/ b t))) (+ x (/ y (/ t z))))

series647.0ms

Counts

4 → 12

Calls

4 calls:

469.0ms	(/ 1 (/ (+ (+ a 1.0) (* y (/ b t))) (+ x (/ y (/ t z)))))
33.0ms	(* y (/ b t))
30.0ms	(/ y (/ t z))
115.0ms	(/ (+ (+ a 1.0) (* y (/ b t))) (+ x (/ y (/ t z))))

simplify564.0ms

Counts

247 → 247

Iterations

Useful iterations: done (554.0ms)

Iter	Nodes	Cost
0	393	5361
1	1054	4972
done	5000	4724

prune712.0ms

Pruning

13 alts after pruning (11 fresh and 2 done)

Merged error: 11.3b

regimes505.0ms

Accuracy

52.8% (3.0b remaining)

Error of 13.1b against oracle of 10.1b and baseline of 16.4b

bsearch140.0ms

Steps

Iters	Range		Point
6	7.1597884211881e-100	3.907846736391626e-99	1.0717348486107854e-99
10	-1.7796750732552246e+87	-2.0268234874687848e+77	-1.9517124153233068e+82

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	34	61
1	47	61
done	47	61

end0.0ms

sample1.3s

Algorithm

intervals

Results

748.0ms

8285×

body

valid