Details

Time bar (total: 47.8s)

sample49.0ms

Algorithm
intervals
Results
19.0ms284×body80valid

simplify10.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

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.1b

localize85.0ms

Local error

Found 2 expressions with local error:

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

rewrite257.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:
63.0ms
(/ (- z t) (- z a))
174.0ms
(* y (/ (- z t) (- z a)))

series244.0ms

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

simplify8.9s

Counts
110 → 110
Iterations
IterNodes
done5000
34922
21141
1372
0140

prune1.4s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize104.0ms

Local error

Found 3 expressions with local error:

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

rewrite420.0ms

Algorithm
rewrite-expression-head
Rules
392×times-frac
335×add-sqr-sqrt
323×*-un-lft-identity
157×add-cube-cbrt
98×associate-*r*
82×distribute-lft-out-- difference-of-squares
36×associate-/r*
35×add-exp-log
19×add-cbrt-cube
18×associate-/r/
15×div-exp
10×div-inv
9×flip3-- flip--
8×associate-/l*
7×cbrt-undiv prod-exp
6×pow1
5×unswap-sqr
4×rec-exp 1-exp
3×associate-*l* cbrt-unprod insert-posit16 add-log-exp
2×clear-num frac-2neg associate-/l/
1×div-sub pow-prod-down associate-*r/ un-div-inv *-commutative pow-flip inv-pow
Counts
3 → 330
Calls
3 calls:
75.0ms
(/ (- z a) (- z t))
64.0ms
(/ 1 (/ (- z a) (- z t)))
207.0ms
(* y (/ 1 (/ (- z a) (- z t))))

series498.0ms

Counts
3 → 9
Calls
3 calls:
91.0ms
(/ (- z a) (- z t))
186.0ms
(/ 1 (/ (- z a) (- z t)))
221.0ms
(* y (/ 1 (/ (- z a) (- z t))))

simplify5.2s

Counts
339 → 339
Iterations
IterNodes
done5001
22736
1998
0351

prune3.5s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize85.0ms

Local error

Found 2 expressions with local error:

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

rewrite215.0ms

Algorithm
rewrite-expression-head
Rules
218×times-frac
194×add-sqr-sqrt *-un-lft-identity
90×add-cube-cbrt
52×distribute-lft-out-- difference-of-squares
36×associate-/r*
11×associate-/r/
9×add-cbrt-cube add-exp-log
8×associate-/l*
6×flip3-- div-inv flip--
4×cbrt-undiv div-exp
2×pow1 clear-num frac-2neg insert-posit16 add-log-exp associate-/l/
1×div-sub
Counts
2 → 196
Calls
2 calls:
73.0ms
(/ (- z a) (- z t))
98.0ms
(/ y (/ (- z a) (- z t)))

series309.0ms

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

simplify4.9s

Counts
202 → 202
Iterations
IterNodes
done5002
22589
1727
0270

prune2.2s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize67.0ms

Local error

Found 2 expressions with local error:

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

rewrite177.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:
30.0ms
(/ y (- z a))
140.0ms
(* (/ y (- z a)) (- z t))

series316.0ms

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

simplify3.4s

Counts
95 → 95
Iterations
IterNodes
done5000
21253
1365
0142

prune1.2s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes2.1s

Accuracy

0% (1.2b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done11
111
010

end0.0ms

sample1.4s

Algorithm
intervals
Results
787.0ms8749×body80valid
0.0ms1×body640valid