Details

Time bar (total: 7.7s)

sample30.0ms

Algorithm
intervals
Results
15.0ms325×body80valid

simplify819.0ms

Counts
1 → 1
Iterations

Useful iterations: 5 (51.0ms)

IterNodesCost
01417
12517
24916
39116
416416
525815
649415
7122115
done500115

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 7.6b

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
29×*-un-lft-identity
27×add-sqr-sqrt
25×add-cube-cbrt
18×prod-diff
13×add-exp-log fma-def add-cbrt-cube
12×times-frac
11×distribute-rgt-in distribute-lft-in
8×pow1
5×associate-*r* add-log-exp
4×prod-exp cbrt-unprod
3×expm1-log1p-u pow-prod-down log1p-expm1-u associate-/l*
2×cbrt-undiv sub-neg flip3-+ associate-*r/ div-exp flip-+ div-inv associate-/l/
1×+-commutative flip3-- frac-2neg associate-*l* frac-add clear-num associate-/r* sum-log *-commutative flip-- distribute-lft-out distribute-lft-out-- difference-of-squares
Counts
3 → 99
Calls
3 calls:
17.0ms
(* (* z 2.0) (- 1.0 t))
17.0ms
(+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)))
10.0ms
(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))

series163.0ms

Counts
3 → 9
Calls
3 calls:
48.0ms
(* (* z 2.0) (- 1.0 t))
52.0ms
(+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)))
63.0ms
(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))

simplify921.0ms

Counts
108 → 108
Iterations

Useful iterations: 2 (175.0ms)

IterNodesCost
01941833
15851594
223031306
done50011306

prune275.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite205.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity
52×add-sqr-sqrt
47×add-cube-cbrt
41×associate-+l+
40×times-frac
39×prod-diff
19×fma-def
17×add-log-exp
8×add-exp-log frac-add add-cbrt-cube
7×sum-log distribute-lft-out
5×div-inv
3×pow1 expm1-log1p-u flip3-+ flip-+ log1p-expm1-u associate-/l* distribute-lft-out--
2×cbrt-undiv +-commutative associate-+l- flip3-- diff-log div-exp flip-- difference-of-squares
1×associate-+r- sub-neg associate-+r+ frac-2neg prod-exp clear-num associate-/r* cbrt-unprod
Counts
3 → 126
Calls
3 calls:
62.0ms
(+ (- (/ 2.0 t) 2.0) (/ 2.0 (* t z)))
134.0ms
(+ (/ x y) (+ (- (/ 2.0 t) 2.0) (/ 2.0 (* t z))))
3.0ms
(/ 2.0 (* t z))

series116.0ms

Counts
3 → 9
Calls
3 calls:
35.0ms
(+ (- (/ 2.0 t) 2.0) (/ 2.0 (* t z)))
55.0ms
(+ (/ x y) (+ (- (/ 2.0 t) 2.0) (/ 2.0 (* t z))))
25.0ms
(/ 2.0 (* t z))

simplify756.0ms

Counts
135 → 135
Iterations

Useful iterations: 2 (151.0ms)

IterNodesCost
01572049
14731794
221821538
done50001538

prune422.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite268.0ms

Algorithm
rewrite-expression-head
Rules
112×times-frac
103×*-un-lft-identity
92×add-sqr-sqrt
87×add-cube-cbrt
41×associate-+l+
39×prod-diff
19×fma-def
17×add-log-exp
13×associate-/l*
9×div-inv
8×add-exp-log frac-add add-cbrt-cube
7×sum-log distribute-lft-out
3×pow1 cbrt-undiv expm1-log1p-u flip3-+ div-exp associate-/r* flip-+ log1p-expm1-u distribute-lft-out--
2×+-commutative associate-+l- flip3-- diff-log flip-- difference-of-squares
1×associate-+r- sub-neg associate-+r+ frac-2neg clear-num associate-/l/
Counts
3 → 175
Calls
3 calls:
77.0ms
(+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))
177.0ms
(+ (/ x y) (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))
6.0ms
(/ (/ 2.0 t) z)

series116.0ms

Counts
3 → 9
Calls
3 calls:
35.0ms
(+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z))
55.0ms
(+ (/ x y) (+ (- (/ 2.0 t) 2.0) (/ (/ 2.0 t) z)))
26.0ms
(/ (/ 2.0 t) z)

simplify987.0ms

Counts
184 → 184
Iterations

Useful iterations: 2 (216.0ms)

IterNodesCost
02622714
16952409
228932150
done50002150

prune578.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (- (/ 2.0 t) 2.0) (/ 2.0 (* t z)))
0.1b
(fma x (/ 1 y) (+ (- (/ 2.0 t) 2.0) (/ 2.0 (* t z))))
0.6b
(/ 2.0 (* t z))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
47×*-un-lft-identity
45×add-sqr-sqrt
41×associate-+l+
40×add-cube-cbrt
39×prod-diff
31×times-frac
8×add-exp-log add-cbrt-cube add-log-exp
6×fma-def
4×div-inv
3×pow1 expm1-log1p-u log1p-expm1-u associate-/l*
2×cbrt-undiv div-exp frac-add sum-log distribute-lft-out distribute-lft-out-- difference-of-squares
1×+-commutative associate-+l- sub-neg flip3-- frac-2neg flip3-+ diff-log prod-exp clear-num associate-/r* flip-- cbrt-unprod flip-+ fma-udef
Counts
3 → 99
Calls
3 calls:
63.0ms
(+ (- (/ 2.0 t) 2.0) (/ 2.0 (* t z)))
0.0ms
(fma x (/ 1 y) (+ (- (/ 2.0 t) 2.0) (/ 2.0 (* t z))))
3.0ms
(/ 2.0 (* t z))

series120.0ms

Counts
3 → 9
Calls
3 calls:
32.0ms
(+ (- (/ 2.0 t) 2.0) (/ 2.0 (* t z)))
66.0ms
(fma x (/ 1 y) (+ (- (/ 2.0 t) 2.0) (/ 2.0 (* t z))))
22.0ms
(/ 2.0 (* t z))

simplify587.0ms

Counts
108 → 108
Iterations

Useful iterations: 2 (104.0ms)

IterNodesCost
01281565
13261380
214921088
done50001088

prune347.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

regimes146.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01316
11716
done1716

end0.0ms

sample679.0ms

Algorithm
intervals
Results
406.0ms10485×body80valid