Details

Time bar (total: 7.5s)

sample47.0ms

Algorithm
intervals
Results
19.0ms267×body80valid

simplify44.0ms

Counts
1 → 1

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 25.3b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (- t a))
0.0b
(* z (- b y))
1.2b
(+ (* x y) (* z (- t a)))
24.5b
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
20×*-un-lft-identity
16×add-cube-cbrt
10×add-exp-log associate-*r* add-cbrt-cube
9×times-frac
8×pow1
6×distribute-rgt-in sub-neg distribute-lft-in associate-*l* add-log-exp
4×associate-+r+ associate-*r/
3×flip3-+ associate-/r* flip-+ associate-/l*
2×flip3-- pow-prod-down prod-exp associate-/r/ *-commutative flip-- cbrt-unprod associate-/l/ distribute-lft-out-- difference-of-squares unswap-sqr
1×cbrt-undiv +-commutative frac-2neg div-exp clear-num sum-log div-inv
Counts
4 → 98
Calls
4 calls:
22.0ms
(* z (- t a))
27.0ms
(* z (- b y))
12.0ms
(+ (* x y) (* z (- t a)))
50.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

series582.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* z (- t a))
52.0ms
(* z (- b y))
54.0ms
(+ (* x y) (* z (- t a)))
426.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

simplify43.0ms

Counts
110 → 110

prune418.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 24.5b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (- b y))
1.1b
(+ (* z t) (* z (- a)))
1.2b
(+ (* x y) (+ (* z t) (* z (- a))))
24.5b
(/ (+ (* x y) (+ (* z t) (* z (- a)))) (+ y (* z (- b y))))

rewrite169.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×*-un-lft-identity
14×add-cube-cbrt
11×add-log-exp
9×times-frac
8×add-exp-log add-cbrt-cube
6×pow1 distribute-rgt-neg-out
5×associate-*r*
4×associate-+r- flip3-+ sum-log flip-+
3×associate-*l* unsub-neg associate-/r* associate-/l*
2×+-commutative distribute-rgt-in sub-neg distribute-lft-in div-sub associate-*r/ associate-/r/ associate-/l/
1×cbrt-undiv associate-+r+ flip3-- frac-2neg div-exp pow-prod-down prod-exp clear-num *-commutative flip-- cbrt-unprod div-inv distribute-lft-out distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 88
Calls
4 calls:
31.0ms
(* z (- b y))
12.0ms
(+ (* z t) (* z (- a)))
29.0ms
(+ (* x y) (+ (* z t) (* z (- a))))
94.0ms
(/ (+ (* x y) (+ (* z t) (* z (- a)))) (+ y (* z (- b y))))

series589.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(* z (- b y))
51.0ms
(+ (* z t) (* z (- a)))
52.0ms
(+ (* x y) (+ (* z t) (* z (- a))))
436.0ms
(/ (+ (* x y) (+ (* z t) (* z (- a)))) (+ y (* z (- b y))))

simplify56.0ms

Counts
100 → 100

prune323.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 24.5b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (+ (* t z) (* x y)) (+ y (* z (- b y)))) (/ (* z a) (+ y (* z (- b y)))))
0.7b
(+ (* t z) (* x y))
14.4b
(/ (* z a) (+ y (* z (- b y))))
22.2b
(/ (+ (* t z) (* x y)) (+ y (* z (- b y))))

rewrite160.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
16×*-un-lft-identity
14×add-cube-cbrt
13×times-frac
11×add-exp-log add-cbrt-cube
8×associate-/r/ add-log-exp
6×flip3-+ associate-/r* flip-+
4×pow1 div-inv associate-/l*
3×cbrt-undiv distribute-rgt-out-- div-exp
2×frac-2neg clear-num associate-/l/ difference-of-squares
1×+-commutative sub-neg flip3-- diff-log prod-exp sum-log frac-sub flip-- cbrt-unprod distribute-lft-out-- sub-div
Counts
4 → 85
Calls
4 calls:
92.0ms
(- (/ (+ (* t z) (* x y)) (+ y (* z (- b y)))) (/ (* z a) (+ y (* z (- b y)))))
8.0ms
(+ (* t z) (* x y))
15.0ms
(/ (* z a) (+ y (* z (- b y))))
42.0ms
(/ (+ (* t z) (* x y)) (+ y (* z (- b y))))

series890.0ms

Counts
4 → 12
Calls
4 calls:
561.0ms
(- (/ (+ (* t z) (* x y)) (+ y (* z (- b y)))) (/ (* z a) (+ y (* z (- b y)))))
44.0ms
(+ (* t z) (* x y))
109.0ms
(/ (* z a) (+ y (* z (- b y))))
177.0ms
(/ (+ (* t z) (* x y)) (+ y (* z (- b y))))

simplify51.0ms

Counts
97 → 97

prune426.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 19.7b

localize30.0ms

Local error

Found 4 expressions with local error:

0.7b
(+ (* t z) (* x y))
5.3b
(/ (+ y (* z (- b y))) a)
9.2b
(/ z (/ (+ y (* z (- b y))) a))
22.2b
(/ (+ (* t z) (* x y)) (+ y (* z (- b y))))

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
93×times-frac
62×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
19×associate-/r*
13×add-exp-log add-cbrt-cube
9×associate-/l*
7×div-inv
6×add-log-exp
5×cbrt-undiv div-exp
4×pow1 flip3-+ flip-+ associate-/l/
3×frac-2neg clear-num associate-/r/
1×+-commutative sum-log
Counts
4 → 141
Calls
4 calls:
12.0ms
(+ (* t z) (* x y))
38.0ms
(/ (+ y (* z (- b y))) a)
19.0ms
(/ z (/ (+ y (* z (- b y))) a))
35.0ms
(/ (+ (* t z) (* x y)) (+ y (* z (- b y))))

series555.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(+ (* t z) (* x y))
83.0ms
(/ (+ y (* z (- b y))) a)
232.0ms
(/ z (/ (+ y (* z (- b y))) a))
190.0ms
(/ (+ (* t z) (* x y)) (+ y (* z (- b y))))

simplify70.0ms

Counts
153 → 153

prune620.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 15.4b

regimes498.0ms

Accuracy

19.8% (7.8b remaining)

Error of 21.9b against oracle of 14.1b and baseline of 23.8b

bsearch168.0ms

Steps
ItersRangePoint
8
2.9101246881077916e-68
1.415955444489259e-65
3.1167846817581434e-66
6
6.782827891030064e-282
2.713325559372832e-281
6.83663067272487e-282
9
-3.1391745309086167e+234
-5.6580233618458584e+225
-9.135260823660157e+227

simplify70.0ms

end0.0ms

sample1.4s

Algorithm
intervals
Results
755.0ms8444×body80valid