Details

Time bar (total: 5.7m)

sample1.2s

Algorithm
intervals
Results
622.0ms67×body2560valid
193.0ms138×body1280valid
182.0ms26×body5120valid
92.0ms85×body640valid
24.0ms34×body320valid
14.0ms69×body80valid
4.0ms10×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: 32.1b

localize52.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ 2 t) (tan k))
1.2b
(/ (* (/ l t) (/ l t)) (sin k))
1.5b
(* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k)))
30.6b
(/ (* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k))) (* (/ k t) (/ k t)))

rewrite262.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))
18.0ms
(/ (* (/ l t) (/ l t)) (sin k))
99.0ms
(* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k)))
100.0ms
(/ (* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k))) (* (/ k t) (/ k t)))

series830.0ms

Counts
4 → 12
Calls
4 calls:
96.0ms
(/ (/ 2 t) (tan k))
76.0ms
(/ (* (/ l t) (/ l t)) (sin k))
326.0ms
(* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k)))
331.0ms
(/ (* (/ (/ 2 t) (tan k)) (/ (* (/ l t) (/ l t)) (sin k))) (* (/ k t) (/ k t)))

simplify2.1s

Counts
439 → 439
Iterations
IterNodes
done5002
11933
0606

prune2.1s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 11.8b

localize37.0ms

Local error

Found 4 expressions with local error:

1.7b
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
5.5b
(/ (/ (/ 2 t) (tan k)) (* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k)))
15.5b
(/ (/ k t) (/ l t))
15.5b
(/ (/ k t) (/ l t))

rewrite600.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:
207.0ms
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
274.0ms
(/ (/ (/ 2 t) (tan k)) (* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k)))
18.0ms
(/ (/ k t) (/ l t))
27.0ms
(/ (/ k t) (/ l t))

series581.0ms

Counts
4 → 12
Calls
4 calls:
100.0ms
(* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k))
452.0ms
(/ (/ (/ 2 t) (tan k)) (* (* (/ (/ k t) (/ l t)) (/ (/ k t) (/ l t))) (sin k)))
14.0ms
(/ (/ k t) (/ l t))
15.0ms
(/ (/ k t) (/ l t))

simplify3.4s

Counts
789 → 789
Iterations
IterNodes
done5001
13314
01014

prune4.5s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.9b

localize67.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (/ 2 t))
1.5b
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
1.5b
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
2.3b
(* (* (/ (/ (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)))

rewrite5.2s

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:
2.0ms
(cbrt (/ 2 t))
174.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
178.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
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)))

series1.8s

Counts
4 → 12
Calls
4 calls:
336.0ms
(cbrt (/ 2 t))
441.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
473.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
540.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)))

simplify13.6s

Counts
10005 → 10005
Iterations
IterNodes
done8250
08250

prune2.1m

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (/ 2 t))
1.3b
(* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))
1.5b
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
1.5b
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))

rewrite22.2s

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×expm1-log1p-u insert-posit16 log1p-expm1-u 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 → 14312
Calls
4 calls:
4.0ms
(cbrt (/ 2 t))
19.6s
(* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))
196.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
162.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))

series1.9s

Counts
4 → 12
Calls
4 calls:
330.0ms
(cbrt (/ 2 t))
711.0ms
(* (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1))) (/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (sin k)))
438.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))
448.0ms
(/ (/ (cbrt (/ 2 t)) (cbrt (tan k))) (/ k (/ l 1)))

simplify14.7s

Counts
14324 → 14324
Iterations
IterNodes
done10245
010245

prune2.0m

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 0.0b

regimes299.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
done21
121
017

end0.0ms

sample19.2s

Algorithm
intervals
Results
6.0s2252×body2560valid
5.0s992×body5120valid
4.7s4083×body1280valid
2.2s2539×body640valid
552.0ms993×body320valid
457.0ms1986×body80valid
124.0ms430×body160valid