Details

Time bar (total: 11.3s)

sample72.0ms

Algorithm
intervals
Results
31.0ms335×body80valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done5000
73868
6855
5274
4179
396
246
125
014

prune23.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 9.4b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (* z 2.0) (- 1.0 t))
9.3b
(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))

rewrite61.0ms

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

series138.0ms

Counts
2 → 6
Calls
2 calls:
56.0ms
(* (* z 2.0) (- 1.0 t))
82.0ms
(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))

simplify1.0s

Counts
55 → 55
Iterations
IterNodes
done5001
21763
1325
0111

prune361.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (/ 2.0 t) (- (/ (/ 2.0 t) z) 2.0))
0.2b
(/ (/ 2.0 t) z)

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
49×*-un-lft-identity
44×add-sqr-sqrt add-cube-cbrt
13×associate-/l*
7×add-cbrt-cube add-exp-log add-log-exp
5×div-inv
3×cbrt-undiv associate-/r* div-exp
2×pow1 associate-+r+ sum-log frac-add distribute-lft-out
1×+-commutative clear-num associate-+r- sub-neg frac-2neg flip3-+ flip3-- diff-log flip-+ flip-- distribute-lft-out-- associate-/l/
Counts
2 → 89
Calls
2 calls:
111.0ms
(+ (/ 2.0 t) (- (/ (/ 2.0 t) z) 2.0))
13.0ms
(/ (/ 2.0 t) z)

series89.0ms

Counts
2 → 6
Calls
2 calls:
59.0ms
(+ (/ 2.0 t) (- (/ (/ 2.0 t) z) 2.0))
30.0ms
(/ (/ 2.0 t) z)

simplify1.2s

Counts
95 → 95
Iterations
IterNodes
done5000
22495
1529
0198

prune627.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (- (/ (/ 2.0 z) t) 2.0) (/ 2.0 t))
0.2b
(/ (/ 2.0 z) t)

rewrite249.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
49×*-un-lft-identity
44×add-sqr-sqrt add-cube-cbrt
13×associate-/l*
7×add-cbrt-cube add-exp-log add-log-exp
5×div-inv
3×cbrt-undiv associate-/r* div-exp
2×pow1 associate-+l+ sum-log frac-add distribute-lft-out
1×+-commutative clear-num sub-neg frac-2neg flip3-+ flip3-- diff-log associate-+l- flip-+ flip-- distribute-lft-out-- associate-/l/
Counts
2 → 89
Calls
2 calls:
233.0ms
(+ (- (/ (/ 2.0 z) t) 2.0) (/ 2.0 t))
12.0ms
(/ (/ 2.0 z) t)

series59.0ms

Counts
2 → 6
Calls
2 calls:
38.0ms
(+ (- (/ (/ 2.0 z) t) 2.0) (/ 2.0 t))
21.0ms
(/ (/ 2.0 z) t)

simplify933.0ms

Counts
95 → 95
Iterations
IterNodes
done5001
22192
1512
0201

prune656.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize37.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (- (/ 1 (* (/ t 2.0) z)) 2.0) (/ 2.0 t))
0.8b
(/ 1 (* (/ t 2.0) z))

rewrite189.0ms

Algorithm
rewrite-expression-head
Rules
23×add-exp-log
12×*-un-lft-identity
11×add-cbrt-cube
9×div-exp
7×add-log-exp
6×prod-exp
5×pow1
4×add-sqr-sqrt cbrt-undiv add-cube-cbrt distribute-lft-out
3×rec-exp times-frac 1-exp div-inv associate-/l*
2×associate-+l+ sum-log associate-*l/ frac-add associate-/r/ cbrt-unprod pow-flip distribute-lft-out--
1×+-commutative clear-num associate-/r* sub-neg frac-2neg flip3-+ flip3-- distribute-rgt-out-- diff-log pow-prod-down associate-+l- flip-+ flip-- inv-pow
Counts
2 → 54
Calls
2 calls:
160.0ms
(+ (- (/ 1 (* (/ t 2.0) z)) 2.0) (/ 2.0 t))
28.0ms
(/ 1 (* (/ t 2.0) z))

series90.0ms

Counts
2 → 6
Calls
2 calls:
61.0ms
(+ (- (/ 1 (* (/ t 2.0) z)) 2.0) (/ 2.0 t))
28.0ms
(/ 1 (* (/ t 2.0) z))

simplify1.1s

Counts
60 → 60
Iterations
IterNodes
done5000
21580
1328
0121

prune245.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes342.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done14
114
012

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.3s10436×body80valid