Details

Time bar (total: 17.8s)

sample42.0ms

Algorithm
intervals
Results
21.0ms277×body80valid

simplify3.6s

Counts
1 → 1
Iterations
IterNodes
done5001
264979
254743
244499
234256
224020
213777
203537
193301
183057
172823
162584
152324
141950
131556
121129
11699
10486
9335
8250
7206
6169
5128
487
350
231
118
010

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.4b

localize38.0ms

Local error

Found 2 expressions with local error:

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

rewrite66.0ms

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

series147.0ms

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

simplify2.3s

Counts
63 → 63
Iterations
IterNodes
done5011
33451
2815
1278
0107

prune319.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize22.0ms

Local error

Found 2 expressions with local error:

0.1b
(/ (- z a) (- z t))
1.7b
(/ y (/ (- z a) (- z t)))

rewrite63.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:
30.0ms
(/ (- z a) (- z t))
25.0ms
(/ y (/ (- z a) (- z t)))

series235.0ms

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

simplify1.8s

Counts
202 → 202
Iterations
IterNodes
done5002
22500
1715
0270

prune891.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 2 expressions with local error:

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

rewrite77.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:
25.0ms
(/ (- z t) (- z a))
51.0ms
(* y (/ (- z t) (- z a)))

series169.0ms

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

simplify2.6s

Counts
110 → 110
Iterations
IterNodes
done5000
34873
21152
1371
0140

prune426.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite273.0ms

Algorithm
rewrite-expression-head
Rules
65×add-exp-log
35×prod-exp
26×add-cbrt-cube
15×cbrt-prod div-exp cbrt-unprod
14×add-sqr-sqrt *-un-lft-identity
9×pow1
8×add-cube-cbrt
7×cbrt-undiv
6×cbrt-div
4×rec-exp 1-exp associate-*r/ insert-posit16 add-log-exp
3×flip3-- pow1/3 associate-*l* pow-prod-down flip-- distribute-lft-out-- difference-of-squares
1×frac-times associate-*r* associate-*l/ *-commutative
Counts
4 → 88
Calls
4 calls:
3.0ms
(cbrt (- z a))
3.0ms
(cbrt (- z a))
3.0ms
(cbrt (- z a))
263.0ms
(* y (* (/ 1 (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a)))))

series839.0ms

Counts
4 → 12
Calls
4 calls:
239.0ms
(cbrt (- z a))
225.0ms
(cbrt (- z a))
207.0ms
(cbrt (- z a))
167.0ms
(* y (* (/ 1 (* (cbrt (- z a)) (cbrt (- z a)))) (/ (- z t) (cbrt (- z a)))))

simplify1.9s

Counts
100 → 100
Iterations
IterNodes
done5005
21470
1452
0173

prune492.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes257.0ms

Accuracy

0% (1.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done11
111
010

end0.0ms

sample1.2s

Algorithm
intervals
Results
572.0ms8719×body80valid