Details

Time bar (total: 17.2s)

sample63.0ms

Algorithm
intervals
Results
31.0ms344×body80valid

simplify2.2s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
014326
125326
246326
396326
4179326
5274326
6855326
73868326
done5000326

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.4b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
13×add-cbrt-cube add-exp-log
10×*-un-lft-identity
8×add-sqr-sqrt pow1
6×add-cube-cbrt
5×associate-*r* add-log-exp
4×prod-exp cbrt-unprod
3×times-frac pow-prod-down associate-/l*
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in flip3-+ div-exp associate-*r/ flip-+ associate-/l/
1×+-commutative clear-num associate-/r* sum-log frac-2neg flip3-- associate-*l* frac-add *-commutative div-inv flip-- distribute-lft-out distribute-lft-out-- difference-of-squares
Counts
3 → 62
Calls
3 calls:
34.0ms
(+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)))
39.0ms
(* (* z 2.0) (- 1.0 t))
41.0ms
(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))

series253.0ms

Counts
3 → 9
Calls
3 calls:
75.0ms
(+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)))
57.0ms
(* (* z 2.0) (- 1.0 t))
120.0ms
(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))

simplify1.8s

Counts
71 → 71
Iterations

Useful iterations: 2 (524.0ms)

IterNodesCost
013920670
142019216
2211118692
done500018692

prune352.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0)
0.0b
(+ (/ 2.0 t) (/ 2.0 (* t z)))
0.0b
(+ (/ x y) (- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0))
0.4b
(/ 2.0 (* t z))

rewrite447.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
20×add-log-exp
9×add-cbrt-cube add-exp-log
8×add-sqr-sqrt
7×distribute-lft-out
6×sum-log add-cube-cbrt
4×pow1 diff-log distribute-lft-out--
3×associate-+r+ times-frac frac-add div-inv associate-/l*
2×cbrt-undiv +-commutative sub-neg flip3-+ flip3-- div-exp associate--l+ flip-+ flip--
1×clear-num associate-+r- associate-/r* frac-2neg prod-exp cbrt-unprod difference-of-squares
Counts
4 → 74
Calls
4 calls:
150.0ms
(- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0)
18.0ms
(+ (/ 2.0 t) (/ 2.0 (* t z)))
271.0ms
(+ (/ x y) (- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0))
6.0ms
(/ 2.0 (* t z))

series192.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0)
57.0ms
(+ (/ 2.0 t) (/ 2.0 (* t z)))
64.0ms
(+ (/ x y) (- (+ (/ 2.0 t) (/ 2.0 (* t z))) 2.0))
24.0ms
(/ 2.0 (* t z))

simplify1.3s

Counts
86 → 86
Iterations

Useful iterations: 2 (466.0ms)

IterNodesCost
013524653
137622179
2181321530
done500021530

prune412.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (/ 2.0 t) (/ (/ 2.0 t) z)) 2.0)
0.0b
(+ (/ 2.0 t) (/ (/ 2.0 t) z))
0.0b
(+ (/ x y) (- (+ (/ 2.0 t) (/ (/ 2.0 t) z)) 2.0))
0.3b
(/ (/ 2.0 t) z)

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
77×times-frac
66×*-un-lft-identity
48×add-sqr-sqrt
46×add-cube-cbrt
20×add-log-exp
13×associate-/l*
9×add-cbrt-cube add-exp-log
7×distribute-lft-out
6×sum-log
5×div-inv
4×pow1 diff-log distribute-lft-out--
3×cbrt-undiv associate-+r+ associate-/r* div-exp frac-add
2×+-commutative sub-neg flip3-+ flip3-- associate--l+ flip-+ flip--
1×clear-num associate-+r- frac-2neg difference-of-squares associate-/l/
Counts
4 → 123
Calls
4 calls:
507.0ms
(- (+ (/ 2.0 t) (/ (/ 2.0 t) z)) 2.0)
58.0ms
(+ (/ 2.0 t) (/ (/ 2.0 t) z))
683.0ms
(+ (/ x y) (- (+ (/ 2.0 t) (/ (/ 2.0 t) z)) 2.0))
9.0ms
(/ (/ 2.0 t) z)

series254.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(- (+ (/ 2.0 t) (/ (/ 2.0 t) z)) 2.0)
73.0ms
(+ (/ 2.0 t) (/ (/ 2.0 t) z))
96.0ms
(+ (/ x y) (- (+ (/ 2.0 t) (/ (/ 2.0 t) z)) 2.0))
35.0ms
(/ (/ 2.0 t) z)

simplify1.5s

Counts
135 → 135
Iterations

Useful iterations: 2 (692.0ms)

IterNodesCost
023839538
163736010
2299034880
done500034880

prune727.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (/ 2.0 t) (* (/ 2.0 t) (/ 1 z))) 2.0)
0.0b
(+ (/ 2.0 t) (* (/ 2.0 t) (/ 1 z)))
0.0b
(+ (/ x y) (- (+ (/ 2.0 t) (* (/ 2.0 t) (/ 1 z))) 2.0))
0.3b
(* (/ 2.0 t) (/ 1 z))

rewrite281.0ms

Algorithm
rewrite-expression-head
Rules
37×add-sqr-sqrt
27×*-un-lft-identity
26×add-exp-log
25×times-frac
20×add-log-exp
18×add-cube-cbrt
16×add-cbrt-cube
13×associate-*r* associate-*l*
8×div-exp prod-exp
6×pow1 sum-log frac-add unswap-sqr
4×cbrt-undiv diff-log cbrt-unprod
3×associate-+r+
2×frac-times +-commutative rec-exp sub-neg flip3-+ flip3-- 1-exp associate-*l/ associate--l+ associate-*r/ un-div-inv flip-+ div-inv flip-- distribute-lft-out distribute-lft-out--
1×associate-+r- pow-prod-down *-commutative difference-of-squares
Counts
4 → 109
Calls
4 calls:
93.0ms
(- (+ (/ 2.0 t) (* (/ 2.0 t) (/ 1 z))) 2.0)
17.0ms
(+ (/ 2.0 t) (* (/ 2.0 t) (/ 1 z)))
140.0ms
(+ (/ x y) (- (+ (/ 2.0 t) (* (/ 2.0 t) (/ 1 z))) 2.0))
25.0ms
(* (/ 2.0 t) (/ 1 z))

series217.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(- (+ (/ 2.0 t) (* (/ 2.0 t) (/ 1 z))) 2.0)
62.0ms
(+ (/ 2.0 t) (* (/ 2.0 t) (/ 1 z)))
81.0ms
(+ (/ x y) (- (+ (/ 2.0 t) (* (/ 2.0 t) (/ 1 z))) 2.0))
34.0ms
(* (/ 2.0 t) (/ 1 z))

simplify3.2s

Counts
121 → 121
Iterations

Useful iterations: 2 (982.0ms)

IterNodesCost
021334947
166330416
2393725027
done500125027

prune637.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes560.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
012285
114285
done14285

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.1s10495×body80valid