Details

Time bar (total: 18.4s)

sample58.0ms

Algorithm
intervals
Results
33.0ms289×body80valid

simplify3.8s

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

localize25.0ms

Local error

Found 2 expressions with local error:

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

rewrite158.0ms

Algorithm
rewrite-expression-head
Rules
81×add-sqr-sqrt
79×*-un-lft-identity
51×times-frac
31×associate-*r*
28×add-cube-cbrt
25×distribute-lft-out--
24×difference-of-squares
15×associate-*r/
12×associate-/l*
10×associate-/r*
9×add-cbrt-cube add-exp-log
4×pow1 flip3-- associate-/r/ flip-- associate-/l/
3×clear-num associate-*l* un-div-inv
2×cbrt-undiv frac-2neg div-exp prod-exp cbrt-unprod insert-posit16 div-inv add-log-exp unswap-sqr
1×div-sub pow-prod-down *-commutative
Counts
2 → 121
Calls
2 calls:
45.0ms
(/ (- z t) (- z a))
104.0ms
(* y (/ (- z t) (- z a)))

series146.0ms

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

simplify1.3s

Counts
127 → 127
Iterations
IterNodes
done5002
21281
1420
0153

prune601.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- z a) (- z t))
1.9b
(/ y (/ (- z a) (- z t)))

rewrite84.0ms

Algorithm
rewrite-expression-head
Rules
218×times-frac
200×add-sqr-sqrt *-un-lft-identity
92×add-cube-cbrt
54×distribute-lft-out-- difference-of-squares
41×associate-/r*
25×associate-/r/
13×associate-/l*
9×add-cbrt-cube add-exp-log
7×flip3-- flip--
6×div-inv
4×cbrt-undiv div-exp associate-/l/
3×clear-num frac-2neg
2×pow1 insert-posit16 add-log-exp
1×div-sub
Counts
2 → 210
Calls
2 calls:
41.0ms
(/ (- z a) (- z t))
34.0ms
(/ y (/ (- z a) (- z t)))

series235.0ms

Counts
2 → 6
Calls
2 calls:
66.0ms
(/ (- z a) (- z t))
169.0ms
(/ y (/ (- z a) (- z t)))

simplify2.0s

Counts
216 → 216
Iterations
IterNodes
done5001
22588
1743
0282

prune859.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize36.0ms

Local error

Found 3 expressions with local error:

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

rewrite244.0ms

Algorithm
rewrite-expression-head
Rules
209×add-sqr-sqrt
202×times-frac
181×*-un-lft-identity
114×add-cube-cbrt
105×associate-*r*
69×associate-/r*
50×associate-/r/
44×frac-times
31×add-exp-log
30×flip3-- flip-- distribute-lft-out-- difference-of-squares
26×associate-/l*
25×associate-*l*
22×associate-*r/
19×add-cbrt-cube
15×unswap-sqr
11×div-exp
10×clear-num
8×frac-2neg prod-exp
7×div-inv
6×pow1 cbrt-undiv un-div-inv
5×*-commutative
4×associate-*l/ cbrt-unprod
3×rec-exp 1-exp insert-posit16 add-log-exp
1×pow-prod-down pow-flip inv-pow
Counts
3 → 321
Calls
3 calls:
13.0ms
(/ 1 (- z t))
80.0ms
(* (- z a) (/ 1 (- z t)))
136.0ms
(/ y (* (- z a) (/ 1 (- z t))))

series294.0ms

Counts
3 → 9
Calls
3 calls:
62.0ms
(/ 1 (- z t))
76.0ms
(* (- z a) (/ 1 (- z t)))
156.0ms
(/ y (* (- z a) (/ 1 (- z t))))

simplify2.1s

Counts
330 → 330
Iterations
IterNodes
done5033
23412
11106
0394

prune1.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize31.0ms

Local error

Found 2 expressions with local error:

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

rewrite364.0ms

Algorithm
rewrite-expression-head
Rules
90×add-sqr-sqrt
67×*-un-lft-identity
45×associate-*l*
44×frac-times associate-*r*
39×associate-*r/
36×times-frac add-cube-cbrt
30×associate-/r*
26×flip3-- add-exp-log flip--
22×associate-*l/
18×associate-/l*
16×add-cbrt-cube
14×distribute-lft-out-- difference-of-squares
13×prod-exp unswap-sqr
10×distribute-rgt-in distribute-lft-in
9×pow1
7×cbrt-unprod
6×clear-num sub-neg frac-2neg
4×div-exp pow-prod-down associate-/r/
3×*-commutative
2×cbrt-undiv rec-exp 1-exp insert-posit16 div-inv add-log-exp
Counts
2 → 187
Calls
2 calls:
65.0ms
(* (/ 1 (- z a)) (- z t))
287.0ms
(* y (* (/ 1 (- z a)) (- z t)))

series343.0ms

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

simplify1.9s

Counts
193 → 193
Iterations
IterNodes
done5001
22685
1869
0263

prune895.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes328.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
done16
116
012

end0.0ms

sample1.2s

Algorithm
intervals
Results
819.0ms8699×body80valid