Details

Time bar (total: 1.1m)

sample299.0ms

Algorithm
intervals
Results
70.0ms264×body80valid

simplify3.0s

Counts
1 → 1
Iterations
IterNodes
done5026
123812
111306
10538
9373
8319
7285
6269
5223
4188
3122
263
125
08

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.6b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b
(* (+ t1 u) (+ t1 u))
16.6b
(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

rewrite262.0ms

Algorithm
rewrite-expression-head
Rules
505×*-un-lft-identity
380×times-frac
295×add-sqr-sqrt
294×associate-*l*
211×add-cube-cbrt
147×associate-*r*
126×swap-sqr distribute-lft-out
63×distribute-lft-neg-in distribute-rgt-neg-in
42×*-commutative unswap-sqr
21×neg-mul-1
20×associate-/r*
19×associate-/l*
16×add-cbrt-cube add-exp-log
12×flip3-+ flip-+
9×pow1
8×frac-times associate-/r/
5×prod-exp cbrt-unprod
4×cbrt-undiv div-exp associate-*l/ associate-*r/
2×distribute-rgt-in +-commutative distribute-lft-in insert-posit16 add-log-exp
1×distribute-lft-neg-out pow2 clear-num frac-2neg pow-plus pow-prod-down distribute-frac-neg pow-sqr pow-prod-up div-inv
Counts
2 → 490
Calls
2 calls:
65.0ms
(* (+ t1 u) (+ t1 u))
164.0ms
(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

series163.0ms

Counts
2 → 6
Calls
2 calls:
29.0ms
(* (+ t1 u) (+ t1 u))
134.0ms
(/ (* (- t1) v) (* (+ t1 u) (+ t1 u)))

simplify1.6s

Counts
496 → 496
Iterations
IterNodes
done5001
11753
0490

prune1.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt v)
0.6b
(cbrt v)
0.6b
(cbrt v)
7.3b
(/ (- t1) (/ (+ t1 u) (* (cbrt v) (cbrt v))))

rewrite312.0ms

Algorithm
rewrite-expression-head
Rules
2308×times-frac
1656×*-un-lft-identity
1420×add-sqr-sqrt
1060×add-cube-cbrt
729×cbrt-prod
339×distribute-lft-neg-in distribute-rgt-neg-in
298×distribute-lft-out
270×swap-sqr associate-*r* associate-*l*
180×unswap-sqr
139×associate-/r*
113×neg-mul-1
45×*-commutative
36×associate-/r/
21×add-cbrt-cube
14×associate-/l*
13×add-exp-log
12×div-inv
11×cbrt-undiv
5×div-exp
4×pow1 cbrt-unprod insert-posit16 add-log-exp
3×pow1/3
2×clear-num frac-2neg associate-/l/
1×neg-sub0 flip3-+ div-sub prod-exp distribute-frac-neg flip-+
Counts
4 → 1336
Calls
4 calls:
1.0ms
(cbrt v)
1.0ms
(cbrt v)
1.0ms
(cbrt v)
137.0ms
(/ (- t1) (/ (+ t1 u) (* (cbrt v) (cbrt v))))

series1.2s

Counts
4 → 12
Calls
4 calls:
316.0ms
(cbrt v)
276.0ms
(cbrt v)
267.0ms
(cbrt v)
294.0ms
(/ (- t1) (/ (+ t1 u) (* (cbrt v) (cbrt v))))

simplify3.3s

Counts
1348 → 1348
Iterations
IterNodes
done5001
14649
01295

prune4.8s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt v)
0.6b
(cbrt v)
0.7b
(cbrt (* (cbrt v) (cbrt v)))
7.3b
(/ (- t1) (/ (+ t1 u) (* (cbrt v) (* (cbrt (* (cbrt v) (cbrt v))) (cbrt (cbrt v))))))

rewrite2.5s

Algorithm
rewrite-expression-head
Rules
17179×add-sqr-sqrt
14089×cbrt-prod
12472×times-frac
8644×unswap-sqr
7469×*-un-lft-identity
4256×add-cube-cbrt
4011×associate-*r*
1896×associate-*l*
1791×distribute-lft-neg-in distribute-rgt-neg-in
1629×distribute-lft-out
1131×swap-sqr
744×associate-/r*
597×neg-mul-1
541×*-commutative
157×associate-/r/
44×add-cbrt-cube
23×cbrt-undiv
18×add-exp-log cbrt-unprod
14×associate-/l*
12×div-inv
7×div-exp
4×pow1 insert-posit16 add-log-exp
3×pow1/3 prod-exp
2×clear-num frac-2neg associate-/l/
1×neg-sub0 flip3-+ div-sub distribute-frac-neg flip-+
Counts
4 → 6812
Calls
4 calls:
1.0ms
(cbrt v)
1.0ms
(cbrt v)
11.0ms
(cbrt (* (cbrt v) (cbrt v)))
795.0ms
(/ (- t1) (/ (+ t1 u) (* (cbrt v) (* (cbrt (* (cbrt v) (cbrt v))) (cbrt (cbrt v))))))

series1.2s

Counts
4 → 12
Calls
4 calls:
260.0ms
(cbrt v)
269.0ms
(cbrt v)
398.0ms
(cbrt (* (cbrt v) (cbrt v)))
302.0ms
(/ (- t1) (/ (+ t1 u) (* (cbrt v) (* (cbrt (* (cbrt v) (cbrt v))) (cbrt (cbrt v))))))

simplify8.5s

Counts
6824 → 6824
Iterations
IterNodes
done6621
06621

prune34.0s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize30.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- t1) (+ t1 u))
0.0b
(/ v (+ t1 u))
1.0b
(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))

rewrite232.0ms

Algorithm
rewrite-expression-head
Rules
264×*-un-lft-identity
178×associate-/l*
170×frac-times
161×add-sqr-sqrt
149×add-cube-cbrt
124×associate-/r*
108×times-frac
60×distribute-lft-neg-in distribute-rgt-neg-in
57×distribute-lft-out
46×associate-*l*
32×clear-num
31×frac-2neg
20×neg-mul-1
19×add-cbrt-cube add-exp-log
18×associate-*r*
17×associate-*l/
10×associate-*r/
8×associate-/r/
6×cbrt-undiv div-exp
5×pow1
4×flip3-+ prod-exp cbrt-unprod flip-+ div-inv unswap-sqr
3×insert-posit16 add-log-exp
2×distribute-frac-neg un-div-inv
1×distribute-lft-neg-out neg-sub0 div-sub pow-prod-down *-commutative
Counts
3 → 391
Calls
3 calls:
28.0ms
(/ (- t1) (+ t1 u))
21.0ms
(/ v (+ t1 u))
150.0ms
(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))

series289.0ms

Counts
3 → 9
Calls
3 calls:
73.0ms
(/ (- t1) (+ t1 u))
29.0ms
(/ v (+ t1 u))
186.0ms
(* (/ (- t1) (+ t1 u)) (/ v (+ t1 u)))

simplify1.6s

Counts
400 → 400
Iterations
IterNodes
done5001
11619
0427

prune1.4s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

regimes173.0ms

Accuracy

0% (1.3b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done21
421
319
216
112
08

end0.0ms

sample1.1s

Algorithm
intervals
Results
816.0ms8239×body80valid