Details

Time bar (total: 20.6s)

sample54.0ms

Algorithm
intervals
Results
33.0ms373×body80valid

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
done5000
41285
3366
2110
138
018

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize57.0ms

Local error

Found 4 expressions with local error:

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

rewrite279.0ms

Algorithm
rewrite-expression-head
Rules
24×associate-*l/
20×*-un-lft-identity
19×flip3-- flip--
18×add-sqr-sqrt add-log-exp
12×frac-add
11×associate-*l*
8×pow1 add-cbrt-cube add-exp-log frac-sub add-cube-cbrt
6×associate-*r*
5×diff-log distribute-lft-out--
4×associate-+l+ sum-log insert-posit16
3×sub-neg associate--l+ difference-of-squares
2×pow-prod-down prod-exp *-commutative cbrt-unprod distribute-lft-out unswap-sqr
1×+-commutative flip3-+ associate-+l- flip-+
Counts
4 → 96
Calls
4 calls:
39.0ms
(- (+ y t) 2.0)
26.0ms
(* (- y 1.0) z)
127.0ms
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
85.0ms
(* (- (+ y t) 2.0) b)

series324.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(- (+ y t) 2.0)
35.0ms
(* (- y 1.0) z)
226.0ms
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
45.0ms
(* (- (+ y t) 2.0) b)

simplify2.7s

Counts
108 → 108
Iterations
IterNodes
done5000
24147
1865
0256

prune746.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b)))
0.6b
(cbrt (* (- (+ y t) 2.0) b))
0.6b
(cbrt (* (- (+ y t) 2.0) b))
0.6b
(cbrt (* (- (+ y t) 2.0) b))

rewrite245.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*l/
18×cbrt-div
11×pow1
10×add-sqr-sqrt
9×flip3-- pow1/3 flip--
8×*-un-lft-identity add-cube-cbrt
7×cbrt-prod
6×add-exp-log
4×frac-times add-cbrt-cube swap-sqr associate-*r* associate-*l* insert-posit16 add-log-exp
2×pow-prod-down associate-*r/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 76
Calls
4 calls:
146.0ms
(* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b)))
37.0ms
(cbrt (* (- (+ y t) 2.0) b))
33.0ms
(cbrt (* (- (+ y t) 2.0) b))
27.0ms
(cbrt (* (- (+ y t) 2.0) b))

series627.0ms

Counts
4 → 12
Calls
4 calls:
196.0ms
(* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b)))
141.0ms
(cbrt (* (- (+ y t) 2.0) b))
141.0ms
(cbrt (* (- (+ y t) 2.0) b))
149.0ms
(cbrt (* (- (+ y t) 2.0) b))

simplify1.7s

Counts
88 → 88
Iterations
IterNodes
done5000
33330
21026
1405
0161

prune870.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize60.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ y t) (+ y t))
0.0b
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0)))
8.3b
(* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)
13.3b
(/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))

rewrite340.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
16×add-sqr-sqrt
13×pow1 add-cbrt-cube add-exp-log distribute-lft-out add-log-exp
12×add-cube-cbrt
10×associate-*l/
8×flip3-+ associate-*l* flip-+
7×flip3-- associate-*r* flip--
6×swap-sqr frac-add
5×associate-/r* times-frac
4×frac-times associate-+l+ frac-sub insert-posit16
3×sum-log diff-log prod-exp cbrt-unprod
2×cbrt-undiv sub-neg div-exp pow-prod-down associate--l+ associate-*r/ associate-/r/ *-commutative unswap-sqr associate-/l/
1×pow2 distribute-rgt-in +-commutative clear-num frac-2neg distribute-lft-in pow-plus pow-sqr pow-prod-up associate-+l- div-inv associate-/l* difference-of-squares
Counts
4 → 119
Calls
4 calls:
33.0ms
(* (+ y t) (+ y t))
157.0ms
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0)))
75.0ms
(* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)
72.0ms
(/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))

series682.0ms

Counts
4 → 12
Calls
4 calls:
17.0ms
(* (+ y t) (+ y t))
511.0ms
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0)))
59.0ms
(* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)
95.0ms
(/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))

simplify2.4s

Counts
131 → 131
Iterations
IterNodes
done5024
24427
11019
0290

prune866.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (* (- (+ y t) 2.0) b))
0.6b
(cbrt (* (- (+ y t) 2.0) b))
0.6b
(cbrt (* (- (+ y t) 2.0) b))
8.2b
(log (exp (* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b)))))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
6×cbrt-div associate-*l/
5×add-sqr-sqrt pow1 *-un-lft-identity add-cube-cbrt add-log-exp
4×add-cbrt-cube add-exp-log insert-posit16
3×cbrt-prod log-prod flip3-- pow1/3 log-pow flip--
1×exp-prod exp-to-pow rem-log-exp
Counts
4 → 51
Calls
4 calls:
23.0ms
(cbrt (* (- (+ y t) 2.0) b))
23.0ms
(cbrt (* (- (+ y t) 2.0) b))
21.0ms
(cbrt (* (- (+ y t) 2.0) b))
3.0ms
(log (exp (* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b)))))

series587.0ms

Counts
4 → 12
Calls
4 calls:
159.0ms
(cbrt (* (- (+ y t) 2.0) b))
155.0ms
(cbrt (* (- (+ y t) 2.0) b))
122.0ms
(cbrt (* (- (+ y t) 2.0) b))
150.0ms
(log (exp (* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b)))))

simplify2.2s

Counts
63 → 63
Iterations
IterNodes
done5000
32550
2802
1341
0141

prune732.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes599.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done23
123
018

end0.0ms

sample2.8s

Algorithm
intervals
Results
2.1s12541×body80valid
1.0ms2×body160valid
0.0ms1×body320valid