Details

Time bar (total: 4.8m)

sample746.0ms

Algorithm
intervals
Results
225.0ms62×body2560valid
185.0ms129×body1280valid
138.0ms26×body5120valid
79.0ms38×body320valid
71.0ms75×body640valid
11.0ms53×body80valid
9.0ms20×body160valid

simplify1.6s

Counts
1 → 1
Iterations
IterNodes
done5000
31021
2177
151
019

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 25.5b

localize55.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ 2 t) (tan k))
1.2b
(/ (* (/ l t) (/ l t)) (sin k))
2.1b
(* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k)))
24.3b
(/ (* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k))) (* (/ k t) (/ k t)))

rewrite229.0ms

Algorithm
rewrite-expression-head
Rules
837×add-cbrt-cube add-exp-log
453×cbrt-undiv div-exp
260×prod-exp cbrt-unprod
157×times-frac
103×add-sqr-sqrt
85×*-un-lft-identity add-cube-cbrt
44×associate-*l*
15×associate-/l*
12×div-inv
7×associate-/r* associate-*r* associate-/l/
6×pow1 unswap-sqr
5×associate-/r/
4×expm1-log1p-u frac-times associate-*l/ associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg
2×tan-quot
1×pow-prod-down *-commutative
Counts
4 → 427
Calls
4 calls:
11.0ms
(/ (/ 2 t) (tan k))
19.0ms
(/ (* (/ l t) (/ l t)) (sin k))
67.0ms
(* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k)))
94.0ms
(/ (* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k))) (* (/ k t) (/ k t)))

series899.0ms

Counts
4 → 12
Calls
4 calls:
129.0ms
(/ (/ 2 t) (tan k))
98.0ms
(/ (* (/ l t) (/ l t)) (sin k))
322.0ms
(* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k)))
349.0ms
(/ (* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k))) (* (/ k t) (/ k t)))

simplify1.7s

Counts
439 → 439
Iterations
IterNodes
done5002
11933
0606

prune1.8s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 8.4b

localize50.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))

rewrite512.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×expm1-log1p-u insert-posit16 log1p-expm1-u 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 → 777
Calls
4 calls:
183.0ms
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
185.0ms
(/ (/ (/ 2 t) (tan k)) (* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k)))
34.0ms
(/ (/ k t) (/ l t))
30.0ms
(/ (/ k t) (/ l t))

series822.0ms

Counts
4 → 12
Calls
4 calls:
97.0ms
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
707.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.4s

Counts
789 → 789
Iterations
IterNodes
done5001
13314
01014

prune4.8s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 0.1b

localize82.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)))

rewrite5.3s

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×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down associate-*r/
2×clear-num frac-2neg associate-/l/
1×pow1/3 associate-*l* *-commutative
Counts
4 → 9993
Calls
4 calls:
5.0ms
(cbrt (/ 2 t))
2.8s
(* (* (/ (/ (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)))
172.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
184.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))

series1.8s

Counts
4 → 12
Calls
4 calls:
324.0ms
(cbrt (/ 2 t))
533.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)))
466.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
488.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))

simplify13.1s

Counts
10005 → 10005
Iterations
IterNodes
done8250
08250

prune2.1m

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.0b

localize85.0ms

Local error

Found 4 expressions with local error:

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

rewrite10.5s

Algorithm
rewrite-expression-head
Rules
36842×times-frac
15742×add-sqr-sqrt
14537×*-un-lft-identity
14488×add-cube-cbrt
11878×cbrt-prod
4550×associate-*r*
1452×div-inv
346×add-exp-log
296×associate-/r/
203×unswap-sqr
200×div-exp
153×add-cbrt-cube
141×cbrt-undiv
102×associate-*l*
101×associate-/l*
92×cbrt-div prod-exp
91×tan-quot
72×cbrt-unprod
44×associate-/r*
14×1-exp
11×pow1
6×frac-times associate-*l/
4×expm1-log1p-u pow-prod-down associate-*r/ insert-posit16 log1p-expm1-u add-log-exp
2×*-commutative
1×clear-num frac-2neg pow1/3 associate-/l/
Counts
4 → 9633
Calls
4 calls:
3.0ms
(cbrt (/ 2 t))
1.4s
(* (* (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))) (/ (cbrt (/ 2 t)) (cbrt (tan k))))
7.4s
(* (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))))
197.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))

series1.8s

Counts
4 → 12
Calls
4 calls:
212.0ms
(cbrt (/ 2 t))
274.0ms
(* (* (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))) (/ (cbrt (/ 2 t)) (cbrt (tan k))))
551.0ms
(* (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))))
806.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))

simplify15.2s

Counts
9645 → 9645
Iterations
IterNodes
done12135
012135

prune1.3m

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 0b

regimes292.0ms

Accuracy

0% (0.9b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done23
123
018

end0.0ms

sample20.4s

Algorithm
intervals
Results
5.3s2110×body2560valid
5.3s4075×body1280valid
5.0s953×body5120valid
2.7s2467×body640valid
1.1s996×body320valid
382.0ms2071×body80valid
179.0ms467×body160valid