Details

Time bar (total: 12.1s)

sample59.0ms

Algorithm
intervals
Results
39.0ms325×body80valid

simplify86.0ms

Counts
1 → 1
Iterations
IterNodes
done109
9109
8107
7102
687
573
458
339
225
115
010

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 6.0b

localize21.0ms

Local error

Found 3 expressions with local error:

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

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
49×add-sqr-sqrt
45×*-un-lft-identity
31×times-frac
15×add-cube-cbrt
12×distribute-lft-out-- difference-of-squares
10×associate-*r*
7×add-cbrt-cube add-exp-log
5×pow1 associate-/r* add-log-exp
3×sub-neg flip3-- associate-*l* associate-*r/ insert-posit16 flip-- associate-/l*
2×distribute-rgt-in distribute-lft-in associate-/r/ frac-sub
1×cbrt-undiv clear-num frac-2neg diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv unswap-sqr
Counts
3 → 92
Calls
3 calls:
17.0ms
(- (/ y z) (/ t (- 1.0 z)))
8.0ms
(/ t (- 1.0 z))
58.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series140.0ms

Counts
3 → 9
Calls
3 calls:
47.0ms
(- (/ y z) (/ t (- 1.0 z)))
39.0ms
(/ t (- 1.0 z))
54.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify1.2s

Counts
101 → 101
Iterations
IterNodes
done5000
21256
1412
0173

prune497.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ y z) (/ 1 (/ (- 1.0 z) t)))
0.0b
(/ (- 1.0 z) t)
0.2b
(/ 1 (/ (- 1.0 z) t))
6.0b
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

rewrite161.0ms

Algorithm
rewrite-expression-head
Rules
172×add-sqr-sqrt
170×times-frac
126×*-un-lft-identity
72×add-cube-cbrt
36×difference-of-squares
22×associate-/r* distribute-lft-out--
19×add-exp-log
16×associate-*r*
13×add-cbrt-cube
8×div-exp div-inv associate-/l*
7×pow1
6×add-log-exp
4×cbrt-undiv insert-posit16
3×sub-neg flip3-- associate-*l* associate-*r/ flip--
2×distribute-rgt-in rec-exp clear-num frac-2neg distribute-lft-in 1-exp frac-sub associate-/l/
1×diff-log div-sub pow-prod-down prod-exp associate-/r/ *-commutative cbrt-unprod pow-flip inv-pow unswap-sqr
Counts
4 → 206
Calls
4 calls:
38.0ms
(- (/ y z) (/ 1 (/ (- 1.0 z) t)))
22.0ms
(/ (- 1.0 z) t)
12.0ms
(/ 1 (/ (- 1.0 z) t))
81.0ms
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

series221.0ms

Counts
4 → 12
Calls
4 calls:
48.0ms
(- (/ y z) (/ 1 (/ (- 1.0 z) t)))
53.0ms
(/ (- 1.0 z) t)
38.0ms
(/ 1 (/ (- 1.0 z) t))
82.0ms
(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

simplify1.6s

Counts
218 → 218
Iterations
IterNodes
done5001
22570
1846
0312

prune890.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 3 expressions with local error:

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

rewrite210.0ms

Algorithm
rewrite-expression-head
Rules
49×*-un-lft-identity
25×add-sqr-sqrt
23×times-frac
15×add-cube-cbrt
8×distribute-lft-out
7×add-cbrt-cube associate-*r* add-exp-log add-log-exp
6×distribute-rgt-neg-in distribute-lft-out--
5×pow1 associate-/r*
4×difference-of-squares
3×associate-*l* associate-*r/ insert-posit16 associate-/l*
2×sum-log flip3-+ frac-add associate-/r/ flip-+ distribute-neg-frac
1×neg-sub0 distribute-rgt-in cbrt-undiv +-commutative clear-num associate-+r- frac-2neg distribute-lft-in flip3-- div-exp unsub-neg pow-prod-down neg-log prod-exp *-commutative cbrt-unprod div-inv flip-- unswap-sqr
Counts
3 → 87
Calls
3 calls:
24.0ms
(+ (/ y z) (- (/ t (- 1.0 z))))
7.0ms
(/ t (- 1.0 z))
177.0ms
(* x (+ (/ y z) (- (/ t (- 1.0 z)))))

series168.0ms

Counts
3 → 9
Calls
3 calls:
47.0ms
(+ (/ y z) (- (/ t (- 1.0 z))))
56.0ms
(/ t (- 1.0 z))
64.0ms
(* x (+ (/ y z) (- (/ t (- 1.0 z)))))

simplify1.4s

Counts
96 → 96
Iterations
IterNodes
done5004
21596
1427
0164

prune440.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ y z) (/ 1 (* (- 1.0 z) (/ 1 t))))
0.2b
(* (- 1.0 z) (/ 1 t))
0.2b
(/ 1 (* (- 1.0 z) (/ 1 t)))
6.0b
(* x (- (/ y z) (/ 1 (* (- 1.0 z) (/ 1 t)))))

rewrite178.0ms

Algorithm
rewrite-expression-head
Rules
50×add-exp-log
37×add-sqr-sqrt
25×*-un-lft-identity
20×add-cbrt-cube associate-*r*
18×div-exp
17×prod-exp
16×times-frac add-cube-cbrt
11×pow1
9×rec-exp 1-exp
8×associate-*l*
6×flip3-- associate-/r/ flip-- add-log-exp
5×cbrt-undiv associate-*r/ cbrt-unprod distribute-lft-out-- difference-of-squares
4×frac-times associate-*l/ insert-posit16 div-inv unswap-sqr
3×sub-neg pow-prod-down associate-/l*
2×distribute-rgt-in distribute-lft-in un-div-inv *-commutative frac-sub pow-flip
1×clear-num associate-/r* frac-2neg diff-log inv-pow
Counts
4 → 136
Calls
4 calls:
19.0ms
(- (/ y z) (/ 1 (* (- 1.0 z) (/ 1 t))))
36.0ms
(* (- 1.0 z) (/ 1 t))
38.0ms
(/ 1 (* (- 1.0 z) (/ 1 t)))
84.0ms
(* x (- (/ y z) (/ 1 (* (- 1.0 z) (/ 1 t)))))

series226.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(- (/ y z) (/ 1 (* (- 1.0 z) (/ 1 t))))
59.0ms
(* (- 1.0 z) (/ 1 t))
37.0ms
(/ 1 (* (- 1.0 z) (/ 1 t)))
71.0ms
(* x (- (/ y z) (/ 1 (* (- 1.0 z) (/ 1 t)))))

simplify1.7s

Counts
148 → 148
Iterations
IterNodes
done5000
22070
1631
0236

prune493.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

regimes713.0ms

Accuracy

84.5% (0.7b remaining)

Error of 0.7b against oracle of 0.0b and baseline of 4.4b

bsearch2.0ms

simplify9.0ms

Iterations
IterNodes
done44
144
034

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.2s10121×body80valid