Details

Time bar (total: 5.7m)

sample681.0ms

Algorithm
intervals
Results
189.0ms62×body2560valid
164.0ms26×body5120valid
164.0ms129×body1280valid
63.0ms75×body640valid
47.0ms53×body80valid
20.0ms38×body320valid
7.0ms20×body160valid

simplify1.5s

Counts
1 → 1
Iterations
IterNodes
done5000
31013
2173
151
019

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.9b

localize33.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (tan k) (sin k))
0.8b
(/ t (* (/ l t) (/ l t)))
4.3b
(/ (/ 2 (/ t (* (/ l t) (/ l t)))) (* (tan k) (sin k)))
24.3b
(/ (/ (/ 2 (/ t (* (/ l t) (/ l t)))) (* (tan k) (sin k))) (* (/ k t) (/ k t)))

rewrite177.0ms

Algorithm
rewrite-expression-head
Rules
662×add-cbrt-cube add-exp-log
408×cbrt-undiv div-exp
304×times-frac
155×prod-exp cbrt-unprod
80×add-sqr-sqrt
78×*-un-lft-identity add-cube-cbrt associate-/l*
49×associate-/r/
21×div-inv
18×associate-*l/
14×frac-times associate-*r/
6×pow1
4×tan-quot insert-posit16 add-log-exp
3×clear-num associate-/r* frac-2neg associate-*r* associate-*l*
2×associate-/l/
1×pow-prod-down *-commutative unswap-sqr
Counts
4 → 409
Calls
4 calls:
14.0ms
(* (tan k) (sin k))
14.0ms
(/ t (* (/ l t) (/ l t)))
37.0ms
(/ (/ 2 (/ t (* (/ l t) (/ l t)))) (* (tan k) (sin k)))
71.0ms
(/ (/ (/ 2 (/ t (* (/ l t) (/ l t)))) (* (tan k) (sin k))) (* (/ k t) (/ k t)))

series641.0ms

Counts
4 → 12
Calls
4 calls:
65.0ms
(* (tan k) (sin k))
44.0ms
(/ t (* (/ l t) (/ l t)))
236.0ms
(/ (/ 2 (/ t (* (/ l t) (/ l t)))) (* (tan k) (sin k)))
295.0ms
(/ (/ (/ 2 (/ t (* (/ l t) (/ l t)))) (* (tan k) (sin k))) (* (/ k t) (/ k t)))

simplify1.5s

Counts
421 → 421
Iterations
IterNodes
done5000
11980
0658

prune1.8s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 8.1b

localize31.0ms

Local error

Found 4 expressions with local error:

1.1b
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
5.8b
(/ (/ (/ 2 t) (tan k)) (* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k)))
12.9b
(/ (/ k t) (/ l t))
12.9b
(/ (/ k t) (/ l t))

rewrite445.0ms

Algorithm
rewrite-expression-head
Rules
1018×times-frac
821×add-cbrt-cube add-exp-log
498×cbrt-undiv div-exp
468×add-sqr-sqrt
467×*-un-lft-identity add-cube-cbrt
204×prod-exp cbrt-unprod
70×associate-/l*
67×div-inv
27×associate-/r*
9×pow1
8×associate-*l/
7×associate-/r/
4×insert-posit16 add-log-exp
3×clear-num frac-2neg associate-*r* pow-prod-down associate-/l/
2×frac-times tan-quot associate-*r/
1×associate-*l* *-commutative unswap-sqr
Counts
4 → 769
Calls
4 calls:
148.0ms
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
166.0ms
(/ (/ (/ 2 t) (tan k)) (* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k)))
25.0ms
(/ (/ k t) (/ l t))
18.0ms
(/ (/ k t) (/ l t))

series744.0ms

Counts
4 → 12
Calls
4 calls:
340.0ms
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
387.0ms
(/ (/ (/ 2 t) (tan k)) (* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k)))
9.0ms
(/ (/ k t) (/ l t))
10.0ms
(/ (/ k t) (/ l t))

simplify3.1s

Counts
781 → 781
Iterations
IterNodes
done5000
13244
01008

prune4.3s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.0b

localize68.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (/ 2 t))
1.0b
(* (* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))
2.4b
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
2.4b
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))

rewrite4.9s

Algorithm
rewrite-expression-head
Rules
36629×times-frac
14809×add-sqr-sqrt
14786×*-un-lft-identity add-cube-cbrt
11738×cbrt-prod
2121×add-exp-log
1478×div-exp
1471×div-inv
909×add-cbrt-cube
810×cbrt-undiv
489×prod-exp
307×associate-*r*
299×associate-/r/
297×cbrt-unprod
202×associate-/l*
112×1-exp
94×cbrt-div
93×tan-quot
88×associate-/r*
9×pow1
8×unswap-sqr
5×frac-times associate-*l/
4×insert-posit16 add-log-exp
3×pow-prod-down associate-*r/
2×clear-num frac-2neg associate-/l/
1×pow1/3 associate-*l* *-commutative
Counts
4 → 9985
Calls
4 calls:
4.0ms
(cbrt (/ 2 t))
2.9s
(* (* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))
216.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
192.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))

series1.7s

Counts
4 → 12
Calls
4 calls:
326.0ms
(cbrt (/ 2 t))
548.0ms
(* (* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))
430.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
434.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))

simplify13.4s

Counts
9997 → 9997
Iterations
IterNodes
done8244
08244

prune2.1m

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (/ 2 t))
2.0b
(* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))
2.4b
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
2.4b
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))

rewrite21.5s

Algorithm
rewrite-expression-head
Rules
55519×times-frac
23489×add-sqr-sqrt
21942×*-un-lft-identity
21886×add-cube-cbrt
17702×cbrt-prod
4449×associate-*l*
2184×div-inv
445×associate-/r/
307×associate-*r*
232×unswap-sqr
202×associate-/l*
201×add-exp-log
138×cbrt-div
137×div-exp tan-quot
110×add-cbrt-cube
96×cbrt-undiv
88×associate-/r*
27×prod-exp
21×cbrt-unprod
10×1-exp
6×pow1
4×insert-posit16 add-log-exp
2×clear-num frac-2neg associate-/l/
1×frac-times pow1/3 pow-prod-down associate-*l/ associate-*r/ *-commutative
Counts
4 → 14304
Calls
4 calls:
15.0ms
(cbrt (/ 2 t))
18.9s
(* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))
192.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
191.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))

series1.7s

Counts
4 → 12
Calls
4 calls:
256.0ms
(cbrt (/ 2 t))
660.0ms
(* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))
436.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
383.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))

simplify14.2s

Counts
14316 → 14316
Iterations
IterNodes
done10239
010239

prune2.0m

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0b

regimes285.0ms

Accuracy

0% (1.0b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done34
134
029

end0.0ms

sample19.3s

Algorithm
intervals
Results
5.7s2110×body2560valid
5.4s4075×body1280valid
4.6s953×body5120valid
2.1s2467×body640valid
638.0ms996×body320valid
402.0ms2071×body80valid
223.0ms467×body160valid