Details

Time bar (total: 23.3s)

sample82.0ms

Algorithm
intervals
Results
53.0ms426×body80valid

simplify652.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite246.0ms

Algorithm
rewrite-expression-head
Rules
26×associate-*l/
22×add-sqr-sqrt
19×*-un-lft-identity flip3-- flip--
16×associate-*l*
13×add-log-exp
12×frac-add
10×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
9×associate-*r*
8×frac-sub
4×associate-+l+ insert-posit16 distribute-lft-out--
3×sum-log diff-log pow-prod-down prod-exp *-commutative cbrt-unprod difference-of-squares unswap-sqr
2×sub-neg associate--l+
1×+-commutative flip3-+ associate-+l- flip-+ distribute-lft-out
Counts
4 → 101
Calls
4 calls:
23.0ms
(* (- y 1.0) z)
80.0ms
(* (- (+ y t) 2.0) b)
110.0ms
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
29.0ms
(* (- t 1.0) a)

series320.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(* (- y 1.0) z)
31.0ms
(* (- (+ y t) 2.0) b)
215.0ms
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))
41.0ms
(* (- t 1.0) a)

simplify825.0ms

Counts
113 → 113
Iterations
IterNodes
done2000
1899
0270

prune621.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize56.0ms

Local error

Found 4 expressions with local error:

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

rewrite816.0ms

Algorithm
rewrite-expression-head
Rules
674×associate-*l/
528×flip3-- flip--
462×cbrt-div
396×frac-add
264×frac-sub
196×frac-times
33×flip3-+ flip-+
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
14×associate-*r/
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 343
Calls
4 calls:
569.0ms
(* (cbrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))) (cbrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))))
72.0ms
(cbrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))
73.0ms
(cbrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))
72.0ms
(cbrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))

series1.3s

Counts
4 → 12
Calls
4 calls:
373.0ms
(* (cbrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))) (cbrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b))))
376.0ms
(cbrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))
288.0ms
(cbrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))
297.0ms
(cbrt (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))

simplify2.0s

Counts
355 → 355
Iterations
IterNodes
done2002
11321
0679

prune4.5s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize78.0ms

Local error

Found 4 expressions with local error:

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

rewrite307.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:
159.0ms
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0)))
25.0ms
(* (+ y t) (+ y t))
60.0ms
(* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)
61.0ms
(/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))

series699.0ms

Counts
4 → 12
Calls
4 calls:
476.0ms
(+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0)))
23.0ms
(* (+ y t) (+ y t))
85.0ms
(* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b)
115.0ms
(/ (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (+ (+ y t) 2.0))

simplify908.0ms

Counts
131 → 131
Iterations
IterNodes
done2000
11018
0290

prune805.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize41.0ms

Local error

Found 4 expressions with local error:

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

rewrite927.0ms

Algorithm
rewrite-expression-head
Rules
530×associate-*l/
276×flip3-- flip--
198×pow1
172×frac-times
130×cbrt-div
108×frac-add
104×frac-sub
86×pow-prod-down
57×add-cbrt-cube add-exp-log
50×associate-*r/
39×prod-exp cbrt-unprod
38×pow-prod-up
19×pow-plus
16×pow-sqr
13×add-log-exp
4×pow2 add-sqr-sqrt associate-+l+ *-un-lft-identity add-cube-cbrt insert-posit16
3×sum-log diff-log
2×sub-neg associate-*r* associate-*l* pow3 associate--l+ *-commutative
1×cbrt-prod +-commutative flip3-+ pow1/3 swap-sqr associate-+l- rem-cbrt-cube flip-+
Counts
4 → 308
Calls
4 calls:
306.0ms
(+ (- (- x (* (- y 1.0) z)) (cbrt (* (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- t 1.0) a)))) (* (- (+ y t) 2.0) b))
283.0ms
(* (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- t 1.0) a))
86.0ms
(* (* (- t 1.0) a) (* (- t 1.0) a))
225.0ms
(cbrt (* (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- t 1.0) a)))

series447.0ms

Counts
4 → 12
Calls
4 calls:
240.0ms
(+ (- (- x (* (- y 1.0) z)) (cbrt (* (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- t 1.0) a)))) (* (- (+ y t) 2.0) b))
100.0ms
(* (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- t 1.0) a))
51.0ms
(* (* (- t 1.0) a) (* (- t 1.0) a))
55.0ms
(cbrt (* (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- t 1.0) a)))

simplify1.9s

Counts
320 → 320
Iterations
IterNodes
done2001
0780

prune2.8s

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes430.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done23
123
018

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.6s12459×body80valid
1.0ms2×body320valid
0.0ms2×body160valid
0.0ms1×body640valid