Details

Time bar (total: 1.3m)

sample39.0ms

Algorithm
intervals
Results
23.0ms317×body80valid

simplify138.0ms

Counts
1 → 1
Iterations
IterNodes
done108
9108
8105
799
685
573
458
339
225
115
010

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.7b

localize31.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ y z) (/ t (- 1.0 z)))
0.0b
(/ t (- 1.0 z))
4.7b
(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite395.0ms

Algorithm
rewrite-expression-head
Rules
198×frac-sub
165×add-sqr-sqrt
161×associate-/r* *-un-lft-identity
123×associate-/l*
101×associate-*r/
95×add-cube-cbrt
41×clear-num frac-2neg
31×times-frac
30×distribute-lft-out-- difference-of-squares
10×associate-*r*
7×add-cbrt-cube add-exp-log
5×pow1 add-log-exp
3×sub-neg flip3-- associate-*l* insert-posit16 flip--
2×distribute-rgt-in distribute-lft-in associate-/r/
1×cbrt-undiv diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv unswap-sqr
Counts
3 → 288
Calls
3 calls:
90.0ms
(- (/ y z) (/ t (- 1.0 z)))
11.0ms
(/ t (- 1.0 z))
269.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series223.0ms

Counts
3 → 9
Calls
3 calls:
45.0ms
(- (/ y z) (/ t (- 1.0 z)))
71.0ms
(/ t (- 1.0 z))
107.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify1.8s

Counts
297 → 297
Iterations
IterNodes
done5000
11539
0507

prune1.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (/ y z) (/ 1 (/ (- 1.0 z) t)))
0.8b
(/ 1 (/ (- 1.0 z) t))
4.7b
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

rewrite748.0ms

Algorithm
rewrite-expression-head
Rules
545×add-sqr-sqrt
520×*-un-lft-identity
514×associate-/r*
450×frac-sub
431×times-frac
343×add-cube-cbrt
227×associate-*r/
218×associate-/l*
87×difference-of-squares
82×distribute-lft-out--
73×clear-num
70×frac-2neg
25×div-inv
19×associate-*r* associate-/r/
16×add-exp-log
10×add-cbrt-cube
7×div-exp
6×pow1
5×add-log-exp
3×cbrt-undiv sub-neg flip3-- associate-*l* insert-posit16 flip-- remove-double-div
2×distribute-rgt-in rec-exp distribute-lft-in 1-exp associate-/l/
1×diff-log pow-prod-down prod-exp *-commutative cbrt-unprod pow-flip inv-pow unswap-sqr
Counts
3 → 636
Calls
3 calls:
162.0ms
(- (/ y z) (/ 1 (/ (- 1.0 z) t)))
36.0ms
(/ 1 (/ (- 1.0 z) t))
497.0ms
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

series174.0ms

Counts
3 → 9
Calls
3 calls:
65.0ms
(- (/ y z) (/ 1 (/ (- 1.0 z) t)))
33.0ms
(/ 1 (/ (- 1.0 z) t))
76.0ms
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

simplify3.2s

Counts
645 → 645
Iterations
IterNodes
done5001
13562
01076

prune2.6s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ y z) (* (/ 1 (- 1.0 z)) t))
0.0b
(/ 1 (- 1.0 z))
0.1b
(* (/ 1 (- 1.0 z)) t)
4.7b
(* x (- (/ y z) (* (/ 1 (- 1.0 z)) t)))

rewrite778.0ms

Algorithm
rewrite-expression-head
Rules
225×add-sqr-sqrt
209×associate-*l/
198×frac-sub
193×*-un-lft-identity
166×associate-/r*
126×associate-/l*
108×add-cube-cbrt
101×associate-*r/
56×times-frac
42×clear-num frac-2neg difference-of-squares
38×distribute-lft-out--
32×associate-*l*
19×associate-*r* add-exp-log
16×unswap-sqr
13×add-cbrt-cube
9×pow1
6×add-log-exp
5×prod-exp
4×flip3-- div-exp associate-/r/ insert-posit16 div-inv flip--
3×sub-neg cbrt-unprod
2×distribute-rgt-in cbrt-undiv rec-exp distribute-lft-in 1-exp pow-prod-down *-commutative
1×diff-log pow-flip inv-pow
Counts
4 → 358
Calls
4 calls:
146.0ms
(- (/ y z) (* (/ 1 (- 1.0 z)) t))
13.0ms
(/ 1 (- 1.0 z))
79.0ms
(* (/ 1 (- 1.0 z)) t)
512.0ms
(* x (- (/ y z) (* (/ 1 (- 1.0 z)) t)))

series288.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(- (/ y z) (* (/ 1 (- 1.0 z)) t))
44.0ms
(/ 1 (- 1.0 z))
55.0ms
(* (/ 1 (- 1.0 z)) t)
111.0ms
(* x (- (/ y z) (* (/ 1 (- 1.0 z)) t)))

simplify1.7s

Counts
370 → 370
Iterations
IterNodes
done5000
11668
0574

prune1.5s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

localize61.0ms

Local error

Found 4 expressions with local error:

2.5b
(/ (/ (* z t) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)))
3.1b
(/ (* z t) (cbrt (- 1.0 z)))
3.2b
(* (- (* (cbrt (- 1.0 z)) y) (/ (/ (* z t) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)))) x)
11.0b
(/ (* (- (* (cbrt (- 1.0 z)) y) (/ (/ (* z t) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)))) x) (* z (cbrt (- 1.0 z))))

rewrite32.1s

Algorithm
rewrite-expression-head
Rules
5390×add-sqr-sqrt
4086×times-frac
2453×cbrt-prod
1922×*-un-lft-identity
1278×associate-*l*
1184×add-cube-cbrt
1092×associate-*l/
989×difference-of-squares
914×unswap-sqr
798×associate-*r*
629×associate-/l*
576×cbrt-div
544×frac-sub
389×associate-/l/
369×distribute-lft-out--
290×flip3-- flip--
186×*-commutative
106×associate-/r*
54×add-cbrt-cube
32×add-exp-log associate-/r/
28×cbrt-undiv
16×div-inv
14×cbrt-unprod
12×clear-num frac-2neg
11×div-exp
7×prod-exp
6×pow1
4×insert-posit16 add-log-exp
2×associate-*r/
1×pow-prod-down
Counts
4 → 2646
Calls
4 calls:
105.0ms
(/ (/ (* z t) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)))
31.0ms
(/ (* z t) (cbrt (- 1.0 z)))
4.2s
(* (- (* (cbrt (- 1.0 z)) y) (/ (/ (* z t) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)))) x)
27.3s
(/ (* (- (* (cbrt (- 1.0 z)) y) (/ (/ (* z t) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)))) x) (* z (cbrt (- 1.0 z))))

series2.5s

Counts
4 → 12
Calls
4 calls:
632.0ms
(/ (/ (* z t) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)))
460.0ms
(/ (* z t) (cbrt (- 1.0 z)))
500.0ms
(* (- (* (cbrt (- 1.0 z)) y) (/ (/ (* z t) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)))) x)
904.0ms
(/ (* (- (* (cbrt (- 1.0 z)) y) (/ (/ (* z t) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)))) x) (* z (cbrt (- 1.0 z))))

simplify6.7s

Counts
2658 → 2658
Iterations
IterNodes
done5000
03859

prune19.5s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0b

regimes400.0ms

Accuracy

24.7% (3.6b remaining)

Error of 3.6b against oracle of 0.0b and baseline of 4.8b

bsearch200.0ms

Steps
ItersRangePoint
9
1.4176015253471058e-152
4.607631349998698e-144
1.9908800588882296e-144
8
-1987689.5348206805
-1395.513557668287
-1458.7103711664122

simplify12.0ms

Iterations
IterNodes
done38
138
027

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.2s10007×body80valid