Details

Time bar (total: 16.7s)

sample36.0ms

Algorithm
intervals
Results
21.0ms289×body80valid

simplify3.0s

Counts
1 → 1
Iterations
IterNodes
done5000
284960
274766
264563
254371
244168
233974
223771
213579
203374
193178
182963
172727
162476
152172
141837
131584
121041
11630
10390
9314
8258
7221
6185
5131
487
354
235
121
010

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.8b

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- z t) (- z a))
1.8b
(* y (/ (- z t) (- z a)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
75×add-sqr-sqrt
70×*-un-lft-identity
51×times-frac
31×associate-*r*
26×add-cube-cbrt
22×distribute-lft-out-- difference-of-squares
9×add-cbrt-cube add-exp-log
5×associate-/r* associate-/l*
4×pow1 associate-/r/
3×flip3-- associate-*l* flip--
2×cbrt-undiv div-exp prod-exp cbrt-unprod insert-posit16 div-inv add-log-exp unswap-sqr associate-/l/
1×clear-num frac-2neg div-sub pow-prod-down associate-*r/ *-commutative
Counts
2 → 104
Calls
2 calls:
14.0ms
(/ (- z t) (- z a))
30.0ms
(* y (/ (- z t) (- z a)))

series146.0ms

Counts
2 → 6
Calls
2 calls:
61.0ms
(/ (- z t) (- z a))
85.0ms
(* y (/ (- z t) (- z a)))

simplify2.4s

Counts
110 → 110
Iterations
IterNodes
done5000
34873
21152
1371
0140

prune435.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ y (- z a))
0.0b
(/ (- z t) (+ z a))
1.1b
(* (/ y (- z a)) (/ (- z t) (+ z a)))
15.7b
(* (* (/ y (- z a)) (/ (- z t) (+ z a))) (+ z a))

rewrite198.0ms

Algorithm
rewrite-expression-head
Rules
101×*-un-lft-identity
89×add-sqr-sqrt
74×times-frac
45×add-cube-cbrt
38×add-cbrt-cube add-exp-log
30×associate-*r*
22×associate-*l*
16×distribute-lft-out-- difference-of-squares
13×prod-exp cbrt-unprod
12×distribute-lft-out
11×pow1
10×frac-times cbrt-undiv div-exp
9×associate-/r*
8×associate-/r/ associate-/l*
7×associate-*l/
6×flip3-+ associate-*r/ flip-+
4×pow-prod-down insert-posit16 div-inv add-log-exp unswap-sqr
3×flip3-- flip--
2×clear-num frac-2neg *-commutative associate-/l/
1×distribute-rgt-in distribute-lft-in div-sub
Counts
4 → 196
Calls
4 calls:
7.0ms
(/ y (- z a))
24.0ms
(/ (- z t) (+ z a))
61.0ms
(* (/ y (- z a)) (/ (- z t) (+ z a)))
101.0ms
(* (* (/ y (- z a)) (/ (- z t) (+ z a))) (+ z a))

series427.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(/ y (- z a))
69.0ms
(/ (- z t) (+ z a))
161.0ms
(* (/ y (- z a)) (/ (- z t) (+ z a)))
160.0ms
(* (* (/ y (- z a)) (/ (- z t) (+ z a))) (+ z a))

simplify2.3s

Counts
208 → 208
Iterations
IterNodes
done5001
23794
1825
0250

prune842.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ y (- z a))
11.0b
(* (/ y (- z a)) (- z t))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
38×*-un-lft-identity
31×times-frac
22×add-cube-cbrt
21×associate-*l*
9×add-cbrt-cube add-exp-log
8×distribute-lft-out-- difference-of-squares
5×associate-/r* associate-*r*
4×pow1 flip3-- associate-/r/ flip--
3×associate-/l*
2×distribute-rgt-in frac-times cbrt-undiv sub-neg distribute-lft-in div-exp prod-exp associate-*r/ cbrt-unprod insert-posit16 div-inv add-log-exp unswap-sqr
1×clear-num frac-2neg pow-prod-down associate-*l/ *-commutative
Counts
2 → 89
Calls
2 calls:
14.0ms
(/ y (- z a))
37.0ms
(* (/ y (- z a)) (- z t))

series197.0ms

Counts
2 → 6
Calls
2 calls:
31.0ms
(/ y (- z a))
166.0ms
(* (/ y (- z a)) (- z t))

simplify1.2s

Counts
95 → 95
Iterations
IterNodes
done5000
21271
1365
0142

prune384.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize22.0ms

Local error

Found 2 expressions with local error:

0.2b
(* y (/ 1 (- z a)))
11.0b
(* (* y (/ 1 (- z a))) (- z t))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
26×associate-*r* add-exp-log
22×*-un-lft-identity
17×times-frac
16×add-cbrt-cube
13×prod-exp add-cube-cbrt
9×pow1
7×cbrt-unprod
6×associate-*r/
4×frac-times flip3-- div-exp associate-*l* pow-prod-down un-div-inv flip-- distribute-lft-out-- difference-of-squares
3×unswap-sqr
2×distribute-rgt-in cbrt-undiv rec-exp sub-neg distribute-lft-in 1-exp associate-*l/ associate-/r/ *-commutative insert-posit16 add-log-exp
1×div-inv
Counts
2 → 82
Calls
2 calls:
24.0ms
(* y (/ 1 (- z a)))
43.0ms
(* (* y (/ 1 (- z a))) (- z t))

series188.0ms

Counts
2 → 6
Calls
2 calls:
41.0ms
(* y (/ 1 (- z a)))
147.0ms
(* (* y (/ 1 (- z a))) (- z t))

simplify2.3s

Counts
88 → 88
Iterations
IterNodes
done5040
34498
21240
1412
0150

prune253.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes477.0ms

Accuracy

0% (1.2b remaining)

Error of 1.2b against oracle of 0.0b and baseline of 1.2b

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done12
112
010

end0.0ms

sample1.5s

Algorithm
intervals
Results
1.2s8699×body80valid