Details

Time bar (total: 9.0s)

sample29.0ms

Algorithm
intervals
Results
14.0ms343×body80valid

simplify857.0ms

Counts
1 → 1
Iterations

Useful iterations: 5 (52.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.4b

localize12.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.3b
(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))

rewrite45.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:
13.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:
45.0ms
(* (* z 2.0) (- 1.0 t))
51.0ms
(+ (/ x y) (/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z)))
67.0ms
(/ (+ 2.0 (* (* z 2.0) (- 1.0 t))) (* t z))

simplify960.0ms

Counts
108 → 108
Iterations

Useful iterations: 2 (187.0ms)

IterNodesCost
01941833
15851594
223031306
done50011306

prune274.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite204.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:
132.0ms
(+ (/ x y) (+ (- (/ 2.0 t) 2.0) (/ 2.0 (* t z))))
63.0ms
(+ (- (/ 2.0 t) 2.0) (/ 2.0 (* t z)))
3.0ms
(/ 2.0 (* t z))

series116.0ms

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

simplify790.0ms

Counts
135 → 135
Iterations

Useful iterations: 2 (151.0ms)

IterNodesCost
01572049
14731794
221811538
done50011538

prune417.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 3 expressions with local error:

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

rewrite200.0ms

Algorithm
rewrite-expression-head
Rules
100×*-un-lft-identity
48×add-sqr-sqrt
46×prod-diff
36×add-cube-cbrt
35×times-frac
23×associate--r+
17×add-log-exp
16×distribute-lft-out
13×fma-def
11×distribute-lft-out--
8×add-exp-log add-cbrt-cube
6×diff-log frac-sub difference-of-squares
5×fma-neg div-inv
4×flip3-- flip--
3×pow1 expm1-log1p-u flip3-+ frac-add sum-log flip-+ log1p-expm1-u associate-/l*
2×cbrt-undiv sub-neg div-exp
1×+-commutative frac-2neg prod-exp associate--l+ clear-num associate-/r* cbrt-unprod associate--r-
Counts
3 → 135
Calls
3 calls:
16.0ms
(+ (/ x y) (/ 2.0 t))
175.0ms
(- (+ (/ x y) (/ 2.0 t)) (- 2.0 (/ 2.0 (* t z))))
3.0ms
(/ 2.0 (* t z))

series109.0ms

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

simplify1.3s

Counts
144 → 144
Iterations

Useful iterations: 2 (238.0ms)

IterNodesCost
02423628
17642995
229402558
done50002558

prune347.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite204.0ms

Algorithm
rewrite-expression-head
Rules
71×*-un-lft-identity
53×add-sqr-sqrt
44×times-frac
34×add-cube-cbrt
25×add-exp-log
18×prod-diff
17×add-log-exp
15×add-cbrt-cube
13×fma-def associate-*r* associate-*l*
11×distribute-lft-out
8×div-exp prod-exp
6×diff-log frac-sub unswap-sqr
5×pow1 fma-neg associate--r+
4×cbrt-undiv flip3-- flip-- cbrt-unprod
3×expm1-log1p-u flip3-+ frac-add sum-log flip-+ log1p-expm1-u div-inv
2×sub-neg rec-exp 1-exp distribute-lft-out--
1×+-commutative frac-times associate-*r/ pow-prod-down associate-*l/ associate--l+ *-commutative associate--r- difference-of-squares
Counts
3 → 140
Calls
3 calls:
17.0ms
(+ (/ x y) (/ 2.0 t))
164.0ms
(- (+ (/ x y) (/ 2.0 t)) (- 2.0 (* (/ 1 t) (/ 2.0 z))))
14.0ms
(* (/ 1 t) (/ 2.0 z))

series114.0ms

Counts
3 → 9
Calls
3 calls:
31.0ms
(+ (/ x y) (/ 2.0 t))
59.0ms
(- (+ (/ x y) (/ 2.0 t)) (- 2.0 (* (/ 1 t) (/ 2.0 z))))
24.0ms
(* (/ 1 t) (/ 2.0 z))

simplify1.5s

Counts
149 → 149
Iterations

Useful iterations: 2 (286.0ms)

IterNodesCost
02543320
18032347
235462023
done50002023

prune384.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes187.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
01215
11415
done1415

end0.0ms

sample732.0ms

Algorithm
intervals
Results
446.0ms10423×body80valid